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 proceedingArticle in proceedingResearchpeer-review

14 Citations (Scopus)
236 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 languageEnglish
Title of host publicationProceedings of Formal Aspects of Component Software (FACS), 2013
EditorsJosé Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Number of pages18
Volume8348
PublisherSpringer Publishing Company
Publication date13 Jun 2014
Pages61-78
Article number6
ISBN (Print)978-3-319-07601-0
ISBN (Electronic)978-3-319-07602-7
DOIs
Publication statusPublished - 13 Jun 2014
EventThe 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, China
Duration: 28 Oct 201330 Oct 2013
Conference number: 10

Conference

ConferenceThe 10th International Symposium on Formal Aspects of Component Software
Number10
LocationJiangxi Normal University, Nanchang, China
CountryChina
CityNanchang
Period28/10/201330/10/2013
SeriesLecture Notes in Computer Science
ISSN0302-9743

Fingerprint

Scheduling
Avionics

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
Boudjadar, Jalil ; David, Alexandre ; Kim, Jin Hyun ; Larsen, Kim Guldstrand ; Mikučionis, Marius ; Nyman, Ulrik ; Skou, Arne. / Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. Proceedings of Formal Aspects of Component Software (FACS), 2013. editor / José Luiz Fiadeiro ; Zhiming Liu ; Jinyun Xue. Vol. 8348 Springer Publishing Company, 2014. pp. 61-78 (Lecture Notes in Computer Science).
@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čionis and Ulrik Nyman and Arne Skou",
year = "2014",
month = "6",
day = "13",
doi = "10.1007/978-3-319-07602-7_6",
language = "English",
isbn = "978-3-319-07601-0",
volume = "8348",
pages = "61--78",
editor = "Fiadeiro, {Jos{\'e} Luiz} and Zhiming Liu and Jinyun Xue",
booktitle = "Proceedings of Formal Aspects of Component Software (FACS), 2013",
publisher = "Springer Publishing Company",
address = "United States",

}

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, 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; Larsen, Kim Guldstrand; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

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.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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

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

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

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). https://doi.org/10.1007/978-3-319-07602-7_6