本文介绍一种较新的安全完整性等级(SIL)分配方法,该方法利用一种自动化的安全分析工具——HiP-HOPS(HierarchicallyPerf ormedHaz......

针对综合模块化航电系统(Integrated Modular Avionics,IMA)高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方......