Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

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

doi:10.1007/978-3-319-07602-7_6

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

17 Citationer (Scopus)

624 Downloads (Pure)

Abstract

This paper introduces a reconfigurable compositional schedul-
ing framework, in which the hierarchical structure, the scheduling poli-
cies, the concrete task behavior and the shared resources can all be recon-
figured. The behavior of each periodic preemptive task is given as a list of
timed actions, which are some of the inputs for the parameterized timed
automata that make up the framework. Components may have different
scheduling policies, and each component is analyzed independently using
Uppaal. We have applied our framework for the schedulability analysis
of an avionics system.

Originalsprog	Engelsk
Titel	Proceedings of Formal Aspects of Component Software (FACS), 2013
Redaktører	José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Antal sider	18
Vol/bind	8348
Forlag	Springer Publishing Company
Publikationsdato	13 jun. 2014
Sider	61-78
Artikelnummer	6
ISBN (Trykt)	978-3-319-07601-0
ISBN (Elektronisk)	978-3-319-07602-7
DOI	https://doi.org/10.1007/978-3-319-07602-7_6
Status	Udgivet - 13 jun. 2014
Begivenhed	The 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, Kina Varighed: 28 okt. 2013 → 30 okt. 2013 Konferencens nummer: 10

Konference

Konference	The 10th International Symposium on Formal Aspects of Component Software
Nummer	10
Lokation	Jiangxi Normal University, Nanchang, China
Land/Område	Kina
By	Nanchang
Periode	28/10/2013 → 30/10/2013

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-07602-7_6

BoudjadarFACS2013Accepteret manuskript, 3,06 MB

http://link.springer.com/chapter/10.1007%2F978-3-319-07602-7_6

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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
Projekter: Projekt › Forskning
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
Projekter: Projekt › Forskning

Citationsformater

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U., & Skou, A. (2014). Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. I J. L. Fiadeiro, Z. Liu, & J. Xue (red.), Proceedings of Formal Aspects of Component Software (FACS), 2013 (Bind 8348, s. 61-78). Artikel 6 Springer Publishing Company. https://doi.org/10.1007/978-3-319-07602-7_6

@inproceedings{ad622d8d665f4dc5a11ff0d5d93710c3,

title = "Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal",

abstract = "This paper introduces a reconfigurable compositional scheduling framework, in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured. The behavior of each periodic preemptive task is given as a list of timed actions, which are some of the inputs for the parameterized timed automata that make up the framework. Components may have different scheduling policies, and each component is analyzed independently using Uppaal. We have applied our framework for the schedulability analysis of an avionics system.",

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 = "2014",

month = jun,

day = "13",

doi = "10.1007/978-3-319-07602-7_6",

language = "English",

isbn = "978-3-319-07601-0",

volume = "8348",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "61--78",

editor = "Fiadeiro, {Jos{\'e} Luiz} and Zhiming Liu and Jinyun Xue",

booktitle = "Proceedings of Formal Aspects of Component Software (FACS), 2013",

address = "United States",

note = "The 10th International Symposium on Formal Aspects of Component Software ; Conference date: 28-10-2013 Through 30-10-2013",

}

Boudjadar, J, David, A, Kim, JH, Larsen, KG , Mikučionis, M , Nyman, U & Skou, A 2014, Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. i JL Fiadeiro, Z Liu & J Xue (red), Proceedings of Formal Aspects of Component Software (FACS), 2013. bind 8348, 6, Springer Publishing Company, Lecture Notes in Computer Science, s. 61-78, The 10th International Symposium on Formal Aspects of Component Software, Nanchang, Kina, 28/10/2013. https://doi.org/10.1007/978-3-319-07602-7_6

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun et al.
Proceedings of Formal Aspects of Component Software (FACS), 2013. red. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Bind 8348 Springer Publishing Company, 2014. s. 61-78 6 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

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

PY - 2014/6/13

Y1 - 2014/6/13

N2 - This paper introduces a reconfigurable compositional scheduling framework, in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured. The behavior of each periodic preemptive task is given as a list of timed actions, which are some of the inputs for the parameterized timed automata that make up the framework. Components may have different scheduling policies, and each component is analyzed independently using Uppaal. We have applied our framework for the schedulability analysis of an avionics system.

AB - This paper introduces a reconfigurable compositional scheduling framework, in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured. The behavior of each periodic preemptive task is given as a list of timed actions, which are some of the inputs for the parameterized timed automata that make up the framework. Components may have different scheduling policies, and each component is analyzed independently using Uppaal. We have applied our framework for the schedulability analysis of an avionics system.

U2 - 10.1007/978-3-319-07602-7_6

DO - 10.1007/978-3-319-07602-7_6

M3 - Article in proceeding

SN - 978-3-319-07601-0

VL - 8348

T3 - Lecture Notes in Computer Science

SP - 61

EP - 78

BT - Proceedings of Formal Aspects of Component Software (FACS), 2013

A2 - Fiadeiro, José Luiz

A2 - Liu, Zhiming

A2 - Xue, Jinyun

PB - Springer Publishing Company

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

Y2 - 28 October 2013 through 30 October 2013

ER -

Boudjadar J, David A, Kim JH, Larsen KG , Mikučionis M , Nyman U et al. Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. I Fiadeiro JL, Liu Z, Xue J, red., Proceedings of Formal Aspects of Component Software (FACS), 2013. Bind 8348. Springer Publishing Company. 2014. s. 61-78. 6. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-07602-7_6

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

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

MBAT: Model-based Analysis and Testing of Embedded Systems

Citationsformater