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

The Safeguard Technology under New Spacecraft Software Development Mode

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

The development of aerospace software technology challenges the traditional software development modes whose process is based on waterfall model,document and manual coding. Facing the complex and ever-changing spacecraft mission requirements, it systematically proposes a methodological system represented by system design traction and technical element guarantee, and forms a new aerospace software development mode(SAMPA). Based on the development status of aerospace software engineering,this paper proposes the support technologies that are compatible with the new development mode from four aspects: organization management, standard system, and trusted support technology, and introduces the successful practice of a digital tool system that comprehensively supports various support technologies,which may provide some references for aerospace software practitioners.