-
公开(公告)号：KR1020140145781A
公开(公告)日：2014-12-24
申请号：KR1020130068354
申请日：2013-06-14
Applicant: 한국전자통신연구원
CPC classification number: B64F5/00 , G06F3/0481 , G06F3/04847 , G06F2203/04802 , G06F19/00 , G06F3/01 , G06F3/0484
Abstract: 항공용 시스템의 설정값을 입력하는데 적용되는 사용자 인터페이스 를 제공하는 장치는 항공용 시스템에 적용되는 소프트웨어의 속성을 입력받거나 확인하는 소프트웨어 아키텍처부, 소프트웨어의 동작 기반이 하드웨어 설계 모델을 제공하는 하드웨어 아키텍처부, 설정값 중 파티션 정보의 스케줄링 정보를 입력받고, 스케줄링 정보를 특정 형태로 변환하는 스케줄링부, 소프트웨어의 속성을 저장하는 메모리부, 소프트웨어 아키텍처부를 기준으로 헬스 모니터링을 설정하는 헬스 모니터링부 및 파티션들이 어떠한 채널로 연결되었는지에 해당하는 커넥션 정보를 입력받는 연결부를 포함하고, 소프트웨어 아키텍처부, 하드웨어 아키텍처부, 스케줄링부, 메모리부, 헬스 모니터링부 및 연결부 각각을 큐브가 포함하는 여섯개의 면에 각각 적용하는 것 을 특징으로 한다.
Abstract translation: 一种用于提供应用于航空系统的输入设置的用户界面的装置包括：软件架构单元，被配置为接收或确认应用于航空系统的软件的属性; 硬件架构单元，被配置为基于所述软件的操作来提供硬件设计模型; 调度单元，被配置为在所述设置值之间接收分区信息的调度信息，并将所述调度信息转换为特定形式; 被配置为存储软件的属性的存储器单元; 健康监视单元，被配置为由所述软件架构单元设置健康监视; 以及连接单元，被配置为接收对应于分区是否连接到任何信道的连接信息，其中软件架构单元，硬件架构单元，调度单元，存储单元，健康监控单元和连接单元被应用于 六面分别包含在立方体中。
-
公开(公告)号：KR101294708B1
公开(公告)日：2013-08-08
申请号：KR1020100028738
申请日：2010-03-30
Applicant: 한국전자통신연구원
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 본 발명은 소프트웨어 설계 모델의 검증 기법에 관한 것으로, 소프트웨어 설계 모델에 대한 프로토콜 상태 기계 다이어그램 및 순차 다이어그램을 이용하여 SMT 변환 및 SMT 처리를 수행하여 만족 시 발생 가능한 행위 시나리오를 출력하고, 불만족 시 모순된 행위 시나리오를 검증함으로써, 소프트웨어 설계 모델에 대한 프로토콜 상태 기계 다이어그램과 순차 다이어그램의 일치성을 효과적으로 검증할 수 있는 것이다.
-
公开(公告)号：KR1020120075569A
公开(公告)日：2012-07-09
申请号：KR1020100128361
申请日：2010-12-15
Applicant: 한국전자통신연구원
IPC: G06Q50/30
Abstract: PURPOSE: A vehicle information providing apparatus is provided to enable a driver or a vehicle management service provider to conveniently recognize information for a vehicle by conveniently providing information for the vehicles. CONSTITUTION: Diverse vehicle information is collected by using REST HTTP(REpresentational State Transfer HyperText Transfer Protocol) based technology. An update unit(102) updates the information of the vehicle by using an REST HRRP method from one or more vehicles when events are periodically generated. A vehicle information control unit(103) transmits the updated vehicle information to an external apparatus by using the REST HTTP method when a signal for requesting the vehicle information is received from the external apparatus.
Abstract translation: 目的：提供车辆信息提供装置，使驾驶员或车辆管理服务提供者能够方便地为车辆提供信息来方便地识别车辆的信息。 构成：通过使用REST HTTP（RE表示状态传输超文本传输协议）技术收集不同的车辆信息。 当周期性地产生事件时，更新单元（102）通过使用来自一个或多个车辆的REST HRRP方法来更新车辆的信息。 当从外部设备接收到用于请求车辆信息的信号时，车辆信息控制单元（103）通过使用REST HTTP方法将更新的车辆信息发送到外部设备。
-
Patent Agency Ranking
公开(公告)号：KR101694305B1
公开(公告)日：2017-01-09
申请号：KR1020120039710
申请日：2012-04-17
Applicant: 한국전자통신연구원
Abstract: 본발명은항공기응용프로그램을 ARINC 653 표준에따라작성하는경우, ARINC 653 설정을용이하게하는설정방법및 장치에관한것으로, 사용자인터페이스를디스플레이하여, ARINC 653 설정사항을입력받고, 상기입력된설정사항에기초하여소스코드의중간모델을생성하고, 상기생성된중간모델에대한 XML 변환을통하여 XML 문서를생성하고, 상기생성된 XML 문서를변환하여 ARINC 653 소스코드파일을생성함으로써, ARINC 653 설정을쉽고빠르게이루어지도록하여, 소프트웨어품질을향상시키고개발자에게단순노동의업무를줄여주어개발효율을높일수 있도록하는발명이다.
Abstract translation: 本文公开了用于执行航空系统的配置的方法和装置。 该装置包括显示单元，中间模型生成单元，可扩展标记语言（XML）转换单元和翻译器。 显示单元显示器显示用于接收符合ARINC 653标准的航空系统设置信息的用户界面。 中间模型生成单元基于经由用户界面接收到的设定信息生成源代码的中间模型。 XML转换单元通过对生成的中间模型执行XML转换来创建XML文档。 翻译器通过转换生成的XML文档生成符合ARINC 653标准的源代码文件。
-
公开(公告)号：KR1020120072133A
公开(公告)日：2012-07-03
申请号：KR1020100133945
申请日：2010-12-23
Applicant: 한국전자통신연구원
CPC classification number: G06F11/3604 , G06F8/70 , G06F9/4411 , G06F9/44589 , G06F11/3664 , G06F11/3672 , G06F11/3684 , G06F11/3692
Abstract: PURPOSE: A static software testing device and a method thereof are provided to improve quality of software by automating shape inspection for testing complex variable setup. CONSTITUTION: A pre-processor(210) generates one code by integrating shape source files. A controlling unit(230) parses the code and generates a logic formula about the code. The controlling unit generates a testing logic formula. A processing unit(240) tests satisfaction of the testing logic formula and generates a testing result about the shape source files. The controlling unit generates a negative logic formula.
Abstract translation: 目的：提供静态软件测试设备及其方法，通过自动化形状检查来提高软件质量，以测试复杂的变量设置。 构成：预处理器（210）通过整合形状源文件生成一个代码。 控制单元（230）解析代码并产生关于代码的逻辑公式。 控制单元生成测试逻辑公式。 处理单元（240）测试测试逻辑公式的满足度并且生成关于形状源文件的测试结果。 控制单元产生负逻辑公式。
-
公开(公告)号：KR1020110089548A
公开(公告)日：2011-08-09
申请号：KR1020100008996
申请日：2010-02-01
Applicant: 한국전자통신연구원
Inventor： 박사천
CPC classification number: G06F8/24 , G06F9/44 , G06F9/455 , G06F17/30604
Abstract: PURPOSE: A class diagrams analyzing method using an SMT(Satisfiability Modulo Theories) converting apparatus for class diagrams is provided to enable a development of a program for performing an exact and efficient analysis. CONSTITUTION: The meaning of a class diagram which is defined as a system state by an SMT converting apparatus is expressed into an SMT logical formula. The meaning of the class diagram is mapped with the SMT input language by the conversion rule of an object declaration, a declaration of a class, an attribute conversion, a link conversion, and a multiplicity restriction regulation. An XMI file and analysis standard about the modeled class diagram are automatically transformed to the SMT input language(S20). The analysis result is outputted by performing analysis about a file which is converted into an SMT input language(S30).
Abstract translation: 目的：提供一种使用SMT（Satisfiability Modulo Theories）转换装置进行类图的分析方法分析方法，以便开发用于执行精确高效分析的程序。 构成：通过SMT转换装置定义为系统状态的类图的含义被表示为SMT逻辑公式。 类图的意义通过对象声明的转换规则，类的声明，属性转换，链接转换和多重限制规则与SMT输入语言进行映射。 关于建模类图的XMI文件和分析标准自动转换为SMT输入语言（S20）。 通过对转换成SMT输入语言的文件进行分析来输出分析结果（S30）。
-
公开(公告)号：KR1020130117049A
公开(公告)日：2013-10-25
申请号：KR1020120039710
申请日：2012-04-17
Applicant: 한국전자통신연구원
Abstract: PURPOSE: A method and an apparatus for setting an aeronautic system according to aeronautical radio incorporated 653 (ARINC 653) standards are provided to set up ARINC 653 easily and quickly, thereby improving the software quality. CONSTITUTION: A display unit displays user interface (UI) (101) for receiving aeronautical system settings according to ARINC 653 standards. A middle model generator generates the middle model (102) of a source code based on the settings inputted through the UI. An eXtensible Markup Language (XML) converter generates an XML document (103) through the XML conversion of the middle model. A translator (104) converts the XML document to generate source code files (105-107) according to the ARINC 653 standards. The UI comprises a menu for input of module configuration information, partition configuration information, channel setting information, and health monitor table setting information. [Reference numerals] (101) Setting user interface; (104) Translator; (AA) XML conversion; (BB) Middle model
Abstract translation: 目的：提供一种根据航空无线电结合653（ARINC 653）标准设置航空系统的方法和装置，可以方便快捷地设置ARINC 653，从而提高软件质量。 规定：显示单元显示根据ARINC 653标准接收航空系统设置的用户界面（UI）（101）。 中间模型发生器基于通过UI输入的设置生成源代码的中间模型（102）。 可扩展标记语言（XML）转换器通过中间模型的XML转换生成XML文档（103）。 翻译器（104）根据ARINC 653标准转换XML文档以生成源代码文件（105-107）。 UI包括用于输入模块配置信息，分区配置信息，频道设置信息和健康监视表设置信息的菜单。 （附图标记）（101）设定用户界面; （104）翻译者 （AA）XML转换; （BB）中型
-
公开(公告)号：KR1020110109146A
公开(公告)日：2011-10-06
申请号：KR1020100028738
申请日：2010-03-30
Applicant: 한국전자통신연구원
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: An apparatus for analyzing a fault behavior, includes a satisfiability modulo theories (SMT) conversion block for performing SMT conversion with respect to a protocol state machine diagram and a sequence diagram of a software design model. Further, the apparatus for analyzing the fault behavior includes an SMT processing block for performing a SMT processing using respective logic formulas corresponding to the protocol state machine diagram and the sequence diagram and outputted from the SMT conversion block, and determining whether the result of the SMT processing is satisfied to output an occurrable behavior scenario when the result of the SMT processing is satisfied.
-
-
-
-
-
-
-
Search Results
8
records
(took 0.035 seconds)
