Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Publication: Research - peer-reviewArticle in proceeding

Standard

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 (Lecture Notes in Computer Science).

Publication: Research - peer-reviewArticle in proceeding

Harvard

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, pp. 61-78. Lecture Notes in Computer Science, DOI: 10.1007/978-3-319-07602-7_6

APA

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

CBE

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. Fiadeiro JL, Liu Z, Xue J, editors. In Proceedings of Formal Aspects of Component Software (FACS), 2013. Springer Publishing Company. pp. 61-78. (Lecture Notes in Computer Science). Available from: 10.1007/978-3-319-07602-7_6

MLA

Boudjadar, Jalil et al. "Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal"., Fiadeiro, José Luiz Liu, Zhiming Xue, Jinyun (ed.). Proceedings of Formal Aspects of Component Software (FACS), 2013. Springer Publishing Company. 2014. 61-78. (Lecture Notes in Computer Science). Available: 10.1007/978-3-319-07602-7_6

Vancouver

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). Available from, DOI: 10.1007/978-3-319-07602-7_6

Author

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. ed. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Vol. 8348 Springer Publishing Company, 2014. p. 61-78 6 (Lecture Notes in Computer Science).

Publication: Research - peer-reviewArticle in proceeding

Bibtex

@inbook{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",
doi = "10.1007/978-3-319-07602-7_6",
isbn = "978-3-319-07601-0",
volume = "8348",
pages = "61--78",
editor = "Fiadeiro, {José Luiz} and Zhiming Liu and Jinyun Xue",
booktitle = "Proceedings of Formal Aspects of Component Software (FACS), 2013",
publisher = "Springer Publishing Company",
address = "United States",

}

RIS

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

PB - Springer Publishing Company

ER -

ID: 209588957