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