基于Torus网络拓扑结构分解的时间触发消息调度表生成方法

摘要

本发明公开了一种基于Torus网络拓扑结构分解的时间触发消息调度表生成方法，为解决航空电子系统中TT消息在Torus网络拓扑结构上的调度问题，是以基于可满足性模理论的SMT消息调度模型以及增量化调度方法而设计。本发明方法一方面根据torus拓扑结构特征将网络节点划分为不同区域，再根据每条TT消息的源节点和目的节点所属的区域，将待调度TT消息进行分组，得到消息组TTG；第二方面将消息组TTG按照SMT消息调度模型进行求解，得到可行解或者无解；对于无解，重新定义TT消息传输路径规划方式，重复SMT消息调度模型进行求解。本发明采用增量化调度方法降低了SMT消息调度模型求解的计算复杂度，从而减小了TT消息调度运行时间。