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

The Safeguard Technology under New Spacecraft Software Development Mode

作　　者：高猛[1] 滕俊元 王政[1] Gao Meng;Teng Junyuan;Wang Zheng(Beijing Institute of Control Engineering,Beijing 100190,China)

机构地区：[1]北京控制工程研究所,北京100190

出　　处：《质量与可靠性》2022年第1期48-53,共6页Quality and Reliability

摘　　要：航天器软件技术的发展,对以瀑布模型为流程,以文档及手写代码为载体的传统软件研制模式提出了挑战。面对复杂多变的航天任务需求,提出了以系统设计牵引、技术要素保证、模型驱动开发为代表的方法论体系,形成了新型航天软件研制模式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.

关 键 词：航天器软件 新型软件研制模式 保障技术 

分 类 号：V446[航空宇航科学与技术—飞行器设计]