-
题名基于AADL模型的系统安全性分析方法研究与实践
- 1
-
-
作者
葛艳
张丹涛
王勇
武方方
苏媚
李泽林
-
机构
中国航空工业集团公司西安飞行自动控制研究所
-
出处
《航空标准化与质量》
2025年第6期38-42,51,共6页
-
文摘
针对航空机载复杂安全关键系统的安全性分析问题,提出一种基于AADL(架构分析和设计语言)系统模型及EMV2(错误模型附件)故障模型的安全性分析方法 ,在某项目中进行了方法落地实践。首先,构建系统各层级的AADL架构模型,然后,依据ARP4761标准在架构模型的基础上构建EMV2故障模型,最后,基于故障模型在分析工具中自动生成安全性分析结果。这种方法有效地保证了系统设计与安全性分析的一致性,分析结果的准确性和完整性,并且该方法遍历了系统中各基本组件/功能的故障模式相关的所有可能的故障影响及传播路径,可有效地提高系统设计的安全性和质量。
-
关键词
AADL
emv2
基于模型的安全性分析
ARP4761
故障模式
-
分类号
V37
[航空宇航科学与技术—航空宇航推进理论与工程]
-
