基于AADL模型的系统安全性分析方法研究与实践

针对航空机载复杂安全关键系统的安全性分析问题,提出一种基于AADL(架构分析和设计语言)系统模型及EMV2(错误模型附件)故障模型的安全性分析方法 ,在某项目中进行了方法落地实践。首先,构建系统各层级的AADL架构模型,然后,依据ARP4761标准在架构模型的基础上构建EMV2故障模型,最后,基于故障模型在分析工具中自动生成安全性分析结果。这种方法有效地保证了系统设计与安全性分析的一致性,分析结果的准确性和完整性,并且该方法遍历了系统中各基本组件/功能的故障模式相关的所有可能的故障影响及传播路径,可有效地提高系统设计的安全性和质量。