Satellite software verification system
AssigneeKorea Aerospace Research Institute
InventorHyun-Kyu Shin
Life of this patent
Estimating the term…
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.
Claims16
A method of verifying satellite software using a simulator, the method comprising:
- 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.
A satellite software verification device using a simulator, the satellite software verification device comprising a controller configured to receive memory data of the simulator from the simulator in a first communication mode, the simulator being loaded with the satellite software to be verified, to generate a first telemetry frame from the memory data based on a telemetry frame generation rule, and to analyze the first telemetry frame.
A satellite software verification system comprising:
- a simulator configured to transmit memory data to a satellite software verification device in a first communication mode and to transmit a second telemetry frame to the satellite software verification device in a second communication mode, the simulator being loaded with satellite software to be verified;
- and
- the satellite software verification device configured to receive the memory data of the simulator from the simulator in the first communication mode, to generate a first telemetry frame from the memory data based on a telemetry frame generation rule, to analyze the first telemetry frame, to receive the second telemetry frame from the simulator in the second communication mode, and to analyze the second telemetry frame, the second communication mode being different from the first communication mode.
Dependencies are inferred from the claim text.