随着我国航天事业的快速发展，控制软件已成为航天型号产品的重要组成部分，当前航天型号的许多关键、复杂的功能都是软件来实现。在载人航天、大运载、航天武器型号、深空探测等国家重大工程中，软件发挥的作用越来越大。航天控制软件具有功能关键、运行环境苛刻、可靠性安全性要求高，这些特征对软件的可信性提出了很高的要求。目前，软件可信性已直接关系到型号任务的成败。如何保障型号软件的高可信，进而保证整个型号任务的高可信已成为航天控制软件重点关注且亟待解决的问题。航天控制软件可信性的增强必须依赖软件可信技术的创新和发展，而可信的国家软件资源共享与协同生产环境（即Trustie）所提出的技术和生产线是其中的核心环节。
本项目基于Trustie形成的资源库、协同平台、生产线集成框架和软件可信分级模型等技术规范和参考实现，对Trustie 所形成的成果在航天控制软件开发中进行实用性的评估，改进和建立航天控制软件开发生产线，同时针对航天控制软件开发的特点，对Trustie 中所提供的工具进行适应性改造，以适合航天控制软件开发的需求，最终建立了航天控制软件开发生产线和演化的示范工程。
--以上研究得到863项目的资助 2009年～2010年
|