计算机应用研究

作者：曲以堃,张伟,

单位：中国航天系统科学与工程研究院,北京100048；

关键词：软件体系结构,结构分析与设计语言,连续时间马尔可夫链,转换模型,可靠性,

基金：国防技术基础项目；；

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

来源：2020年第10期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2020年第10期