航空电子综合化系统分布式交换结构互连研究

本项目研究航空电子综合化网络中的交换结构（switch fabric）互连，提出将它们分布到各个模块，使之具有可扩展的拓扑结构，并利用软件和硬件可编程的计算智能，使它们不再仅有简单的数据转发功能，而是能够与输入输出端口引擎、接入主机的端系统（End System）协调配合，通过交换调度信息，主动识别通信任务实体的被调度模式，为不同网络服务规则下的不同类型的实时通信流量提供交换资源和实时性保证。研究内容包括这种交换结构的拓扑形式与操作方法；它们与网络服务规则的配合方式；信令的语义表达，异质流量特性的标记等。结合航空电子互连的应用背景，拟采用硬件原型仿真和形式化实时行为模型检查的技术手段通过案例研究加以验证。