一种AADL系统可靠性模型转换方法

一种AADL系统可靠性模型转换方法
高磊;董云卫;张凡;王广仁
【期刊名称】《计算机工程》
【年(卷),期】2011(037)014
【摘要】Based on the old component dependencies, this paper presents an Architecture Analysis and Design Language(AADL) system reliability model transformation method. It expands the dependencies to semantic connection, parameter connection and subcomponent calls and realizes the transformation to General Stochastic Petri Nets(GSPN). Therefore, it makes the model transformation rules from AADL reliability model to GSPN model more maturity and realizes exact and entire evaluation to reliability of embedded system.%在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法.该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换.研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估.
【总页数】6页(P21-26)
【作者】高磊;董云卫;张凡;王广仁
【作者单位】西北工业大学计算机学院,西安,710129;西北工业大学计算机学院,西安,710129;西北工业大学计算机学院,西安,710129;西北工业大学计算机学院,西安,710129
【正文语种】中文
【中图分类】N945
【相关文献】
1.基于构件交互自动机的AADL模型转换方法研究 [J], 李揭阳;李勇;张福高
2.一种AADL故障模型到动态故障树的转换方法 [J], 张晓策;燕雪峰;周勇
3.AADL流模型与实时演算模型的转换方法研究 [J], 唐家强; 王星皓; 安品臣; 胡宾洋
4.一种SysML模型到AADL模型的自动转换方法 [J], 马燕燕; 杨志斌; 江国华
5.面向CPS时空性质验证的混成AADL建模与模型转换方法 [J], 陈小颖;祝义;赵宇;王金永
因版权原因，仅展示原文概要，查看原文内容请购买。