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

Reliability assessment method for component system based on AADL architecture model

作　　者：凌冬怡 王世海[1] 刘斌[1] 

机构地区：[1]北京航空航天大学可靠性与系统工程学院,北京100191

出　　处：《系统工程与电子技术》2017年第4期947-952,共6页Systems Engineering and Electronics

摘　　要：为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持。In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language （AADL） system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net （SAGSPN） model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.

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

分 类 号：TB114.3[理学—概率论与数理统计]