An efficient schedulability analysis based on worst-case interference time for real-time systems  

作　　者：Hongbiao LIU Mengfei YANG Lei QIAO Xi CHEN Jian GONG 

机构地区：[1]School of Computer Science and Technology,Xidian University,Xi’an 710071,China [2]China Academy of Space Technology,Beijing 100190,China [3]Beijing Institute of Control Engineering,Beijing 100080,China

出　　处：《Science China(Information Sciences)》2024年第9期84-100,共17页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China(Grant Nos.62032004,61802017,61632005)。

摘　　要：Real-time systems are widely implemented in the Internet of Things(IoT)and safety-critical systems,both of which have generated enormous social value.Aiming at the classic schedulability analysis problem in real-time systems,we proposed an exact Boolean analysis based on interference(EBAI)for schedulability analysis in real-time systems.EBAI is based on worst-case interference time(WCIT),which considers both the release jitter and blocking time of the task.We improved the efficiency of the three existing tests and provided a comprehensive summary of related research results in the field.Abundant experiments were conducted to compare EBAI with other related results.Our evaluation showed that in certain cases,the runtime gain achieved using our analysis method may exceed 73% compared to the stateof-the-art schedulability test.Furthermore,the benefits obtained from our tests grew with the number of tasks,reaching a level suitable for practical application.EBAI is oriented to the five-tuple real-time task model with stronger expression ability and possesses a low runtime overhead.These characteristics make it applicable in various real-time systems such as spacecraft,autonomous vehicles,industrial robots,and traffic command systems.

关 键 词：five-tuple real-time task model real-time system spacecraft Internet of Things exact schedulability analysis worst-case interference time 

分 类 号：TN929.5[电子电信—通信与信息系统] TP393[电子电信—信息与通信工程]