Widening the Schedulability Hierarchical Scheduling Systems

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

doi:10.1007/978-3-319-15317-9_14

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

11 Citationer (Scopus)

359 Downloads (Pure)

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 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

Originalsprog	Engelsk
Titel	Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Redaktører	Ivan Lanese, Eric Madelaine
Antal sider	18
Forlag	Springer
Publikationsdato	2015
Sider	209-227
ISBN (Trykt)	978-3-319-15316-2
ISBN (Elektronisk)	978-3-319-15317-9
DOI	https://doi.org/10.1007/978-3-319-15317-9_14
Status	Udgivet - 2015
Begivenhed	The 11th International Symposium on Formal Aspects of Component Software - http://www.ceub.it/, Bertinoro, Italien Varighed: 10 sep. 2014 → 12 sep. 2014 Konferencens nummer: 11

Konference

Konference	The 11th International Symposium on Formal Aspects of Component Software
Nummer	11
Lokation	http://www.ceub.it/
Land/Område	Italien
By	Bertinoro
Periode	10/09/2014 → 12/09/2014

Navn	Lecture Notes in Computer Science
Nummer	8997
ISSN	0302-9743

Adgang til dokumentet

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

ownFACS2014Accepteret manuskript, 1,63 MB

http://www.springer.com/computer/swe/book/978-3-319-15316-2

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

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

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

Citationsformater

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. https://doi.org/10.1007/978-3-319-15317-9_14

Boudjadar, Jalil ; David, Alexandre ; Kim, Jin Hyun et al. / 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 schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more detailed scheduling models. We use a lightweight method (statistical model checking) for design exploration, 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 hierarchical 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.",

author = "Jalil Boudjadar and Alexandre David and Kim, {Jin Hyun} and Larsen, {Kim Guldstrand} and Marius Miku{\v c}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",

note = "The 11th International Symposium on Formal Aspects of Component Software, FACS 2014 ; Conference date: 10-09-2014 Through 12-09-2014",

}

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, The 11th International Symposium on Formal Aspects of Component Software, 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 et al.
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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

N1 - Conference code: 11

PY - 2015

Y1 - 2015

N2 - This paper presents a compositional approach for schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more detailed scheduling models. We use a lightweight method (statistical model checking) for design exploration, 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 hierarchical 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.

AB - This paper presents a compositional approach for schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more detailed scheduling models. We use a lightweight method (statistical model checking) for design exploration, 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 hierarchical 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.

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

AN - SCOPUS:84922294276

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

T2 - The 11th International Symposium on Formal Aspects of Component Software

Y2 - 10 September 2014 through 12 September 2014

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). doi: 10.1007/978-3-319-15317-9_14

Widening the Schedulability Hierarchical Scheduling Systems

Abstract

Konference

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Projekter

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

MBAT: Model-based Analysis and Testing of Embedded Systems

Citationsformater