综合模块化航电论文

基于体系结构模型的综合化航电分区可调度性验证
论文摘要分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于...
软件定义多平台航空电子网络架构
论文摘要针对当前航空电子网络无法满足复杂战场环境下航空编队协同作战需求的现状,对综合模块化系统航空电子网络与软件定义网络进行介绍,从航空编队协同作战实际应用的角度出发,分析传统...
基于模型检验的分级调度系统参数生成方法
论文摘要针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一...