综合化模块化航电系统论文

基于AADL和HiP- HOPS的IMA系统安全性分析方法研究
论文摘要针对综合模块化航电系统（IntegratedModularAvionics,IMA）高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方法。采...