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

作     者：曲以堃 张伟 Qu Yikun;Zhang Wei

作者机构：中国航天系统科学与工程研究院北京100048 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2020年第37卷第10期

页      面：3053-3057页

学科分类：08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 081102[工学-检测技术与自动化装置] 

基　　金：国防技术基础项目 

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

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