为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分......

随着处理器和机载嵌入式实时分区操作系统等相关技术的不断升级换代,IMA系统功能的集成度也越来越高,高集成度增加了系统资源分配......

近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统......