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

由于集成模块化航空电子设备逻辑配置和物理配置之间的灵活映射,导致出现故障传播等新的风险类型。针对故障传播问题,提出使用HiP-......

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