AFDX网络中的准时制消息调度方法

【摘要】：航空电子全双工以太网(Avionics Full Duplex Switched Ethernet,AFDX)是近年来新出现的一种航空电子系统总线,它采用了虚拟链路(virtual link,VL)对航空电子子系统或子模块之间的消息通信进行逻辑隔离,并提供实时性能保证。其优点使它有望替代既有的航空电子总线,在新一代大中型飞机上获得实用。目前,它已经作为航空电子综合化网络被应用在了空中客车 A380, A400M 上。准时制(just-in-time,JIT)机制是一种脱胎于日本丰田汽车公司的生产管理系统的控制机制,其重要内容之一是“看板(kanban) 制”。“看板”即带有配件规格和数量信息的卡片,在末端需求的拉动下,载有信息的看板逆着装配顺序传递,相应地物料顺流而下地使每个工位在必要的时间收到所需数量的配件从而实现准时生产。本文探讨了将工业管理和离散事件动态系统(DEDS)领域中的准时制(JIT)控制机制引入航空电子综合化网络的问题。在 AFDX 的数据接口的层次之上,我们设置“推动”和“拉动”相结合的访问机制,这样可以优化非刷新覆盖的消息的综合处理的模式,减少运行时间多路复用排队中缓冲的积压量,进而优化综合化网络的通信任务的管理与配置。本文分别使用 Petri 网和极大代数对种机制进行形式化建模与分析。