文献检索-宁波市创意产业特色资源库

限定检索结果

AADL模型到广义随机Petri网的转换工具: 收藏
分享
引用; 《现代电子技术》2015年第12期38卷 62-65页; 作者：汤玥苏威李蜀瑜陕西师范大学计算机科学学院陕西西安710119; 为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:...; 为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。; 来源：详细信息评论

限定检索结果