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

作     者：汤玥 苏威 李蜀瑜 TANG Yue;SU Wei;LI Shu-yu

作者机构：陕西师范大学计算机科学学院陕西西安710119 

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

出 版 物：《现代电子技术》 (Modern Electronics Technique)

年 卷 期：2015年第38卷第12期

页      码：62-65页

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

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

学科分类：11[军事学] 0810[工学-土木类] 1105[1105] 08[工学] 0835[0835] 081002[081002] 110503[110503] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16652/j.issn.1004-373x.2015.12.033

馆 藏 号：203896136...