Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling

Dorin Maxim, Robert I. Davis, Liliana Cucu-Grosjean, Arvind Easwaran

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

22 Citations (Scopus)

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 existing 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. Besides improvements in schedulability we also demonstrate significant gains in terms of the budgets that can be allocated to LO-criticality tasks.

Original languageEnglish
Title of host publicationProceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017
PublisherAssociation for Computing Machinery
Pages237-246
Number of pages10
ISBN (Electronic)9781450352864
DOIs
Publication statusPublished - Oct 4 2017
Externally publishedYes
Event25th International Conference on Real-Time Networks and Systems, RTNS 2017 - Grenoble, France
Duration: Oct 4 2017Oct 6 2017

Publication series

NameACM International Conference Proceeding Series
VolumePart F131837

Conference

Conference25th International Conference on Real-Time Networks and Systems, RTNS 2017
Country/TerritoryFrance
CityGrenoble
Period10/4/1710/6/17

Bibliographical note

Publisher Copyright:
© 2017 ACM.

ASJC Scopus Subject Areas

  • Software
  • Human-Computer Interaction
  • Computer Vision and Pattern Recognition
  • Computer Networks and Communications

Keywords

  • Fixed priority
  • Mixed criticality
  • Probabilities
  • Real-Time systems
  • Schedulability analysis

Fingerprint

Dive into the research topics of 'Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling'. Together they form a unique fingerprint.

Cite this