Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

Jalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim Guldstrand Larsen; Ulrik Nyman; Arne Skou; Marius Mikučionis

doi:10.1109/TASE.2014.27

Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman, Arne Skou, Marius Mikučionis

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

10 Citations (Scopus)

530 Downloads (Pure)

Abstract

We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.

Original language	English
Title of host publication	Theoretical Aspects of Software Engineering Conference (TASE), 2014
Number of pages	5
Publisher	IEEE Computer Society Press
Publication date	1 Sept 2014
Pages	126-130
ISBN (Electronic)	978-1-4799-5029-4/14
DOIs	https://doi.org/10.1109/TASE.2014.27
Publication status	Published - 1 Sept 2014
Event	The 8th International Symposium on Theoretical Aspects of Software Engineering - Changsha, China Duration: 1 Sept 2014 → 3 Sept 2014 Conference number: 8th

Conference

Conference	The 8th International Symposium on Theoretical Aspects of Software Engineering
Number	8th
Country/Territory	China
City	Changsha
Period	01/09/2014 → 03/09/2014

Series	TASE

Keywords

degree of schedulability
mixed criticality
probabilistic sporadic tasks
scheduling systems
formal verification
quality of service
real-time systems
statistical distributions
DoQoS
PoMD
Uppaal SMC
degradation of quality of service
analytical models

Access to Document

10.1109/TASE.2014.27

ownTASE2014Accepted author manuscript, 886 KB

AUB Link

Search for the material in Aalborg University Library's search engine

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
Artemis JU
01/06/2012 → 30/09/2015
Project: Research
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
Artemis JU
01/11/2011 → 31/10/2014
Project: Research

Cite this

@inproceedings{b3e7746435ba4002959700a8e545f375,

title = "Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks",

abstract = "We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.",

keywords = "degree of schedulability, mixed criticality, probabilistic sporadic tasks, scheduling systems, formal verification, quality of service, real-time systems, statistical distributions, DoQoS, PoMD, Uppaal SMC, degradation of quality of service, analytical models",

author = "Jalil Boudjadar and Alexandre David and Kim, {Jin Hyun} and Larsen, {Kim Guldstrand} and Ulrik Nyman and Arne Skou and Marius Miku{\v c}ionis",

year = "2014",

month = sep,

day = "1",

doi = "10.1109/TASE.2014.27",

language = "English",

series = "TASE",

publisher = "IEEE Computer Society Press",

pages = "126--130",

booktitle = "Theoretical Aspects of Software Engineering Conference (TASE), 2014",

address = "United States",

note = "The 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014 ; Conference date: 01-09-2014 Through 03-09-2014",

}

Boudjadar, J, David, A, Kim, JH, Larsen, KG , Nyman, U , Skou, A & Mikučionis, M 2014, Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. in Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, TASE, pp. 126-130, The 8th International Symposium on Theoretical Aspects of Software Engineering, Changsha, China, 01/09/2014. https://doi.org/10.1109/TASE.2014.27

Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun et al.
Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, 2014. p. 126-130 (TASE).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

AU - Boudjadar, Jalil

AU - David, Alexandre

AU - Kim, Jin Hyun

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik

AU - Skou, Arne

AU - Mikučionis, Marius

N1 - Conference code: 8th

PY - 2014/9/1

Y1 - 2014/9/1

N2 - We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.

AB - We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.

KW - degree of schedulability

KW - mixed criticality

KW - probabilistic sporadic tasks

KW - scheduling systems

KW - formal verification

KW - quality of service

KW - real-time systems

KW - statistical distributions

KW - DoQoS

KW - PoMD

KW - Uppaal SMC

KW - degradation of quality of service

KW - analytical models

U2 - 10.1109/TASE.2014.27

DO - 10.1109/TASE.2014.27

M3 - Article in proceeding

T3 - TASE

SP - 126

EP - 130

BT - Theoretical Aspects of Software Engineering Conference (TASE), 2014

PB - IEEE Computer Society Press

T2 - The 8th International Symposium on Theoretical Aspects of Software Engineering

Y2 - 1 September 2014 through 3 September 2014

ER -

Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Projects

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this