Abstract:
본 발명은 자율 제어 기능을 포함하는 복수개의 임베디드 시스템이 운영되는 컴포넌트 기반 시스템에서 이상 상태의 문제점을 분석하는 장치 및 그 방법에 관한 것이다. 이를 위하여 컴포넌트 기반 시스템의 이상 상태를 분석하는 장치가 컴포넌트 간의 상호작용을 모델링하여 상호작용 모델을 생성하는 단계, 상호작용 모델에 대응하는 입출력 메시지 테이블을 생성하는 단계, 입출력 메시지 테이블을 토대로 상기 컴포넌트 간의 상태 변화를 식별하는데 적용되는 상태 테이블과 하나의 컴포넌트와 연관된 다른 컴포넌트를 분석하는데 사용되는 분석 테이블을 생성하는 단계, 상태 테이블과 분석 테이블을 토대로 목표 시스템의 지식 템플릿을 생성하는 단계, 및 목표 시스템의 지식 템플릿에 컴포넌트의 제약조건을 적용하여 모니터링하고, 모니터링한 결과를 토대로 컴포넌트의 상태를 감지하는 단계를 포함한다.
Abstract:
통신 개체 탐색 장치 및 방법이 개시된다. 본 발명에 따른 통신 개체 탐색 장치는, 연결대상 DR에 대한 리스트를 생성하는 리스트 생성부; 상기 연결대상 DR의 개수에 대한 정보가 포함된 카운터를 생성하는 카운터 생성부; 및 상기 리스트 및 상기 카운터를 기반으로 상기 연결대상 DR과 통신연결을 설정하는 탐색 메시지 통신부를 포함하되, 상기 탐색 메시지 통신부는, 상기 연결대상 DR에게 데이터 토픽정보 또는 제공 가능한 서비스 품질 정보를 포함하는 DR 탐색 메시지를 전송하는 송신부 및 상기 연결대상 DR로부터 데이터 토픽 정보 또는 제공 가능한 서비스 품질 정보를 포함하는 DW 탐색 메시지를 수신하는 수신부를 포함한다.
Abstract:
본 발명은 자율 컴퓨팅 장치의 이상 상태에 대한 정보를 저장하는 지식 베이스부; 및 상기 지식 베이스부에 저장된 이상 상태에 대한 정보를 토대로 상기 자율 컴퓨팅 장치의 이상 상태를 인지하여 이를 해결하는 자가 관리를 학습하며, 자가 관리 학습 중에 새로운 이상 상태에 대한 정보를 획득하는 경우 이를 토픽으로 생성하는 자율 컴퓨팅 관리부; 및 상기 자율 컴퓨팅 관리부에 의해 생성되는 상기 토픽을 동일한 도메인 상에 존재하는 다수의 자율 컴퓨팅 장치들에게 송신하거나, 상기 다수의 자율 컴퓨팅 장치들로부터 송신되는 토픽을 수신 받는 토픽 송수신부;를 포함하는 것을 특징으로 한다.
Abstract:
본 발명은 크리티칼 시스템의 자가 치유를 위한 시스템 및 방법에 관한 것이다. 본 발명은 대상 크리티칼 시스템의 현재 상황을 모니터링하고, 모니터링 결과를 분석하여 시스템 오류 여부를 판별하며, 시스템 오류가 있을 경우 자가 치유가 가능한지 여부에 따라 현 상태에서 자가 치유를 수행할 것인지 최소한의 기본 서비스만 제공 가능한 안전 소프트웨어를 구동시킬 것인지를 판단하고, 시스템 오류를 치유시킨 뒤 자가 치유 성능을 평가한다. 본 발명에 따르면, 계속적으로 소프트웨어 서비스를 제공할 수 있으며, 자가 치유 성능 평가를 통해 자가 치유 시스템의 신뢰성을 더욱 향상시킬 수가 있다.
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:
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:
PURPOSE: An air patrol system using an unmanned aerial vehicle and a method for the same are provided to remotely monitor the existence of the generation an abnormal state in a monitoring target area at a ground control indicator in a safe area. CONSTITUTION: An air patrol method using an unmanned aerial vehicle is as follows. Image data with respect to a POI(Point Of Interest) which is a target of a patrol is obtained by a plurality of unmanned aerial vehicles(100). The obtained image data of the POI is transmitted to a ground control indicator(200). The ground control indicator analyzes the image data of the POI transmitted by the unmanned aerial vehicles, thereby monitoring the existence of the presence of abnormal objects in the POI. When the abnormal objects are existed in the POI, flight control signals are transmitted to the unmanned aerial vehicle transmitted the image data of the abnormal objects so that the aerial vehicle traces the abnormal objects and transmits the image data thereof to the ground control indicator.
Abstract:
PURPOSE: A QoS(Quality of Service) support device in middleware for a data distribution service and a method thereof are provided to preferentially process a QoS policy having higher priority by checking the compatibility and consistency of QoS policy sets and grouping QoS policies having correlations. CONSTITUTION: A QoS policy analyzing unit(300) extracts a QoS policy set related to publication and subscription set in DCPS(Data Centric Publish Subscribe) to analyze QoS policies. A QoS policy management unit(400) determines the consistency of the QoS policies of a data distribution service and negotiates for the QoS policies for the communication of the data distribution service. A QoS policy processing unit(500) processes the QoS policies of the data distribution service. The QoS policy management unit includes a QoS policy consistency checking unit determining the consistency of the QoS policies. [Reference numerals] (300) QoS policy analyzing unit; (420) QoS policy consistency inspection module; (440) QoS policy negotiation module; (460) QoS policy scheduling module; (520) Data processing module; (540) Resource allocation module; (560) Traffic processing module