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

High-reliability Embedded Software Design Method for Manned Space Engineering

作　　者：束韶光 崔宇[1] 刘俊阳[1] Shu Shao-guang;Cui Yu;Liu Jun-yang(Beijing Aerospace Automatic Control Institute,Beijing,100854)

机构地区：[1]北京航天自动控制研究所,北京100854

出　　处：《导弹与航天运载技术》2022年第1期65-69,89,共6页Missiles and Space Vehicles

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

关 键 词：载人航天 嵌入式软件 可靠性设计 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]