基于AADL体系结构模型的构件系统可靠性评估

作     者：凌冬怡 王世海 刘斌 LING Dongyi;WANG Shihai;LIU Bin

作者机构：北京航空航天大学可靠性与系统工程学院北京100191 

基　　金：国家自然科学基金(60831001) 国防基金(9140A31010109HK0101)资助课题 

出 版 物：《系统工程与电子技术》 (Systems Engineering and Electronics)

年 卷 期：2017年第39卷第4期

页      码：947-952页

摘      要：为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持。

主 题 词：体系结构分析与设计语言 可靠性模型 系统体系结构广义随机Petri网 可靠性评估 

学科分类：07[理学] 070104[070104] 0701[理学-数学类] 

核心收录：

D　O　I：10.3969/j.issn.1001-506X.2017.04.35

馆 藏 号：203218530...