采用AADL的软件系统可靠性建模与评估方法

作者：高金梁; 张刚; 经小川; 陈星; 张辉

来源：计算机科学与探索, 2011, (10): 942-952.

• 结构分析与设计语言(AADL)
• 错误模型附件(EMA)
• 广义随机Petri网(GSPN)
• 转换规则
• 可靠性
• 模型改进

结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。