时间触发航电系统架构的建模及调度方法

为建立时间触发航空电子系统架构中分区调度处理与时间触发通信的匹配关系,提出网络分区化概念,设计系统时序匹配机制,借助体系结构分析与设计语言形成架构模型的形式化描述;基于此,提出由端系统时刻调度算法和交换机时刻调度算法构成的系统联合调度算法,实现分区轮转调度和网络通信调度的匹配调度设计;通过包含4个综合模块化处理区域和两个骨干交换机的实例对模型和算法进行分析,验证了架构模型的可行性和调度算法的有效性。