摘要
航天环境的特殊性决定了星载软件的高可靠性要求,软件的容错设计是保证星载软件可靠性的有效手段。同时,对软件容错设计本身的技术验证也是非常必要的。文章在对软件容错设计分析的同时,结合工程项目实践,构建了一个软件故障注入模型,用以模拟空间环境故障对软件的影响,并验证项目中软件容错能力的健壮性。
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.
出处
《中国电子科学研究院学报》
2009年第3期313-316,共4页
Journal of China Academy of Electronics and Information Technology
关键词
容错
故障注入
软件
星载
fault-tolerance
fault injection
software
satelliteborne
