This paper introduces probabilistic analysis for fixed priority preemptive scheduling of mixed criticality systems on a uniprocessor using the Adaptive Mixed Criticality (AMC) and Static Mixed Criticality (SMC) schemes. We compare this analysis to the equivalent deterministic methods, highlighting the performance gains that can be obtained by utilising more detailed information about worst-case execution time estimates described in terms of probability distributions.

BibTex Entry

@inproceedings{Maxim2016,
 author = {D. Maxim and R.I. Davis and L. Cucu-Grosjean and A. Easwaran},
 booktitle = {Proceedings of theWorkshop on Mixed Criticality Systems (WMC)},
 month = {Dec},
 pages = {6},
 title = {Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC},
 year = {2016}
}