公开(公告)号：US10467125B2

公开(公告)日：2019-11-05

申请号：US16150384

申请日：2018-10-03

Applicant: KOREA AEROSPACE RESEARCH INSTITUTE

Inventor： Hyun-Kyu Shin

IPC: G06F11/36 ,  H04B7/185 ,  G06F17/50 ,  G06F11/34

Abstract: Provided is a method of verifying satellite software using a simulator, the method including receiving memory data of the simulator from the simulator in a first communication mode, the simulator being loaded with the satellite software to be verified; generating a first telemetry frame from the memory data based on a telemetry frame generation rule; and analyzing the first telemetry frame.

公开(公告)号：US10817286B2

公开(公告)日：2020-10-27

申请号：US16190888

申请日：2018-11-14

Applicant: KOREA AEROSPACE RESEARCH INSTITUTE

Inventor： Hyun-Kyu Shin

IPC: G06F9/44 ,  G06F8/77 ,  G06F8/71

Abstract: Provided is a method and apparatus for tracking and managing a code change between multiple projects. The apparatus includes a code management unit for generating function flow graphs by analyzing a structural and functional flow and annotated annotation from the project code input to a code management unit, comparing the generated function flow graphs for respective projects, and tracking changes based on information recorded in annotation formed by annotating the difference and changes deduced via comparison and generating a change tracking result, a change management unit for providing information on requirement and an ID by the request for a change of additional information as annotated annotation, receiving the change tracking result from the code management unit, and managing the change tracking result, and a display element for receiving the change tracking result from the code management unit and displaying the change tracking result on a monitor.

公开(公告)号：US20190155716A1

公开(公告)日：2019-05-23

申请号：US16150384

申请日：2018-10-03

Applicant: KOREA AEROSPACE RESEARCH INSTITUTE

Inventor： Hyun-Kyu Shin

IPC: G06F11/36 ,  H04B7/185 ,  G06F17/50

CPC classification number: G06F11/3616 ,  G06F11/3457 ,  G06F11/3664 ,  G06F11/3668 ,  G06F17/5022 ,  H04B7/18513 ,  H04B7/18515 ,  H04B7/18517 ,  H04B7/18519

Abstract: Provided is a method of verifying satellite software using a simulator, the method including receiving memory data of the simulator from the simulator in a first communication mode, the simulator being loaded with the satellite software to be verified; generating a first telemetry frame from the memory data based on a telemetry frame generation rule; and analyzing the first telemetry frame.