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

• 作者: 李蜀瑜 汤玥 苏威
• 来源期刊: 现代电子技术
• 关键词: 体系结构设计和分析语言 可靠性模型 广义随机Petri网 模型转换工具
• 年，卷（期）: 2015,（12）
• 所属期刊栏目: 计算机应用技术
• 页码范围: 62-65
• 页数: 4页
• 分类号: TN911-34|TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李蜀瑜	陕西师范大学计算机科学学院	57	229	7.0	11.0
2	汤玥	陕西师范大学计算机科学学院	2	13	2.0	2.0
3	苏威	陕西师范大学计算机科学学院	1	3	1.0	1.0