The digraph real-time task model
2011 (English)In: 17th Real-Time and Embedded Technology and Applications Symposium, Piscataway, NJ: IEEE Computer Society, 2011, 71-80 p.Conference paper (Refereed)
Models for real-time systems have to balance the inherently contradicting goals of expressiveness and analysis efficiency. Current task models with tractable feasibility tests have limited expressiveness, restricting their ability to model many systems accurately. In particular, they are all recurrent, preventing the modeling of structures like mode switches, local loops, etc.
In this paper, we advance the state-of-the-art with a model that is free from these constraints. Our proposed task model is based on arbitrary directed graphs (digraphs) for job releases. We show that the feasibility problem on preemptive uniprocessors for our model remains tractable. This even holds in the case of task systems with arbitrary deadlines.
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Computer Society, 2011. 71-80 p.
, IEEE Real-Time and Embedded Technology and Application Symposium, ISSN 1080-1812
IdentifiersURN: urn:nbn:se:uu:diva-150567DOI: 10.1109/RTAS.2011.15ISI: 000299168100007ISBN: 978-1-61284-326-1OAI: oai:DiVA.org:uu-150567DiVA: diva2:407711
17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 11-14 2011, Chicago, USA