Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016 |
Publisher | IEEE |
Pages | 176-186 |
Number of pages | 11 |
Volume | 2016-August |
ISBN (Electronic) | 9781509028115 |
DOIs | |
Publication status | Published - 31 Aug 2016 |
Externally published | Yes |
Event | 28th Euromicro Conference on Real-Time Systems, ECRTS 2016 - Toulouse, France Duration: 5 Jul 2016 → 8 Jul 2016 |
Conference
Conference | 28th Euromicro Conference on Real-Time Systems, ECRTS 2016 |
---|---|
Country/Territory | France |
City | Toulouse |
Period | 5/07/16 → 8/07/16 |
Keywords
- fixed-priority scheduling
- synchronization
- the digraph real-time task model
ASJC Scopus subject areas
- Software
- Hardware and Architecture