AADL模型可靠性分析评估工具

• 作者: 张凡 王广仁 董云卫 高磊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: AADL 可靠性模型 GSPN 可靠性分析与评估 形式化方法
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 形式化方法与工具专刊
• 页码范围: 1252-1266
• 分类号: TP302
• 字数: 9057字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04014

摘要

主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高磊	西北工业大学计算机学院	14	179	8.0	13.0
2	张凡	西北工业大学计算机学院	33	323	9.0	17.0
3	董云卫	西北工业大学计算机学院	43	311	9.0	15.0
4	王广仁	西北工业大学计算机学院	2	53	2.0	2.0