Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Dorin Maxim, Robert Ian Davis, Liliana Cucu-Grosjean, Arvind Easwaran

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings Workshop on Mixed Criticality systems (WMC) 2016
Number of pages6
Publication statusPublished - Dec 2016


  • real-time
  • probabilistic
  • mixed criticality
  • AMC
  • SMC
  • fixed priority

Cite this