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.
