D-scheduler:A scheduler in time-triggered distributed system through decoupling dependencies between tasks and messages  

作　　者：YANG TingTing ZHANG YuQi YUE FengLai WUNIRI QiQiGe TONG Chao 

机构地区：[1]School of Computer Science&Engineering,Beihang University,Beijing 100191,China [2]State Key Laboratory of Virtual Reality Technology and Systems,Beihang University,Beijing 100191,China [3]National Innovation Center of Intelligent and Connected Vehicles,Beijing 100176,China

出　　处：《Science China(Technological Sciences)》2024年第1期183-196,共14页中国科学（技术科学英文版）

基　　金：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);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 Practice;Capital 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.

关 键 词：time-triggered architecture time-triggered scheduling communication affinity parameter task-message decoupling model 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]