载人航天工程高可靠嵌入式软件设计方法

High-reliability Embedded Software Design Method for Manned Space Engineering

航天软件产品日益复杂并且在系统中所占比重越来越大,可靠性越来越受到关注。特别是载人航天任务对航天软件的可靠性提出了更高的要求,要求软件设计必需在保证功能性能正确的基础上,把可靠性措施落实到位,来避免各种存在于软硬件中的缺陷引发故障,最终导致任务失败。从程序设计和数据设计两个角度,来描述载人航天工程高可靠嵌入式软件的一些技术方法。

As aerospace software products are becoming more and more complex and taking up more and more proportions in the system,more and more attention is paid to their reliability.In particular,manned space missions put forward higher requirements for the reliability of aerospace software,requiring software design to ensure correct functional performance and implement reliability measures in place to avoid various defects in software and hardware which causes a failure and ultimately leads to a failure of the task.This article describes some technical methods of high-reliability embedded software for manned aerospace engineering from two perspectives which are program design and data design.