论文部分内容阅读
结构分析与设计语言（architectureanalysisanddesignlanguage，AADL）是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题，给出了一个基于AADL的软件系统可靠性建模与评估框架：首先建立AADL可靠性模型，然后将其转换为广义随机Petri网（generalizedstochasticPetrinet，GSPN）模型后再进行分析，最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础