A Formal Method for Safety Time Series Simulation of Aerospace

Abstract

To develop software of spacecrafts’ telemetry and command, it’s needed to research extensible and reusable simulation system. This paper studies time series simulation of aerospace, presents the general model based on CCS-like, gives the calculi method of model, and proves the termination of computation. This paper analyzes the time process in the simulation of spacecrafts, simplifies the general model, designs the framework of the temporal configuration files and the control flow of temporal actions in programs, gives two key algorithms which implement this simplified model in simulation system, and implements the framework in a simulation system. And then, it describes the computation process by the example of the concrete temporal process of the spacecraft’s simulation. Finally, this paper gives the conclusion and point out the field in which this model can be used in the future.