Widening the Schedulability Hierarchical Scheduling Systems

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

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
152 Downloads (Pure)

Resumé

This paper presents a compositional approach for schedula-
bility analysis of hierarchical systems, which enables to prove more sys-
tems schedulable by having richer and more detailed scheduling models.
We use a lightweight method (statistical model checking) for design ex-
ploration, easily assuring high confidence in the correctness of the model.
A satisfactory design can be proved schedulable using the computation
costly method (symbolic model checking). In order to analyze a hierar-
chical scheduling system compositionally, we introduce the notion of a
stochastic supplier modeling the supply of resources in each component.
We specifically investigate two different techniques to widen the set of
provably schedulable systems: 1) a new supplier model; 2) restricting the
potential task offsets. We also provide a way to estimate the minimum
resource supply (budget) that a component is required to provide
OriginalsprogEngelsk
TitelFormal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
RedaktørerIvan Lanese, Eric Madelaine
Antal sider18
ForlagSpringer
Publikationsdato2015
Sider209-227
ISBN (Trykt)978-3-319-15316-2
ISBN (Elektronisk)978-3-319-15317-9
DOI
StatusUdgivet - 2015
BegivenhedThe 11th International Symposium on Formal Aspects of Component Software - http://www.ceub.it/, Bertinoro, Italien
Varighed: 10 sep. 201412 sep. 2014
Konferencens nummer: 11

Konference

KonferenceThe 11th International Symposium on Formal Aspects of Component Software
Nummer11
Lokationhttp://www.ceub.it/
LandItalien
ByBertinoro
Periode10/09/201412/09/2014
NavnLecture Notes in Computer Science
Nummer8997
ISSN0302-9743

Fingerprint

Scheduling
Model checking
Hierarchical systems
Statistical Models

Citer dette

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U., & Skou, A. (2015). Widening the Schedulability Hierarchical Scheduling Systems. I I. Lanese, & E. Madelaine (red.), Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (s. 209-227). Springer. Lecture Notes in Computer Science, Nr. 8997 https://doi.org/10.1007/978-3-319-15317-9_14
Boudjadar, Jalil ; David, Alexandre ; Kim, Jin Hyun ; Larsen, Kim Guldstrand ; Mikučionis, Marius ; Nyman, Ulrik ; Skou, Arne. / Widening the Schedulability Hierarchical Scheduling Systems. Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. red. / Ivan Lanese ; Eric Madelaine. Springer, 2015. s. 209-227 (Lecture Notes in Computer Science; Nr. 8997).
@inproceedings{5f60f5e4e0954474aa532c5fd0e3c3a2,
title = "Widening the Schedulability Hierarchical Scheduling Systems",
abstract = "This paper presents a compositional approach for schedula-bility analysis of hierarchical systems, which enables to prove more sys-tems schedulable by having richer and more detailed scheduling models.We use a lightweight method (statistical model checking) for design ex-ploration, easily assuring high confidence in the correctness of the model.A satisfactory design can be proved schedulable using the computationcostly method (symbolic model checking). In order to analyze a hierar-chical scheduling system compositionally, we introduce the notion of astochastic supplier modeling the supply of resources in each component.We specifically investigate two different techniques to widen the set ofprovably schedulable systems: 1) a new supplier model; 2) restricting thepotential task offsets. We also provide a way to estimate the minimumresource supply (budget) that a component is required to provide",
author = "Jalil Boudjadar and Alexandre David and Kim, {Jin Hyun} and Larsen, {Kim Guldstrand} and Marius Mikučionis and Ulrik Nyman and Arne Skou",
year = "2015",
doi = "10.1007/978-3-319-15317-9_14",
language = "English",
isbn = "978-3-319-15316-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "8997",
pages = "209--227",
editor = "Ivan Lanese and Eric Madelaine",
booktitle = "Formal Aspects of Component Software",
address = "Germany",

}

Boudjadar, J, David, A, Kim, JH, Larsen, KG, Mikučionis, M, Nyman, U & Skou, A 2015, Widening the Schedulability Hierarchical Scheduling Systems. i I Lanese & E Madelaine (red), Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Springer, Lecture Notes in Computer Science, nr. 8997, s. 209-227, Bertinoro, Italien, 10/09/2014. https://doi.org/10.1007/978-3-319-15317-9_14

Widening the Schedulability Hierarchical Scheduling Systems. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. red. / Ivan Lanese; Eric Madelaine. Springer, 2015. s. 209-227 (Lecture Notes in Computer Science; Nr. 8997).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Widening the Schedulability Hierarchical Scheduling Systems

AU - Boudjadar, Jalil

AU - David, Alexandre

AU - Kim, Jin Hyun

AU - Larsen, Kim Guldstrand

AU - Mikučionis, Marius

AU - Nyman, Ulrik

AU - Skou, Arne

PY - 2015

Y1 - 2015

N2 - This paper presents a compositional approach for schedula-bility analysis of hierarchical systems, which enables to prove more sys-tems schedulable by having richer and more detailed scheduling models.We use a lightweight method (statistical model checking) for design ex-ploration, easily assuring high confidence in the correctness of the model.A satisfactory design can be proved schedulable using the computationcostly method (symbolic model checking). In order to analyze a hierar-chical scheduling system compositionally, we introduce the notion of astochastic supplier modeling the supply of resources in each component.We specifically investigate two different techniques to widen the set ofprovably schedulable systems: 1) a new supplier model; 2) restricting thepotential task offsets. We also provide a way to estimate the minimumresource supply (budget) that a component is required to provide

AB - This paper presents a compositional approach for schedula-bility analysis of hierarchical systems, which enables to prove more sys-tems schedulable by having richer and more detailed scheduling models.We use a lightweight method (statistical model checking) for design ex-ploration, easily assuring high confidence in the correctness of the model.A satisfactory design can be proved schedulable using the computationcostly method (symbolic model checking). In order to analyze a hierar-chical scheduling system compositionally, we introduce the notion of astochastic supplier modeling the supply of resources in each component.We specifically investigate two different techniques to widen the set ofprovably schedulable systems: 1) a new supplier model; 2) restricting thepotential task offsets. We also provide a way to estimate the minimumresource supply (budget) that a component is required to provide

UR - http://facs2014.cs.unibo.it/index.html

U2 - 10.1007/978-3-319-15317-9_14

DO - 10.1007/978-3-319-15317-9_14

M3 - Article in proceeding

SN - 978-3-319-15316-2

T3 - Lecture Notes in Computer Science

SP - 209

EP - 227

BT - Formal Aspects of Component Software

A2 - Lanese, Ivan

A2 - Madelaine, Eric

PB - Springer

ER -

Boudjadar J, David A, Kim JH, Larsen KG, Mikučionis M, Nyman U et al. Widening the Schedulability Hierarchical Scheduling Systems. I Lanese I, Madelaine E, red., Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Springer. 2015. s. 209-227. (Lecture Notes in Computer Science; Nr. 8997). https://doi.org/10.1007/978-3-319-15317-9_14