Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling
P. Graydon and I. Bate
AbstractIn 2007, Vestal proposed Mixed-Criticality Scheduling (MCS) to increase utilisation despite imperfect timing evidence. Others have since refined the MCS problem formulation, proposed alternative scheduling approaches, and evaluated their performance. We assess existing MCS problem formulations from a safety assurance perspective and report problems found. Among these is the use of the word criticality' to mean several related but distinctly different things such as Safety Integrity Levels (SIL), importance, and confidence. We conclude with suggestions for addressing the problems found.
BibTex Entry
@inproceedings{Graydon2013,
author = {P. Graydon and I. Bate},
booktitle = {Proceedings of the Workshop on Mixed-Criticality Systems},
pages = {19-24},
title = {Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling},
year = {2013}
}