作者：凌冬怡; 王世海; 刘斌体系结构分析与设计语言可靠性模型系统体系结构广义随机petri网可靠性评估
摘要：为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估，对复杂嵌入式系统利用体系结构分析与设计语言（architecture analysis and design language, AADL）进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法，设计出一套转换规则，对AADL体系结构模型的软硬件构件进行模型转换，实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网（system architecture generalstochastic Petri net, SAGSPN）的转换，并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估，验证了方法的有效性，证明该方法对航电系统的体系结构设计提供了支持。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
