随着嵌入式软件的规模不断增大,复杂度迅速增加,嵌入式软件可靠性模型的建立越来越困难,模型不能很好地反映构件间的依赖关系。如何尽早建立软件可靠性模型,降低建模的复杂度,使模型反映出故障在构件之间的传播关系,是软件可靠性研究工作中的一个重要问题。AADL(Arichitecture Analysis and Design Language)作为一种针对嵌入式软件的体系结构建模语言,其概念框架为解决上述问题提供了途径。本文在对软件可靠性理论和AADL进行深入分析和研究的基础上,提出了基于AADL的嵌入式软件可靠性建模方法。文中首先以AADL结构模型为基础,通过AADL流信息确定构件间的故障传播路径,刻画构件发生故障后对其他构件的影响,同时使用流终点构件确定系统的失效,刻画不同构件对系统可靠性的影响,之后采用AADL错误模型机制建立可靠性模型的形式化描述。在此基础上,通过将AADL可靠性模型转换为广义随机Petri网可靠性模型,实现了软件可靠性的自动化定量评估。最后,采用本文设计并开发的AADL可靠性评估器对一个典型实例进行可靠性评估与分析,验证本文提出的可靠性建模与评估方法的可行性。