高可信嵌入式控制软件的可信性分析与保证技术集成应用研究

航天、武器装备、交通等领域的嵌入式控制软件具有极高可信性要求，针对这类软件的特点研究可信软件相关理论、方法和工具如何进行集成应用以有效支持其可信性分析与保证具有重要意义。本项目将以航天嵌入式控制软件实际案例为背景，结合"可信软件基础研究"重大研究计划以及国内外相关研究的进展与成果，开展以下工作：研究航天嵌入式控制软件可信性的具体内涵和表述形式；综合考虑软件可信性需求分析、软件可信设计与实现、可信性分析与验证等不同活动，以及软件模型和源代码等不同层次，开展软件可信开发技术在航天嵌入式控制软件中的应用研究；针对其软件运行环境和需求变化特征，开展软件可信运行与演化技术应用研究；研究所用可信软件技术和工具的有效集成和综合运用方法，以及成果的表达形态；通过对技术和工具表现出的可行性与实际成效进行分析，为可信软件基础理论、方法和工具的进一步研究与集成提供思路与建议。