《计算机应用研究》|Application Research of Computers

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

Reliability analysis method for embedded software system architecture

免费全文下载 (已被下载 次)  
获取PDF全文
作者 曲以堃,张伟
机构 中国航天系统科学与工程研究院
统计 摘要被查看 次,已被下载
摘要 AADL是在嵌入式领域对SA进行建模、评估的常用方法,但AADL属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基于AADL的可靠性分析框架,对SA的可靠性进行形式化验证。首先通过分析系统体系结构的元素关系,建立AADL可靠性模型;然后设计转换模型及其规则,将AADL模型转换为连续时间马尔科夫链模型;最后采用概率模型检验工具对连续时间马尔科夫链模型进行可靠性定量分析。仿真结果表明,与现有可靠性分析方法相比,该方法在计算效率上和转换效率上有明显的提高。基于AADL的可靠性分析框架实现在软件系统开发早期对SA进行可靠性定量计算,为AADL在嵌入式软件系统可靠性定量分析方面提供了一种新的验证思路。
关键词 软件体系结构;结构分析与设计语言;连续时间马尔科夫链;转换模型;可靠性
基金项目 国防技术基础项目
本文URL http://www.arocmag.com/article/02-2020-10-038.html
收稿日期
修回日期
页码 -
中图分类号 TP201
文献标志码