-
公开(公告)号：KR101387453B1
公开(公告)日：2014-04-21
申请号：KR1020120118307
申请日：2012-10-24
Applicant: 한국항공우주연구원
Abstract: The present invention relates to a system for verifying software installed in a satellite. The system according to the present invention comprises a terminal equipped with software which controls to drive software installed in a satellite so that verification for the software is performed; and an input/output simulator unit which is connected to the terminal equipped with software and, according to a request from the terminal equipped with software, transmits data stored in an input/output mapping table or receives data transmitted from the terminal equipped with software to store the received data in the input/output mapping table. The input/output simulator unit includes a plurality of input/output simulators for each communications mode. According to the present invention, the terminal equipped with software is connected to the input/output simulator without connecting to a separate hardware input/output device, thereby more easily performing the verification of the software. [Reference numerals] (100) Terminal equipped with software; (200) User terminal; (300) Input/output simulator unit; (310) Space wire input/output simulator; (320) UART input/output simulator; (330) 1553B input/output simulator; (400) Automatic test device; (410) Satellite function test unit; (420) Remote instruction test unit; (430) Data analysis unit; (500) Power supply unit
Abstract translation: 本发明涉及一种用于验证安装在卫星中的软件的系统。 根据本发明的系统包括配备有控制以驱动安装在卫星中的软件的软件的终端，以便执行对软件的验证; 以及输入/输出模拟器单元，其连接到配备有软件的终端，并且根据来自配备有软件的终端的请求，发送存储在输入/输出映射表中的数据，或者接收从配备有软件的终端发送的数据 将接收到的数据存储在输入/输出映射表中。 输入/输出模拟器单元包括用于每个通信模式的多个输入/输出模拟器。 根据本发明，配备有软件的终端连接到输入/输出模拟器，而不连接到单独的硬件输入/输出设备，从而更容易地执行软件的验证。 （附图标记）（100）配备软件的终端; （200）用户终端; （300）输入/输出模拟器单元; （310）空间线输入/输出模拟器; （320）UART输入/输出模拟器; （330）1553B输入/输出模拟器; （400）自动测试装置; （410）卫星功能测试单元; （420）远程指令测试单元; （430）数据分析单元; （500）电源单元
-
公开(公告)号：KR101371400B1
公开(公告)日：2014-03-10
申请号：KR1020120139747
申请日：2012-12-04
Applicant: 한국항공우주연구원
CPC classification number: G06F11/36 , G06F8/20 , G06F9/06 , G06F9/44 , G06F11/3672 , G06F11/3684
Abstract: The present invention relates to a system and method for managing requirements using an annotation on a test script. The system of the present invention comprises: a pre-processing unit for extracting an annotation associated with requirements from a test script including, as the annotation, the requirements associated with the module and function of software to be verified; a requirement analysis unit for drawing the requirements associated with the module and function of the software to be verified, using the annotation extracted by the pre-processing unit; and a test engine for executing a test on the software to be verified and drawing the requirement coverage result, based on the drawn requirements. According to the present invention, the effect of a change of requirements on a test script can be easily analyzed by automatically analyzing the requirements reflected in the test script by using an annotation, and integrally managing the requirements. In addition, the convenience and efficiency of a software developer can be improved by automatically analyzing a degree of the reflection and verification of requirements according to the progress of the test of developed software. [Reference numerals] (100) Preprocessing unit; (200) Requirement analysis unit; (300) Test engine; (AA) Test script(1); (BB) Additional information; (CC) Requirement analysis result; (DD) Requirement coverage result
Abstract translation: 本发明涉及一种使用测试脚本上的注释来管理需求的系统和方法。 本发明的系统包括：预处理单元，用于从测试脚本中提取与需求相关联的注释，其包括作为注释的与模块相关联的要求和待验证软件的功能; 使用由预处理单元提取的注释来绘制与待验证的软件的模块和功能相关的要求的需求分析单元; 以及用于对要被验证的软件执行测试并根据绘制要求绘制需求覆盖结果的测试引擎。 根据本发明，可以通过使用注释自动分析测试脚本中反映的要求并整体地管理要求，来容易地分析对测试脚本的需求变化的影响。 另外，通过根据开发软件的测试进度自动分析需求的反映程度和验证程度，可以提高软件开发人员的便利性和效率。 （附图标记）（100）预处理单元; （200）需求分析单位; （300）测试引擎; （AA）测试脚本（1）; （BB）附加信息; （CC）要求分析结果; （DD）要求覆盖结果
-
公开(公告)号：KR101348963B1
公开(公告)日：2014-01-16
申请号：KR1020110140045
申请日：2011-12-22
Applicant: 한국항공우주연구원
IPC: G06F9/455
Abstract: 본 발명은, 지상 장비; 상기 지상 장비와 연결되어, 상기 지상 장비로부터의 명령을 처리하고, 상기 지상 장비로 텔레메트리를 생성 및 전송하는 모사시스템; 및 위성의 동작을 포함하는 시나리오를 사용자로부터 입력받아 상기 모사시스템에 입력하는 시나리오부;를 포함하는 시나리오 기반의 위성비행소프트웨어 모사 시스템을 제공한다.
-
公开(公告)号：KR1020130036436A
公开(公告)日：2013-04-12
申请号：KR1020110100509
申请日：2011-10-04
Applicant: 한국항공우주연구원
IPC: G06F11/36
Abstract: PURPOSE: A test debugging method using an AHB(Advanced microcontroller bus architecture High-performance Bus)-UART(Universal Asynchronous Receiver/Transmitter) and a system thereof are provided to verify metering data by generating the metering data with a reliable method. CONSTITUTION: A reliability driving module executes metering software installed in a cloud computing system. A TPM(Trusted Platform Module) provides a security function for metering data generated by the metering software in a cloud computing service. The reliability driving module includes a TXT(Trusted Execution Technology) unit. When a hash value of a program operated by a program list exists on a program list, the TXT unit executes the program. [Reference numerals] (AA) Start; (BB) End; (S310) Inputting a user command and/or a test script; (S320) Checking effectiveness; (S330) Generating a communication command; (S340) Determining a reading command; (S350) Transmitting the reading command; (S360) Receiving data; (S370) Transmitting a writing command;
Abstract translation: 目的：提供使用AHB（高级微控制器总线架构高性能总线）-UART（通用异步收发器）及其系统的测试调试方法，以通过可靠的方法生成计量数据来验证计量数据。 构成：可靠性驱动模块执行安装在云计算系统中的计量软件。 TPM（可信平台模块）为云计算服务中计量软件生成的计量数据提供安全功能。 可靠性驱动模块包括TXT（可信执行技术）单元。 当程序列表中存在由程序列表操作的程序的哈希值时，TXT单元执行该程序。 （附图标记）（AA）开始; （BB）结束; （S310）输入用户命令和/或测试脚本; （S320）检查有效性; （S330）生成通信命令; （S340）确定读取命令; （S350）发送读取命令; （S360）接收数据; （S370）发送写命令;
-
公开(公告)号：KR1020100064589A
公开(公告)日：2010-06-15
申请号：KR1020080123094
申请日：2008-12-05
Applicant: 한국항공우주연구원
Inventor： 신현규
Abstract: PURPOSE: A requirement management method and a device thereof are provided to automatically analyze requirements reflected to the source code through the interpretation of additional information in a source code and grasp a reflected present condition of the requirements in advance, thereby performing development of software effectively. CONSTITUTION: A requirement management device(100) comprises a pre-processing unit(110), a requirement management unit(130) and a storage unit(150). The pre-processing unit grasps relation between the source code and requirements through interpretation of additional information in a source code. The requirement management unit analyzes the present condition in which requirements are reflected to the source code based on the relation between the source code and requirements. The additional information comprises information related to the requirements.
Abstract translation: 目的：提供一种需求管理方法及其装置，通过解释源代码中的附加信息自动分析反映到源代码的要求，并预先掌握要求的反映现状，从而有效开展软件开发。 构成：需求管理装置（100）包括预处理单元（110），需求管理单元（130）和存储单元（150）。 预处理单元通过解释源代码中的附加信息来掌握源代码和要求之间的关系。 需求管理单元根据源代码和要求之间的关系，分析需求反映到源代码的现状。 附加信息包括与要求相关的信息。
-
Patent Agency Ranking
公开(公告)号：KR102222891B1
公开(公告)日：2021-03-04
申请号：KR1020190161669
申请日：2019-12-06
Applicant: 한국항공우주연구원
Inventor： 신현규
IPC: G06F11/36
Abstract: 본명세서는인공위성소프트웨어(Software)를검증하는시뮬레이터(Simulator)에있어서, 상기시뮬레이터는통신부, 및인스턴스관리부를포함하고, 상기인스턴스관리부는검증하고자하는인공위성소프트웨어와대응되는시뮬레이션이미지를생성하고, 상기인공위성소프트웨어를검증하는제1 항목과대응되는제1 명령이수신되면, 상기명령을처리하는가상의공간인제1 인스턴스를상기시뮬레이션이미지를참조하여생성하고, 상기제1 인스턴스를통해상기제1 명령을처리하고텔레메트리프레임(Telemetry Frame) 생성규칙에기초하여상기제1 명령이처리된결과및 상기제1 인스턴스에대한정보를포함하는제1 텔레메트리프레임을생성하고, 상기제1 텔레메트리프레임을검증장치로상기통신부를통해전송하는, 시뮬레이터(Simulator)를개시한다.
-
-
-
公开(公告)号：KR101923777B1
公开(公告)日：2018-11-29
申请号：KR1020160155005
申请日：2016-11-21
Applicant: 한국항공우주연구원
Inventor： 신현규
Abstract: 본발명은인공위성고장관리장치및 인공위성고장관리방법에관한것이다. 본발명에따른인공위성고장관리장치는, 인공위성에대한범용조건을설정하는관리부, 상기인공위성을모니터링하고, 상기모니터링결과에따라상기범용조건을만족하지않는, 인공위성의주요인자(Critical Parameter)를식별하는식별부및 상기주요인자를조건테이블에등록함에연동하여, 상기주요인자에대응하는상세조건을이용하여, 상기인공위성의상태를확정하는처리부를포함할수 있다.
-
公开(公告)号：KR1020180057174A
公开(公告)日：2018-05-30
申请号：KR1020160155499
申请日：2016-11-22
Applicant: 한국항공우주연구원
Inventor： 신현규
IPC: H04B7/185
CPC classification number: H04B7/18578 , H04B7/18582 , H04B7/18584
Abstract: 지연가능한위성명령제어장치및 방법이개시된다. 지연가능한위성명령제어장치는위성시스템에서의명령처리에대한처리조건을생성하는생성부와, 상기생성된처리조건을상기명령에포함시켜, 상기위성시스템에전송하는프로세서를포함하고, 상기생성부는상기명령에대한처리를, 상기위성시스템에서재시도하는재시도주기, 또는재시도가능횟수에관한상기처리조건을생성할수 있다.
-
-
-
-
-
-
-
-
-
Search Results
31
records
(took 0.035 seconds)
