Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time ...Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time synchronization and information coordination in DIMA systems.However,inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism.To ensure such time determinism and achieve guaranteed real-time performance,system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain.This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication,and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes.Furthermore,incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost.To control such cost,this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible.Finally,two typical cases,including a simple fully connected DIMA system case and an industrial DIMA system case,are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.展开更多
航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)技术基于IEEE802.3以太网和TCP/IP通用原理,对于商用货架(COTS)网络化技术如何应用于未来飞机数据网络给出了定义[1],已经成为了一种新的航空电子数据网络标...航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)技术基于IEEE802.3以太网和TCP/IP通用原理,对于商用货架(COTS)网络化技术如何应用于未来飞机数据网络给出了定义[1],已经成为了一种新的航空电子数据网络标准。由于AFDX协议以及航空总线布局的复杂性,采用网络仿真技术可以大大缩短网络建设周期,减小网络建设的投资风险。为了模拟AFDX的网络性能,尤其是其在数据通信方面的高可靠性和高实时性,根据AFDX协议及其传输和交换原理,建立了基于高级仿真体系结构(HLA)的AFDX分布式仿真体系,并对各子系统的构成以及仿真执行流程进行了研究。通过对仿真结果的分析,验证了仿真模型的正确性,并表明仿真设计满足系统性能要求。展开更多
基金co-supported by the National Natural Science Foundation of China(No.71701020)the Defense Research Field Foundation of China(No.61403120404)the Civil Aircraft Airworthiness and Maintenance Key Laboratory Fund of Civil Aviation University of China(No.2017SW02).
文摘Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time synchronization and information coordination in DIMA systems.However,inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism.To ensure such time determinism and achieve guaranteed real-time performance,system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain.This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication,and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes.Furthermore,incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost.To control such cost,this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible.Finally,two typical cases,including a simple fully connected DIMA system case and an industrial DIMA system case,are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.
文摘航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)技术基于IEEE802.3以太网和TCP/IP通用原理,对于商用货架(COTS)网络化技术如何应用于未来飞机数据网络给出了定义[1],已经成为了一种新的航空电子数据网络标准。由于AFDX协议以及航空总线布局的复杂性,采用网络仿真技术可以大大缩短网络建设周期,减小网络建设的投资风险。为了模拟AFDX的网络性能,尤其是其在数据通信方面的高可靠性和高实时性,根据AFDX协议及其传输和交换原理,建立了基于高级仿真体系结构(HLA)的AFDX分布式仿真体系,并对各子系统的构成以及仿真执行流程进行了研究。通过对仿真结果的分析,验证了仿真模型的正确性,并表明仿真设计满足系统性能要求。
