一种嵌入式软件可靠性建模与评估方法

• 作者: 刘维维 庄毅 李蜜
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 可靠性 体系结构分析与设计语言 离散时间马尔可夫链 概率计算树逻辑 模型检测
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 78-83
• 页数: 6页
• 分类号: TP311.5
• 字数: 6058字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.08.017

摘要

虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求.为了解决这个问题,本文首先采用离散时间马尔可夫链DTMC刻画AADL可靠性模型,主要描述系统的状态转移与转移概率.然后基于概率计算树逻辑PCTL提出一种可靠性定量评估方法,通过计算可用度评估可靠性.最后设计可靠性评估器,并通过一个飞行管理系统的实例研究验证所提出的建模与评估方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄毅	南京航空航天大学计算机科学与技术学院	126	790	14.0	23.0
2	李蜜	南京航空航天大学计算机科学与技术学院	5	20	2.0	4.0
3	刘维维	南京航空航天大学计算机科学与技术学院	1	1	1.0	1.0