TY - GEN
T1 - Schedulability Analysis of Synchronous Digraph Real-Time Tasks
AU - Mohaqeqi, Morteza
AU - Abdullah, Jakaria
AU - Guan, Nan
AU - Yi, Wang
N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
PY - 2016/8/31
Y1 - 2016/8/31
N2 - Real-time task models have evolved from periodic models to more sophisticated graph-based ones like the Digraph Real Time task model (DRT) to specify branching and loop structures of real-time embedded software. For independent DRT tasks, efficient techniques for schedulability analysis have been developed in previous work. In this paper, we extend the DRT model to specify inter-task synchronization through a rendezvous mechanism. We present an abstraction technique for static priority schedulability analysis of the corresponding tasks. Our experiments show that, despite the high computational complexity of the problem, the proposed technique scales very well for large sets of dependent tasks.
AB - Real-time task models have evolved from periodic models to more sophisticated graph-based ones like the Digraph Real Time task model (DRT) to specify branching and loop structures of real-time embedded software. For independent DRT tasks, efficient techniques for schedulability analysis have been developed in previous work. In this paper, we extend the DRT model to specify inter-task synchronization through a rendezvous mechanism. We present an abstraction technique for static priority schedulability analysis of the corresponding tasks. Our experiments show that, despite the high computational complexity of the problem, the proposed technique scales very well for large sets of dependent tasks.
KW - fixed-priority scheduling
KW - synchronization
KW - the digraph real-time task model
UR - https://www.scopus.com/pages/publications/84989861157
UR - https://www.scopus.com/pages/publications/84989861157#tab=impact
U2 - 10.1109/ECRTS.2016.17
DO - 10.1109/ECRTS.2016.17
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9781509028115
VL - 2016-August
T3 - Proceedings - Euromicro Conference on Real-Time Systems
SP - 176
EP - 186
BT - Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016
PB - IEEE
T2 - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016
Y2 - 5 July 2016 through 8 July 2016
ER -