Fault-tolerance Design and Verification of Satelliteborne Software
Liu Hai-feng · Journal of China Academy of Electronics and Information Technology · 2009
Requirement of satelliteborne software reliability is demanding because of the particularity of spaceflight environment.The fault-tolerance design of software is an effective mean to ensure the reliability of software.It is necessary to verify the technology of software fault-tolerance design.The fault-tolerance design of software is analyzed in the paper.A model of software fault injection is founded according to the project practice at the same time.The model is designed to simulate the spaceflight environment fault effect on the software and prove the robust ability of software fault-tolerance in the project.