新型航天软件研制模式下的保障技术

摘要

航天器软件技术的发展,对以瀑布模型为流程,以文档及手写代码为载体的传统软件研制模式提出了挑战。面对复杂多变的航天任务需求,提出了以系统设计牵引、技术要素保证、模型驱动开发为代表的方法论体系,形成了新型航天软件研制模式SAMPA。结合航天器软件工程发展现状,从组织管理、标准体系、可信技术等方面介绍了与新型软件研制模式相适应的保障技术,并重点说明了全面支撑各种保障技术的数字化工具体系的成功实践,以期为航天器软件从业人员提供参考和指导。