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

Reliability analysis method for embedded software system architecture

作　　者：曲以堃 张伟[1] Qu Yikun;Zhang Wei(China Aerospace Academy of Systems Science&Engineering,Beijing 100048,China)

机构地区：[1]中国航天系统科学与工程研究院,北京100048

出　　处：《计算机应用研究》2020年第10期3053-3057,共5页Application Research of Computers

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

摘　　要：AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可靠性模型;然后设计转换模型及其规则,将AADL模型转换为连续时间马尔可夫链模型;最后采用概率模型检验工具对连续时间马尔可夫链模型进行可靠性定量分析。仿真结果表明,与现有可靠性分析方法相比,该方法在计算效率和转换效率上都有明显的提高。基于AADL的可靠性分析框架实现在软件系统开发早期对SA进行可靠性定量计算,为AADL在嵌入式软件系统可靠性定量分析方面提供了一种新的验证思路。AADL is a common method for modeling and evaluating SA in the embedded field,but AADL is a semi-formal development language,cannot directly verify reliability of SA.Therefore,this paper developed a reliability analysis framework based on AADL to formally verify the reliability of SA.Firstly,it built AADL reliability model of architecture by analyzing the relationship of system architecture elements.Then,it designed the transformation model and its rules to transform the AADL model into the continuous time Markov chain model.Finally,it used probabilistic model test to quantitatively analyze the reliability of continuous time Markov chain model.Simulation results show that,compared with existing reliability analysis me-thods,this method has significantly improved the computational efficiency and conversion efficiency.Reliability analysis frame-work based on AADL realizes the quantitative calculation of SA reliability in the early stage of software system development,and provides a new verification idea for AADL in the quantitative analysis of embedded software system reliability.

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

分 类 号：TP201[自动化与计算机技术—检测技术与自动化装置]