嵌入式软件系统体系结构可靠性分析方法

AADL是嵌入式领域对SA进行建模、评估的常用方法，但其属于一种半形式化开发语言，无法直接对SA的可靠性进行验证。为此，提出一种基于AADL的可靠性分析框架，对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系，建立AADL可靠性模型；然后设计转换模型及其规则，将AADL模型转换为连续时间马尔可夫链模型；最后采用概率模型检验工具对连续时间马尔可夫链模型进行可靠性定量分析。仿真结果表明，与现有可靠性分析方法相比，该方法在计算效率和转换效率上都有明显的提高。基于AADL的可靠性分析框架实现在软件系统开发早期对SA进行可靠性定量计算，为AADL在嵌入式软件系统可靠性定量分析方面提供了一种新的验证思路。