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

作者：董云卫; 王广仁; 张凡; 高磊

来源：软件学报, 2011, (06): 1252-1266.

• AADL
• 可靠性模型
• GSPN
• 可靠性分析与评估
• 形式化方法 AADL
• reliability model
• GSPN
• reliability analysis and assessment
• formal method

主要针对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 sourc...

• 出版日期2011
• 单位西北工业大学