Relaxing the Synchronous Approach for Mixed-Criticality Systems
2014 (English)In: Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), IEEE conference proceedings, 2014, 89-100 p.Conference paper (Refereed)
Synchronous languages are widely used to design safety-critical embedded systems. These languages are based on the synchrony hypothesis, asserting that all tasks must complete instantaneously at each logical time step. This assertion is, however, unsuitable for the design of mixed-criticality systems, where some tasks can tolerate missed deadlines. This paper proposes a novel extension to the synchronous approach for supporting three levels of task criticality: life, mission, and non-critical. We achieve this by relaxing the synchrony hypothesis to allow tasks that can tolerate bounded or unbounded deadline misses. We address the issue of task communication between multi-rate, mixed-criticality tasks, and propose a deterministic lossless communication model. To maximize system utilization, we present a hybrid static and dynamic scheduling approach that executes schedulable tasks during slack time. Extensive benchmarking shows that our approach can schedule up to 15% more task sets and achieve an average of 5.38% better system utilization than the Early-Release EDF (ER-EDF) approach. Tasks are scheduled fairer under our approach and achieve consistently higher execution frequencies, but require more preemptions.
Place, publisher, year, edition, pages
IEEE conference proceedings, 2014. 89-100 p.
IdentifiersURN: urn:nbn:se:kth:diva-164164DOI: 10.1109/RTAS.2014.6925993ISBN: 978-1-4799-4691-4OAI: oai:DiVA.org:kth-164164DiVA: diva2:803901
The 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014
QC 201505212015-04-142015-04-142015-05-21Bibliographically approved