AADL模型到广义随机Petri网的转换工具

摘要：

为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估，实现AADL模型到广义随机Petri网模型（GSPN）可靠性计算模型的自动转换，依据AADL模型到GSPN模型的转换规则，设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明：该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。

关键词：体系结构设计和分析语言、可靠性模型、广义随机Petri网、模型转换工具

分类号：TN911-34;TP311

资助基金：国家自然科学基金资助项目41271387

在线出版日期：2015-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：62-65