模型转化论文

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