AADL软件容错系统建模与评估

• 作者: 张琛雨 杨志义 董云卫
• 来源期刊: 计算机测量与控制
• 关键词: AADL 可靠性 广义随机Pelri网 ATC
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 软件工程技术
• 页码范围: 779-782
• 页数: 4页
• 分类号: TH873.7
• 语种: 中文

摘要

提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨志义	西北工业大学计算机学院	72	642	14.0	21.0
2	董云卫	西北工业大学计算机学院	43	311	9.0	15.0
3	张琛雨	西北工业大学计算机学院	1	9	1.0	1.0