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

摘要

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