公开(公告)号：KR1020130068578A

公开(公告)日：2013-06-26

申请号：KR1020110135863

申请日：2011-12-15

Applicant: 한국전자통신연구원

Inventor： 이해영 ,  전인걸 ,  김원태

IPC: G06F11/28 ,  G06F17/00

Abstract: PURPOSE: A model inspecting device including a plurality of model inspectors and a model inspecting method thereof are provided to perform efficient model inspection by performing model inspection in various verification attributes and selecting a proper model inspector. CONSTITUTION: A model preprocessing unit(100) receives a multilevel complex model and a verification attribute to be inspected for the complex model and divides the complex model into sub models to select a model inspector for inspecting the sub models. A model inspecting unit(200) includes model inspectors(240a-240n) having different model types. The model inspectors receive a sub model of a model type which is inspected according to the selection of the model preprocessing unit in order to inspect the verification attribute. An inspection result processing unit(300) outputs an inspection result of the model inspectors. [Reference numerals] (100) Model preprocessing unit; (20) Complex model; (220) Model type converting unit; (240) Model inspector; (260) Inspection result converter; (30) Verification attribute; (300) Inspection result processing unit; (40) Inspection result

Abstract translation: 目的：提供包括多个模型检查员和模型检查方法的模型检查装置，通过在各种验证属性中执行模型检查并选择适当的模型检查器来执行有效的模型检查。 构成：模型预处理单元（100）接收复杂模型的多层复杂模型和验证属性，并将复杂模型划分为子模型，以选择用于检查子模型的模型检查器。 模型检查单元（200）包括具有不同模型类型的模型检查器（240a-240n）。 模型检验员根据模型预处理单元的选择接收模型类型的子模型，以检查验证属性。 检查结果处理单元（300）输出模型检查器的检查结果。 （附图标记）（100）型号预处理单元; （20）复杂模型; （220）型号转换单元; （240）模型检查员; （260）检验结果转换器; （30）验证属性; （300）检验结果处理单位; （40）检验结果

公开(公告)号：KR1020140117962A

公开(公告)日：2014-10-08

申请号：KR1020130032975

申请日：2013-03-27

Applicant: 한국전자통신연구원

Inventor： 김민조 ,  김진명 ,  이해영 ,  전인걸 ,  김원태

IPC: G06F11/27

Abstract: Disclosed are an apparatus and a method for user interactive hardware-in-the-loop simulation for a distributed embedded system. According to the present invention, the apparatus and the method for user interactive hardware-in-the-loop simulation for a distributed embedded system comprise the steps of: setting a simulation environment to an embedded system including a user-machine interlocked common interface, a user interaction unit, and a user interactive simulator by using a simulation environment setting unit; receiving hardware status data from hardware of the embedded system, or user interactive hardware of the user interaction unit or a distributed simulator of the user interactive simulator, and calculating hardware control data in control software or the distributed simulator; transmitting the hardware control data generated in the calculating step to the hardware of the embedded system, or the user interactive hardware of the user interaction unit or the distributed simulator of the user interactive simulator; and progressing with simulation such that the processes of the calculating step and the transmitting step can form a loop.

Abstract translation: 公开了用于分布式嵌入式系统的用户交互式硬件在环模拟的装置和方法。 根据本发明，用于分布式嵌入式系统的用户交互式硬件在环模拟的装置和方法包括以下步骤：将仿真环境设置到嵌入式系统，该嵌入式系统包括用户机互锁公共接口， 用户交互单元，以及通过使用模拟环境设置单元的用户交互式模拟器; 从所述嵌入式系统的硬件，所述用户交互单元的用户交互式硬件或所述用户交互式模拟器的分布式仿真器接收硬件状态数据，以及计算控制软件或所述分布式仿真器中的硬件控制数据; 将所述计算步骤中生成的硬件控制数据发送到所述嵌入式系统的硬件，或者所述用户交互单元的用户交互式硬件或所述用户交互式模拟器的所述分布式仿真器; 并且通过仿真进行，使得计算步骤和发送步骤的处理可以形成循环。

公开(公告)号：KR1020140098606A

公开(公告)日：2014-08-08

申请号：KR1020130011470

申请日：2013-01-31

Applicant: 한국전자통신연구원

Inventor： 이해영 ,  김진명 ,  전인걸 ,  김원태

IPC: G06F17/30

CPC classification number: G06F17/30958 ,  G06F9/542

Abstract: In the present invention, disclosed are a node searching system and method capable of efficiently performing a distribution search by exchanging information about searched visit nodes with another node searching unit by each of a plurality of node searching units to which searching operations to find a target node in a graph or a large node tree are allocated, using the publish-subscribe communication middleware.

Abstract translation: 在本发明中，公开了一种节点搜索系统和方法，其能够通过利用搜索操作找到目标节点的多个节点搜索单元中的每一个来与另一节点搜索单元交换关于搜索到的访问节点的信息来有效地执行分发搜索 使用发布订阅通信中间件分配图或大节点树。

公开(公告)号：KR1020120067086A

公开(公告)日：2012-06-25

申请号：KR1020100128512

申请日：2010-12-15

Applicant: 한국전자통신연구원

Inventor： 김진명 ,  이해영 ,  전인걸 ,  김원태 ,  박승민

IPC: G06F19/00 ,  G06F17/50

CPC classification number: G06T13/00 ,  G06F19/00

Abstract: PURPOSE: A method for providing simulation results and an apparatus using the method are provided to convert log files generated as the results of simulation in a form of image information. CONSTITUTION: An apparatus generates a model for a system to be simulated by analyzing the system(S400). The apparatus converts the generated model into a model object(S410). The apparatus implements a simulating process(S420). Based on the simulation, log files are generated. Based on the log files, the apparatus encodes image information(S430). Based on the image conversion result, moving picture files are generated and are provided through a streaming server(S440).

Abstract translation: 目的：提供一种用于提供仿真结果的方法和使用该方法的装置，以将图像信息的形式的模拟结果生成的日志文件进行转换。 构成：设备通过分析系统生成要仿真系统的模型（S400）。 该装置将生成的模型转换成模型对象（S410）。 该装置实现模拟处理（S420）。 基于仿真，生成日志文件。 基于日志文件，设备对图像信息进行编码（S430）。 基于图像转换结果，生成运动图像文件并通过流式传输服务器提供（S440）。

公开(公告)号：KR1020120064547A

公开(公告)日：2012-06-19

申请号：KR1020100125825

申请日：2010-12-09

Applicant: 한국전자통신연구원

Inventor： 이해영 ,  전인걸 ,  김원태 ,  박승민

IPC: G06F9/455

CPC classification number: G06F9/455 ,  G06F11/3696 ,  G06F17/30283

Abstract: PURPOSE: A hardware-in-the-loop simulation system and method for distributed embedded devices are provided to issue data as global database through a publication and subscription middleware and a plurality of embedded devices. CONSTITUTION: A hardware-in-the-loop simulation system for distributed embedded devices comprises: one or more embedded devices(200,201,202) based on publication and subscription middleware conducting pre-defined specific function; a simulator(300) based on publication and subscription middleware simulating the embedded devices; a global database(500) sharing data issued by the embedded devices and simulation data issued by the simulator.

Abstract translation: 目的：提供用于分布式嵌入式设备的硬件在环仿真系统和方法，通过发布和订阅中间件和多个嵌入式设备将数据发布为全局数据库。 构成：用于分布式嵌入式设备的硬件在环仿真系统包括：基于发布和订阅中间件执行预定义特定功能的一个或多个嵌入式设备（200,201,202） 基于发布和订阅中间件模拟嵌入式设备的模拟器（300）; 共享由嵌入式设备发布的数据和模拟器发布的仿真数据的全局数据库（500）。

公开(公告)号：KR1020140098602A

公开(公告)日：2014-08-08

申请号：KR1020130011463

申请日：2013-01-31

Applicant: 한국전자통신연구원

Inventor： 김진명 ,  이해영 ,  전인걸 ,  김원태

IPC: G06F9/455

CPC classification number: G06F17/5009

Abstract: Disclosed are a system and a method for performing distributed simulation, in performing the distributed simulation for subsystem models modelling subsystems constituting a hybrid system like a cyber physical system (CPS) with all the characteristics of physical elements and calculational elements by using a plurality of distributed simulators, providing real time based synchronized global simulation time for the distributed simulators, and letting the distributed simulators adjust local simulation time according to the synchronized global simulation time to perform the simulation for the subsystem model assigned to themselves.

Abstract translation: 公开了一种用于执行分布式仿真的系统和方法，在通过使用多个分布式的方式对构成具有物理元素和计算元素的所有特征的网络物理系统（CPS）的混合系统的子系统模型建模子系统进行分布式仿真 模拟器，为分布式仿真器提供基于实时的同步全局仿真时间，并使分布式仿真器根据同步的全局模拟时间来调整局部仿真时间，为分配给自身的子系统模型进行仿真。