Widening the Schedulability Hierarchical Scheduling Systems

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Standard

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.

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Harvard

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

APA

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, DOI: 10.1007/978-3-319-15317-9_14

CBE

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

MLA

Boudjadar, Jalil o.a.. "Widening the Schedulability Hierarchical Scheduling Systems". og Lanese, Ivan Madelaine, Eric (redaktører). 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; Journal nr. 8997). 2015. 209-227. Tilgængelig: 10.1007/978-3-319-15317-9_14

Vancouver

Boudjadar J, David A, Kim JH, Larsen KG, Mikučionis M, Nyman U o.a. 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). Tilgængelig fra, DOI: 10.1007/978-3-319-15317-9_14

Author

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

Bibtex

@inbook{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",
isbn = "978-3-319-15316-2",
pages = "209--227",
editor = "Ivan Lanese and Eric Madelaine",
booktitle = "Formal Aspects of Component Software",
publisher = "Springer",
address = "Germany",

}

RIS

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

SP - 209

EP - 227

BT - Formal Aspects of Component Software

PB - Springer

ER -

ID: 228566035