10.3969/j.issn.1001-506X.2017.04.35
基于AADL体系结构模型的构件系统可靠性评估
为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language, AADL)进行系统的建模.提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估.最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持.
体系结构分析与设计语言、可靠性模型、系统体系结构广义随机Petri网、可靠性评估
39
TB114.3(工程基础科学)
国家自然科学基金60831001;国防基金9140A31010109HK0101资助课题
2017-05-16(万方平台首次上网日期,不代表论文的发表时间)
共6页
947-952