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

AADL模型到广义随机Petri网的转换工具  汤玥，苏威，李蜀瑜  （陕西师范大学计算机科学学院，陕西西安710119）  摘要：为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估，实现AADL模型到广义随机Petri网模型（GSPN）可靠性计算模型的自动转换，依据AADL模型到GSPN模型的转换规则，设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明：该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。  关键词 ：体系结构设计和分析语言；可靠性模型；广义随机Petri网；模型转换工具  中图分类号：TN911-34；TP311 文献标识码：A 文章编号：1004-373X（2015）12-0062-04  收稿日期：2014-12-15  基金项目：国家自然科学基金资助项目（41271387）  0 引言  近年来，嵌入式系统一直在不断的发展，嵌入式系统的结构也变得越来越丰富和复杂，规模日益变大，嵌入式系统的开发周期、非功能性属性（可靠性、可调度性、安全性）及开发成本的