时间触发机制可以近一步提高航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)的确定性,保障时间关键消息具有完全的时间确定性.将时间触发机制引入了AFDX网络,设计了时间触发ADFX网络(TTAFDX,Time-Trig-gered...时间触发机制可以近一步提高航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)的确定性,保障时间关键消息具有完全的时间确定性.将时间触发机制引入了AFDX网络,设计了时间触发ADFX网络(TTAFDX,Time-Trig-gered AFDX)的体系结构,包括协议栈、虚拟链路类型、端系统调度、交换机调度、透明通信机制和降级通信机制,并且设计了端系统和交换机的时刻调度算法.对TTAFDX网络从理论和仿真实验两方面进行了分析,验证了TTAFDX网络对时间关键消息的完全时间确定性的保障.展开更多
Time-triggered architecture,as a mainstream design of the distributed real-time system,has been successfully applied in the aerospace,automotive and mechanical industries.However,time-triggered scheduling is a challen...Time-triggered architecture,as a mainstream design of the distributed real-time system,has been successfully applied in the aerospace,automotive and mechanical industries.However,time-triggered scheduling is a challenging NP-hard problem.There are few studies that could quickly solve the scheduling problem of large distributed time-triggered systems.To solve this problem,a communication affinity parameter is defined in this paper to describe the degree of bias of the shaper task towards sending or receiving messages.Based on this,an innovative task-message decoupling model named D-scheduler is built to reduce the computation complexity of the scheduling problem in large-scale systems.Additionally,we provide mathematical proof that our model is a convex optimization that is easy to solve with existing computational tools.Our experiments substantiate the efficacy of the D-scheduler.It dramatically reduces the scheduling complexity of large-scale real-time systems with a small loss of solving space compared to the federal scheduler.展开更多
基金partially supported by the National Natural Science Foundation of China(Grant Nos.62176016 and 72274127)the National Key R&D Program of China(Grant No.2021YFB2104800)+3 种基金Guizhou Province Science and Technology Project:Research and Demonstration of Sci.Tech Big Data Mining Technology Based on Knowledge Graph(supported by Qiankehe[2021]General 382)Teaching Reform Project of Beihang University in 2020:Standardized Teaching and Intelligent Analysis System Construction for Production PracticeCapital Health Development Research Project(Grant No.2022-2-2013)the Young Talent Development Grant of Beijing Economic-Technological Development Area(Grant No.2140030001870)。
文摘Time-triggered architecture,as a mainstream design of the distributed real-time system,has been successfully applied in the aerospace,automotive and mechanical industries.However,time-triggered scheduling is a challenging NP-hard problem.There are few studies that could quickly solve the scheduling problem of large distributed time-triggered systems.To solve this problem,a communication affinity parameter is defined in this paper to describe the degree of bias of the shaper task towards sending or receiving messages.Based on this,an innovative task-message decoupling model named D-scheduler is built to reduce the computation complexity of the scheduling problem in large-scale systems.Additionally,we provide mathematical proof that our model is a convex optimization that is easy to solve with existing computational tools.Our experiments substantiate the efficacy of the D-scheduler.It dramatically reduces the scheduling complexity of large-scale real-time systems with a small loss of solving space compared to the federal scheduler.
