航天型号软件，即作为航天型号产品的一部分而发挥作用的软件产品。由于型号软件工作环境及用途的特殊性，其对可靠性要求很高。甚至可以这样认为：可靠性是型号软件的生命线.是系统能否付诸应用的关键。据美国防部和NASA统计，目前航天领域中软件的可靠性比硬件系统低约1个量级，因软件故障而造成的重大事故也屡见不鲜，并且随着软件规模、复杂度和性能需求不断提升，其可靠性问题也愈显突出。如果等到系统实现、集成阶段再去验证其可靠性，那么此时修正错误的花费将远高于设计阶段，因此在软件开发早期进行可靠性分析和评估显得尤为重要。　　 AADL由自动化工程师协会SAE提出，可用于设计分析安全关键的嵌入式实时系统软硬件体系结构，并在开发早期验证系统模型的可靠性，对模型的分析验证结果能及时反馈到设计阶段，优化系统结构设计。　　 本文主要研究基于AADL的型号软件可靠性设计与验证关键技术，并将其应用到航天型号软件可靠性设计中，来评估型号软件的可靠性。　　 本文给出了一个基于AADL的可靠性建模与评估的框架：首先建立AADL可靠性模型，然后将其转换为GSPN模型后再进行计算分析，最后对模型进行改进。在该框架的基础上，重点讨论了组件之间错误传播(in-out传播)以及描述触发模式转换的规则条件的GuardTransition属性到GSPN的转换规则，并采用冗余设计和简化设计对模型进行改进。此外，本文还改进了GSPN建模分析工具PIPE2，提高了其精度，从而满足更高可靠性要求。最后以某型号软件飞行控制模块为实例，进行了基于AADL的可靠性建模与评估，并对可靠性模型进行了改进。实验结果较好的验证了模型转换规则、模型改进方法及可靠性建模与评估框架的有效性。