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

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

17 Citations (Scopus)

557 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of Formal Aspects of Component Software (FACS), 2013
Editors	José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Number of pages	18
Volume	8348
Publisher	Springer Publishing Company
Publication date	13 Jun 2014
Pages	61-78
Article number	6
ISBN (Print)	978-3-319-07601-0
ISBN (Electronic)	978-3-319-07602-7
DOIs	https://doi.org/10.1007/978-3-319-07602-7_6
Publication status	Published - 13 Jun 2014
Event	The 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, China Duration: 28 Oct 2013 → 30 Oct 2013 Conference number: 10

Conference

Conference	The 10th International Symposium on Formal Aspects of Component Software
Number	10
Location	Jiangxi Normal University, Nanchang, China
Country/Territory	China
City	Nanchang
Period	28/10/2013 → 30/10/2013

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Access to Document

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

BoudjadarFACS2013Accepted author manuscript, 3.06 MB

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

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

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. In J. L. Fiadeiro, Z. Liu, & J. Xue (Eds.), Proceedings of Formal Aspects of Component Software (FACS), 2013 (Vol. 8348, pp. 61-78). [6] Springer Publishing Company. Lecture Notes in Computer Science 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. in JL Fiadeiro, Z Liu & J Xue (eds), Proceedings of Formal Aspects of Component Software (FACS), 2013. vol. 8348, 6, Springer Publishing Company, Lecture Notes in Computer Science, pp. 61-78, The 10th International Symposium on Formal Aspects of Component Software, Nanchang, China, 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. ed. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Vol. 8348 Springer Publishing Company, 2014. p. 61-78 6 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. In Fiadeiro JL, Liu Z, Xue J, editors, Proceedings of Formal Aspects of Component Software (FACS), 2013. Vol. 8348. Springer Publishing Company. 2014. p. 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

Conference

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