Title :
An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems
Author :
Li, Haohan ; Baruah, Sanjoy
Author_Institution :
Univ. of North Carolina at Chapel Hill, Chapel Hill, NC, USA
fDate :
Nov. 30 2010-Dec. 3 2010
Abstract :
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification, the rest of the functionality is non safety-critical and does not need to be certified. Certification requirements in such "mixed-criticality" systems give rise to some interesting scheduling problems, that cannot be satisfactorily addressed using techniques from conventional scheduling theory. In prior work, we have studied the scheduling and analysis of mixed criticality systems that are specified as finite collections of jobs executing on a single shared preemptive processor. In this paper, we consider mixed criticality systems that are comprised of finite collections of recurrent tasks, specified using a mixed-criticality generalization of the widely-used sporadic tasks model. We design a priority-based algorithm for scheduling such systems, derive an algorithm for computing priorities, and obtain a sufficient schedulability condition for efficiently determining whether a given mixed-criticality system can be successfully scheduled by this algorithm.
Keywords :
embedded systems; safety-critical software; scheduling; analysis; certifiable mixed-criticality sporadic task systems; certification requirements; computing priorities; finite collections; mixed criticality systems; mixed-criticality systems; safety-critical embedded systems; safety-critical system; scheduling problems; scheduling theory; single shared preemptive processor; sufficient schedulability condition; Preemptive uniprocessors; certification; on-line scheduling; sporadic task systems;
Conference_Titel :
Real-Time Systems Symposium (RTSS), 2010 IEEE 31st
Conference_Location :
San Diego, CA
Print_ISBN :
978-0-7695-4298-0
DOI :
10.1109/RTSS.2010.18