Skip to Main content Skip to Navigation
Conference papers

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Dorin Maxim 1, * Robert Davis 2, 3 Liliana Cucu-Grosjean 3 Arvind Easwaran 4
* Corresponding author
1 MADYNES - Management of dynamic networks and services
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
3 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Dorin Maxim <>
Submitted on : Wednesday, December 14, 2016 - 12:51:23 PM
Last modification on : Thursday, March 5, 2020 - 12:20:50 PM
Document(s) archivé(s) le : Wednesday, March 15, 2017 - 1:02:58 PM


WMC_2016_paper_5 (2).pdf
Files produced by the author(s)


  • HAL Id : hal-01416310, version 1


Dorin Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC. WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal. ⟨hal-01416310⟩



Record views


Files downloads