-
公开(公告)号：KR1020130068578A
公开(公告)日：2013-06-26
申请号：KR1020110135863
申请日：2011-12-15
Applicant: 한국전자통신연구원
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）检验结果
-
32.发明公开가상 물리 시스템에 대한 메타모델의 구조 설정 장치 및 이를 이용한 가상 물리 시스템에 대한 메타모델의 정의 방법 无效用于设定用于圆柱体系的元件结构的装置和使用该系统的用于定义用于圆柱体系的元件的结构的方法
公开(公告)号：KR1020130068577A
公开(公告)日：2013-06-26
申请号：KR1020110135860
申请日：2011-12-15
Applicant: 한국전자통신연구원
IPC: G06F9/44
Abstract: PURPOSE: A device for setting a structure of a meta model for a virtual physical system and a method for defining the meta model for the virtual physical system are provided to guarantee interoperability between models indicated in a defined range by indicating the rules and phrases for building models. CONSTITUTION: A meta model package composing unit(100) composes a meta model of CPS(Cyber-Physical Systems) with a structure model package including a meta model for a structure of the meta model, a behavior model package including a meta model for the behavior of the meta model, and a core model package including a meta model about a port, a type, and a limit of the model. A core model package setting unit(200) defines the structure of the meta model about the port, the type, and the limit in the core model package. [Reference numerals] (100) Meta model package composing unit; (200) Core model package setting unit
Abstract translation: 目的：提供用于设置虚拟物理系统的元模型的结构的设备和用于定义虚拟物理系统的元模型的方法，以通过指示用于构建的规则和短语来保证在定义的范围内指示的模型之间的互操作性 楷模。 构成：元模型包组合单元（100）用包括元模型的元模型的结构模型包构成CPS（Cyber-Physical Systems）的元模型，包括元模型的行为模型包 元模型的行为，以及包含关于端口的元模型，模型的类型和极限的核心模型包。 核心模型包设置单元（200）定义了关于核心模型包中的端口，类型和限制的元模型的结构。 （附图标记）（100）元模型封装构成单元; （200）核心型号封装设定单元
-
公开(公告)号：KR1020120052635A
公开(公告)日：2012-05-24
申请号：KR1020100113888
申请日：2010-11-16
Applicant: 한국전자통신연구원
CPC classification number: G06F11/0736 , G06F11/0793 , G06F9/30069 , G06F9/30185 , G06F9/4418 , G06F9/4482
Abstract: PURPOSE: A self-treatment system and a method thereof are provided to continually offer software service and to improve reliability of the self-treatment system through self-treatment performance evaluation. CONSTITUTION: A system error determination unit(110) determines system error by analyzing a monitoring result in regard to system environment or components comprising a system. A countermeasure selecting unit(120) selects countermeasures according to self-treatment probability of the system error when the system error is generated. A software service provider(130) continually provides software service by reflecting the selected countermeasures. A treatment performance evaluation unit(140) evaluates treatment performance based on a treatment result.
Abstract translation: 目的：提供自我治疗系统及其方法，通过自我治疗绩效评估不断提供软件服务，提高自我治疗系统的可靠性。 构成：系统错误确定单元（110）通过分析关于包括系统的系统环境或组件的监视结果来确定系统错误。 对策选择单元（120）当产生系统错误时根据系统错误的自治概率选择对策。 软件服务提供商（130）通过反映所选择的对策来不断提供软件服务。 治疗性能评价单元（140）基于治疗结果评价治疗性能。
-
公开(公告)号：KR1020110067418A
公开(公告)日：2011-06-22
申请号：KR1020090124004
申请日：2009-12-14
Applicant: 한국전자통신연구원
Abstract: PURPOSE: A system and method for monitoring and evaluating a self-healing system are provided to enable easy development of the program having a self-healing function by automatically generating a source code which can monitors a self-healing system and evaluate self-healing performance. CONSTITUTION: A self-healing system modeler(210) performs a self-healing system modeling. A self-healing manager(220) generates a source code for monitoring the self-healing system and self healing by using performance evaluating/monitoring database(240) and conditional self-healing system database(250). A self-healing efficiency evaluator(230) generates a source code for evaluating self-healing performance using said database, and evaluate the self-healing performance on the basis of the source code.
Abstract translation: 目的：提供一种用于监测和评估自我修复系统的系统和方法，以便通过自动生成可监视自愈系统并评估自愈性能的源代码，轻松开发具有自愈功能的程序 。 构成：自我修复系统建模者（210）执行自愈系统建模。 自我修复管理器（220）通过使用性能评估/监视数据库（240）和条件自愈系统数据库（250）生成用于监视自愈系统和自愈的源代码。 自愈效率评估器（230）生成用于使用所述数据库来评估自我修复性能的源代码，并且基于源代码评估自愈性能。
-
35.发明公开
公开(公告)号：KR1020110064360A
公开(公告)日：2011-06-15
申请号：KR1020090120914
申请日：2009-12-08
Applicant: 한국전자통신연구원
CPC classification number: G06F17/5009 , G06F11/3668 , G06F17/509
Abstract: PURPOSE: A CPS simulator for reliable CPS development, and a CPS simulation system and method using the same are provided to improve the completeness of a CPS model by offering the CPS simulator and the simulation technique. CONSTITUTION: A domain model generation module(210) creates a CPS(Cyber Physical Systems) model about a CPS node. An auto software generation module(220) creates software reflecting hardware information in the CPS model. A software verification module(230) verifies the reliability of the software. A CPS topology configuration module(240) constitutes a CPS network. A code mount module(250) mounts the software about the CPS model to the CPS node. An HW/SW integrated simulation module(260) simulates the software.
Abstract translation: 目的：提供可靠CPS开发的CPS模拟器，并提供CPS模拟系统和使用该模拟系统的方法，通过提供CPS模拟器和模拟技术来提高CPS模型的完整性。 构成：域模型生成模块（210）创建关于CPS节点的CPS（网络物理系统）模型。 自动软件生成模块（220）创建反映CPS模型中的硬件信息的软件。 软件验证模块（230）验证软件的可靠性。 CPS拓扑配置模块（240）构成CPS网络。 代码安装模块（250）将关于CPS模型的软件安装到CPS节点。 HW / SW集成仿真模块（260）模拟软件。
-
Patent Agency Ranking
公开(公告)号：KR100918840B1
公开(公告)日：2009-09-28
申请号：KR1020070133410
申请日：2007-12-18
Applicant: 한국전자통신연구원
IPC: H04L12/28
Abstract: 본 발명은 여러 개의 센서 노드로 이루어진 센서 네트워크 환경에서 실제 센서 네트워크를 구축하지 않고 타겟 센서 노드를 시험하기 위한 장치에 관한 것이다. 본 발명에 따른 센서 네트워크를 구성하기 위한 타겟 센서 노드를 시험하는 장치는 센서 네트워크를 구성하기 위한 타겟 센서 노드를 시험하는 장치로서, 타겟 센서 노드로 구성되는 센서 네트워크에 포함되는 다른 센서 노드들에 대한 설정 정보를 입력받는 사용자 인터페이스; 사용자 인터페이스로 입력된 다른 센서 노드들에 대한 설정 정보를 근거로 가상의 센서 노드들을 생성하고, 가상의 센서 노드들로 구성되는 가상의 센서 네트워크를 생성해서 이를 제어하는 가상 센서 네트워크 관리기; 및 가상의 센서 네트워크와 타겟 센서 노드를 연동하여 타겟 센서 노드를 시험하는 센서 노드 자동 시험기; 로 구성되는 것을 특징으로 한다.
-
公开(公告)号：KR1020060069612A
公开(公告)日：2006-06-21
申请号：KR1020040108116
申请日：2004-12-17
Applicant: 한국전자통신연구원
IPC: G06F11/28
CPC classification number: G06F11/267
Abstract: 본 발명은 내장형 시스템 디버깅 장치 및 방법에 관한 것으로, 특히 사용자와의 인터페이스를 담당하는 사용자 인터페이스부(110)와, 디버깅 처리를 수행하는 디버깅 엔진(120)과, 상기 디버깅 엔진(120)으로부터 디버깅에 필요한 정보를 입력받아 디버깅 명령어를 생성하는 JTAG 명령어 생성기(130)로 구성된 호스트 시스템(100); 호스트 시스템(100)으로부터 디버깅 명령어를 입력받아 JTAG 신호로 변환하는 JTAG 신호 발생기(200); 및 JTAG 신호 발생기(200)로부터 JTAG 신호를 수신받아 해독하는 TAP 제어기(310)와, TAP 제어기(310)를 통해 해독된 디버깅 명령어를 입력받아 필요한 정보 및 디버깅 명령을 수행하는 마이크로 프로세서(320)를 구비한 타겟 시스템(300)으로 구성된 것을 특징으로 하며, 이러한 본 발명은 특별한 하드웨어 장비 없이 PC만을 이용한 저렴한 가격으로 내장형 시스템의 소프트웨어를 디버깅할 수 있도록 해주는 뛰어난 효과가 있다.
내장형 시스템, 호스트 시스템, 디버깅 엔진, JTAG 명령어, TAP 제어기,Abstract translation: 用于从调试引擎120调试本发明中，调试引擎120执行的用户接口110，和一个调试过程，负责与集成系统调试装置和方法的界面，特别是在用户 主机系统100配置有用于接收必要信息并产生调试命令的JTAG命令发生器130; JTAG信号发生器200，用于从主机系统100接收调试命令并将该命令转换成JTAG信号; TAP控制器310，用于接收和解码来自JTAG信号发生器200的JTAG信号，以及微处理器320，用于通过TAP控制器310接收解码后的调试命令，并执行必要的信息和调试指令 本发明的优点在于，嵌入式系统的软件可以在没有专用硬件设备的情况下仅使用PC以低成本进行调试。
-
-
公开(公告)号：KR1020170110766A
公开(公告)日：2017-10-12
申请号：KR1020160034786
申请日：2016-03-23
Applicant: 한국전자통신연구원
IPC: G06F9/44 , G06F9/50 , G06F9/54 , G06F15/173
Abstract: 본발명에따른복수의분산노드들을포함하는데이터분산시스템의소프트웨어객체생성방법은상기분산노드들중 하나에포함된네오튜너에의해소프트웨어객체자동생성명령을수신하는단계, 상기네오튜너에의해상기소프트웨어객체자동생성명령에기초하여상기분산노드들중에서소프트웨어객체생성조건을만족하는분산노드의존재여부를판별하는단계, 상기네오튜너에의해상기소프트웨어객체생성조건을만족하는분산노드들을사용률평균치순서로정렬하는단계, 상기네오튜너에의해상기사용률평균치순서에따라상기소프트웨어객체생성조건을만족하는분산노드들각각에소프트웨어객체를할당하는단계, 그리고상기소프트웨어객체생성조건을만족하는분산노드들의종류에따라상기네오튜너에포함된 DDS 엔티티관리기또는네오튜너상태관리기중 하나에상기소프트웨어객체의생성을요청하는단계를포함하되, 상기소프트웨어객체생성조건의만족여부는상기분산노드들각각의 CPU 사용률및 메모리사용률에따라결정된다.
Abstract translation: 由数据分配系统，包括多个分布式节点的软件对象产生方法的软件对象，所述方法包括：接收软件对象自动由包括在所述分配节点中的一个新的调谐器根据本发明产生的命令，所述新的调谐器 用于分拣分配节点，用于确定基于所述自动生成的命令，以确定满足软件对象创建条件从分布式节点之间，由新调谐器分布式节点的存在满足所述软件对象创建条件使用率平均数值序列 步骤中，根据分配用于每个满足软件对象产生条件的分布式节点的软件对象的使用率平均数值序列的新由调谐器，和neo根据满足所述软件对象创建条件分布的节点的类型 包括在调谐器中的DDS实体经理或新调谐器状态管理员之一连接到上述调谐器， 包括：请求所述软件对象的生成的步骤中，很高兴与软件对象，所述生成条件是根据每个所述分布式节点的CPU使用率和存储器使用率来确定。
-
公开(公告)号：KR1020150117083A
公开(公告)日：2015-10-19
申请号：KR1020140042378
申请日：2014-04-09
Applicant: 한국전자통신연구원
IPC: G06F9/44
CPC classification number: G06F17/5009 , G06F17/5095 , G06F9/44
Abstract: 본발명은하이브리드시스템의모델링장치에관한것으로, 본발명에따른장치는, 하이브리드시스템에구현된적어도하나이상의가상물리시스템에대한포트, 구조및 제약사항들을모델링하고, 각가상물리시스템별로구성된포트모델, 구조모델및 제약모델을포함하는핵심모델을구성하는모델구성부, 및상기핵심모델에대하여포트모델, 구조모델및 제약모델의연결관계를설정하고, 각모델에대한이상적요소및 연속적요소를정의하는모델설정부를포함한다.
Abstract translation: 本发明涉及混合系统的建模装置。 根据本发明的建模装置包括：模型配置部分，其对在混合系统中实现的至少一个网络物理系统进行端口，结构和限制条件建模，并配置核心模型，其包括端口模型，结构模型， 和由网络物理系统配置的限制模型; 以及模型设置部分，其设置核心模型与端口模型，结构模型和限制模型中的每一个之间的相关性，并且定义每个模型的理想元素和连续元素。
-
-
-
-
-
-
-
-
-
Search Results
51
records
(took 0.025 seconds)
