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

• 作者: 张伟 曲以堃
• 来源期刊: 计算机应用研究
• 关键词: 软件体系结构 结构分析与设计语言 连续时间马尔可夫链 转换模型 可靠性
• 年，卷（期）: 2020,（10）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3053-3057
• 页数: 5页
• 分类号: TP201
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2019.05.0219

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张伟		47	95	6.0	8.0
2	曲以堃		1	0	0.0	0.0