中文摘要：

航天、武器装备等领域的嵌入式控制软件具有极高可信性要求，针对这类软件的特点研究可信软件相关理论、方法和工具如何进行集成应用以有效支持其可信性分析与保证具有重要意义。本项目通过对当前航天领域控制软件的发展现状和趋势进行调研，从航天嵌入式操作系统和嵌入式应用软件这两个层次对其可信性内涵进行了分析和分类，然后研究了目前静态分析、模型检验、安全性分析、实时性分析、可靠性预测与评估、运行时监控等不同可信性分析与保证方法和工具能分别支持哪些可信性需求，并选择典型的工具进行具体分析与验证。在此过程中注重选择的方法和工具能够支持模型、代码和系统等不同软件层次，以及能涉及软件需求、设计、实现、测试和运行等不同阶段。此外，选择方法和工具的时候，侧重那些具有较深理论性、近年来取得较快发展、目前还未在工业界广泛使用但具有重要的应用前景和发展前途的方法和工具。通过针对卫星控制软件、导弹综合控制软件进行了具体应用，取得了良好效果。