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

主要针对aadl(architectureanalysisanddesignlanguage)嵌入式系统体系结构进行可靠性建模,实现aadl可靠性模型到广义随机petri网(generalstochasticpetrinet,简称gspn)可靠性计算模型的转换,并基于gspn可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了aadl可靠性评估工具(aadlreliabilityassessmentmodeltool,简称aram),该工具集成在aadl体系结构设计工具osate(theopensourceaadltoolenvironment)中,并内置petri网计算工具pipe2(platformindependentpetrineteditor2),实现基于gspn模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了aram工具的应用情况.