Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Dorin Maxim 1, * Robert Davis 2, 3 Liliana Cucu-Grosjean 3 Arvind Easwaran 4
* Auteur correspondant
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
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, 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.
Type de document :
Communication dans un congrès
WMC 2016, Nov 2016, Porto, Portugal. 2016, <http://2016.rtss.org/>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01416310
Contributeur : Dorin Maxim <>
Soumis le : mercredi 14 décembre 2016 - 12:51:23
Dernière modification le : samedi 17 décembre 2016 - 01:05:23
Document(s) archivé(s) le : mercredi 15 mars 2017 - 13:02:58

Fichier

WMC_2016_paper_5 (2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01416310, version 1

Collections

Citation

Dorin Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind Easwaran. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC. WMC 2016, Nov 2016, Porto, Portugal. 2016, <http://2016.rtss.org/>. <hal-01416310>

Partager

Métriques

Consultations de
la notice

164

Téléchargements du document

55