Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

51 Downloads (Pure)

Abstract

We present a compositional framework for the
specification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.
Original languageEnglish
Title of host publicationProceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018
Number of pages8
PublisherIEEE
Publication date25 Jul 2018
Pages51-58
Article number8421146
ISBN (Print)9781538658475
DOIs
Publication statusPublished - 25 Jul 2018
Event21st IEEE International Symposium on Real-Time Computing, ISORC 2018 - Singapore, Singapore
Duration: 29 May 201831 May 2018

Conference

Conference21st IEEE International Symposium on Real-Time Computing, ISORC 2018
CountrySingapore
CitySingapore
Period29/05/201831/05/2018
SeriesInternational Symposium on Object-Oriented Real-Time Distributed Computing
ISSN2375-5261

Fingerprint

Scheduling

Keywords

  • Compositional Framework
  • Hierarchical Scheduling Systems
  • Model based schedulability analysis
  • Model Checking
  • Uppaal

Cite this

Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G., & Nyman, U. (2018). Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018 (pp. 51-58). [8421146] IEEE. International Symposium on Object-Oriented Real-Time Distributed Computing https://doi.org/10.1109/ISORC.2018.00015
Boudjadar, Jalil ; Kim, Jin Hyun ; Phan, Linh Thi Xuan ; Lee, Insup ; Larsen, Kim G. ; Nyman, Ulrik. / Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, 2018. pp. 51-58 (International Symposium on Object-Oriented Real-Time Distributed Computing).
@inproceedings{c0251069aac2497db5f44efa2362320e,
title = "Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems",
abstract = "We present a compositional framework for thespecification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.",
keywords = "Compositional Framework, Hierarchical Scheduling Systems, Model based schedulability analysis, Model Checking, Uppaal",
author = "Jalil Boudjadar and Kim, {Jin Hyun} and Phan, {Linh Thi Xuan} and Insup Lee and Larsen, {Kim G.} and Ulrik Nyman",
year = "2018",
month = "7",
day = "25",
doi = "10.1109/ISORC.2018.00015",
language = "English",
isbn = "9781538658475",
series = "International Symposium on Object-Oriented Real-Time Distributed Computing",
pages = "51--58",
booktitle = "Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018",
publisher = "IEEE",
address = "United States",

}

Boudjadar, J, Kim, JH, Phan, LTX, Lee, I, Larsen, KG & Nyman, U 2018, Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. in Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018., 8421146, IEEE, International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 51-58, 21st IEEE International Symposium on Real-Time Computing, ISORC 2018, Singapore, Singapore, 29/05/2018. https://doi.org/10.1109/ISORC.2018.00015

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. / Boudjadar, Jalil; Kim, Jin Hyun; Phan, Linh Thi Xuan; Lee, Insup; Larsen, Kim G.; Nyman, Ulrik.

Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, 2018. p. 51-58 8421146 (International Symposium on Object-Oriented Real-Time Distributed Computing).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

AU - Boudjadar, Jalil

AU - Kim, Jin Hyun

AU - Phan, Linh Thi Xuan

AU - Lee, Insup

AU - Larsen, Kim G.

AU - Nyman, Ulrik

PY - 2018/7/25

Y1 - 2018/7/25

N2 - We present a compositional framework for thespecification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.

AB - We present a compositional framework for thespecification and analysis of hierarchical scheduling systems (HSS). Firstly we provide a generic formal model, which can be used to describe any type of scheduling system. The concept of Job automata is introduced in order to model job instantiation patterns. We model the interaction between different levels in the hierarchy through the use of state-based resource models. Our notion of resource model is general enough to capture multi-core architectures, preemptiveness and non-determinism.

KW - Compositional Framework

KW - Hierarchical Scheduling Systems

KW - Model based schedulability analysis

KW - Model Checking

KW - Uppaal

UR - http://www.scopus.com/inward/record.url?scp=85051504821&partnerID=8YFLogxK

U2 - 10.1109/ISORC.2018.00015

DO - 10.1109/ISORC.2018.00015

M3 - Article in proceeding

AN - SCOPUS:85051504821

SN - 9781538658475

T3 - International Symposium on Object-Oriented Real-Time Distributed Computing

SP - 51

EP - 58

BT - Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018

PB - IEEE

ER -

Boudjadar J, Kim JH, Phan LTX, Lee I, Larsen KG, Nyman U. Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE. 2018. p. 51-58. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing). https://doi.org/10.1109/ISORC.2018.00015