星载软件容错设计及验证技术

摘要：

航天环境的特殊性决定了星载软件的高可靠性要求,软件的容错设计是保证星载软件可靠性的有效手段.同时,对软件容错设计本身的技术验证也是非常必要的.文章在对软件容错设计分析的同时,结合工程项目实践,构建了一个软件故障注入模型,用以模拟空间环境故障对软件的影响,并验证项目中软件容错能力的健壮性.

关键词：容错、故障注入、软件、星载

所属期刊栏目：4

分类号：TN311(半导体技术)

在线出版日期：2009-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：313-316