The Community for Technology Leaders
24th Euromicro Conference on Real-Time Systems (ECRTS 2012) (2012)
July 11, 2012 to July 13, 2012
ISSN: 1068-3070
ISBN: 978-1-4673-2032-0
pp: 145-154
Systems in many safety-critical application domains are subject to certification requirements. For any given system, however, it may be the case that only a subset of its functionality is safety-critical and hence subject to certification, the rest of the functionality is non safety critical and does not need to be certified, or is certified to a lower level of assurance. An algorithm called EDF-VD (for Earliest Deadline First with Virtual Deadlines) is described for the scheduling of such mixed-criticality task systems. Analyses of EDF-VD significantly superior to previously-known ones are presented, based on metrics such as processor speedup factor (EDF-VD is proved to be optimal with respect to this metric) and utilization bounds.
certification, processor scheduling, safety-critical software

S. Baruah et al., "The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems," 2012 24th Euromicro Conference on Real-Time Systems(ECRTS), Pisa, Italy Italy, 2012, pp. 145-154.
96 ms
(Ver 3.3 (11022016))