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. © 2012 IEEE.

Baruah, S., Bonifaci, V., D'Angelo, G., Li, H., Marchetti-Spaccamela, A., Van Der Ster, S., et al. (2012). The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In Proc. 24th Euromicro Conference on Real-Time Systems (pp.145-154). Los Alamitos, CA : IEEE COMPUTER SOCIETY [10.1109/ECRTS.2012.42].

The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems

Bonifaci V.;
2012

Abstract

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. © 2012 IEEE.
978-1-4673-2032-0
Baruah, S., Bonifaci, V., D'Angelo, G., Li, H., Marchetti-Spaccamela, A., Van Der Ster, S., et al. (2012). The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In Proc. 24th Euromicro Conference on Real-Time Systems (pp.145-154). Los Alamitos, CA : IEEE COMPUTER SOCIETY [10.1109/ECRTS.2012.42].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11590/381315
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 178
  • ???jsp.display-item.citation.isi??? 110
social impact