Graph-Based and Algebraic Models for Real-Time Flight Control Software

Abstract

Unfortunately, there are repeating catastrophes in space missions caused by software errors. One of the reasons for it is absence of adequate methods for modeling of real-time control algorithms which are totally distinct from computational (data transformation) algorithms. The purpose of the research is to develop mathematical models suitable for further analysis, design and formal verification of spacecraft’s real-time flight control software. The paper presents two models, graph-based and algebraic. These models were successfully used during implementation of CASE toolset for design and verification of real-time spacecraft onboard control algorithms.