Abstract. The paper is devoted to some features and algorithms of AIST-2D experimental technological small spacecraft's Motion Control System Software. Special Flight Control Software is embedded in Motion Control System. There are several modes of software functioning depending on state of the spacecraft. There are descriptions of the basic software algorithms in the paper.
Software faults are the causes for repeating catastrophes in modern space missions. There are various problems in lifecycle of flight control software including lack of adequate models of real-time control algorithms. Real-time control algorithms have the totally distinct nature in contrast to computational algorithms. The paper presents mathematical models suitable for analysis, design and formal verification phases of lifecycle of spacecraft's flight control software. Two kinds of models -graph-based and algebraic, are being described. These models were successfully introduced in computer aided software engineering toolset for design and verification of spacecraft's real-time onboard control software.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.