The Desigh And Engineering Application Of Satellite Control System Software Reliabilty

Satellite control system is the "brain" of a satellite,which controls the attitude and trajectory of satellite in space.The research on satellite-control-system software reliability is so necessary that it is related to whether the satellite can achieve the tasks and functions,because the satellite-control-system software is the core of the satellite control system.The large integrated satellites with a higher reliability,higher precision and longer designed life,and the small specific satellites with sufficient reliability and fast application,are taking place of the previous satellites with short-term tasks(usually designed life in only one or two years)and simple function.These two development trends of the satellite draw out higher requirements to the design of satellite-control-system software reliability.According to the issue,the author introduces the development process and summarizes the general design principles of software reliability technology.Explains the concept and the intrinsic meaning of software reliability,and lays out the theoretical foundation of the research.Then,systematically analyses the reliability requirements of the satellite control system software to provide the necessary preconditions for the proposed software reliability design solution based on the project application.Finally proposes an intelligent,self-management and verified solution to accomplish the reliability requirements of the typical satellite control system software.To meet the demand of high-precision data process and long-life reliable operation in software reliability design,which is constrained by hardware and software environment,this intelligent self-management solution,achieved in Ada Language and operated on CPU designed in SPARC V8 architecture in the satellite-control-system software reliability,is applied in some satellite control system software,which represents the high-precision,long-life,large-scale integrated satellite working in the environment of outer space.In this application,the methods of troubleshooting and fault avoidance using information fusion techniques,and that of fault tolerance and correction using the fault-tolerant computer systems are obtained in the procedure of the study.These methods are all not only applied in the satellite control system software design but also convinced by coverage verification test.There is important theoretical and practical significance in the future satellite-control-system software reliability design.