Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

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

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	Proceedings Workshop on Mixed Criticality systems (WMC) 2016
Number of pages	6
Publication status	Published - Dec 2016

Keywords

real-time
probabilistic
mixed criticality
AMC
SMC
fixed priority

Access to Document

WMC2016pAMC
Workshop paper, authos retain copyright
Licence: Unspecified

Cite this

@inproceedings{339d7b58b32445868b58528e80d61cb5,

title = "Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC",

abstract = "This paper introduces probabilistic analysis forfixed priority preemptive scheduling of mixed criticality systemson a uniprocessor using the Adaptive Mixed Criticality (AMC)and Static Mixed Criticality (SMC) schemes. We compare thisanalysis to the equivalent deterministic methods, highlightingthe performance gains that can be obtained by utilising moredetailed information about worst-case execution time estimatesdescribed in terms of probability distributions.",

keywords = "real-time, probabilistic, mixed criticality, AMC, SMC, fixed priority",

author = "Dorin Maxim and Davis, {Robert Ian} and Liliana Cucu-Grosjean and Arvind Easwaran",

year = "2016",

month = dec,

language = "English",

booktitle = "Proceedings Workshop on Mixed Criticality systems (WMC) 2016",

}

TY - GEN

T1 - Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

AU - Maxim, Dorin

AU - Davis, Robert Ian

AU - Cucu-Grosjean, Liliana

AU - Easwaran, Arvind

PY - 2016/12

Y1 - 2016/12

N2 - This paper introduces probabilistic analysis forfixed priority preemptive scheduling of mixed criticality systemson a uniprocessor using the Adaptive Mixed Criticality (AMC)and Static Mixed Criticality (SMC) schemes. We compare thisanalysis to the equivalent deterministic methods, highlightingthe performance gains that can be obtained by utilising moredetailed information about worst-case execution time estimatesdescribed in terms of probability distributions.

AB - This paper introduces probabilistic analysis forfixed priority preemptive scheduling of mixed criticality systemson a uniprocessor using the Adaptive Mixed Criticality (AMC)and Static Mixed Criticality (SMC) schemes. We compare thisanalysis to the equivalent deterministic methods, highlightingthe performance gains that can be obtained by utilising moredetailed information about worst-case execution time estimatesdescribed in terms of probability distributions.

KW - real-time

KW - probabilistic

KW - mixed criticality

KW - AMC

KW - SMC

KW - fixed priority

UR - https://www-users.cs.york.ac.uk/~robdavis/

M3 - Conference contribution

BT - Proceedings Workshop on Mixed Criticality systems (WMC) 2016

ER -

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Abstract

Keywords

Access to Document

Other files and links

Mixed Criticality Cyber- Physical Systems

Cite this

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Abstract

Keywords

Access to Document

Other files and links

Projects

Mixed Criticality Cyber- Physical Systems

Cite this