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

doi:10.1109/ISORC.2018.00015

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 proceeding › Article in proceeding › Research › peer-review

7 Citations (Scopus)

149 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 language	English
Title of host publication	Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018
Number of pages	8
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Publication date	25 Jul 2018
Pages	51-58
Article number	8421146
ISBN (Print)	9781538658475
DOIs	https://doi.org/10.1109/ISORC.2018.00015
Publication status	Published - 25 Jul 2018
Event	21st IEEE International Symposium on Real-Time Computing, ISORC 2018 - Singapore, Singapore Duration: 29 May 2018 → 31 May 2018

Conference

Conference	21st IEEE International Symposium on Real-Time Computing, ISORC 2018
Country/Territory	Singapore
City	Singapore
Period	29/05/2018 → 31/05/2018

Series	International Symposium on Object-Oriented Real-Time Distributed Computing
ISSN	2375-5261

Keywords

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

Access to Document

10.1109/ISORC.2018.00015

2018-ISORC-NymanSubmitted manuscript, 685 KBLicence: Unspecified

AUB Link

Search for the material in Aalborg University Library's search engine

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). Article 8421146 IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/ISORC.2018.00015

Boudjadar, Jalil ; Kim, Jin Hyun ; Phan, Linh Thi Xuan et al. / Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE (Institute of Electrical and Electronics Engineers), 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 = jul,

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 (Institute of Electrical and Electronics Engineers)",

address = "United States",

note = "21st IEEE International Symposium on Real-Time Computing, ISORC 2018 ; Conference date: 29-05-2018 Through 31-05-2018",

}

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 (Institute of Electrical and Electronics Engineers), 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 et al.
Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE (Institute of Electrical and Electronics Engineers), 2018. p. 51-58 8421146 (International Symposium on Object-Oriented Real-Time Distributed Computing).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 (Institute of Electrical and Electronics Engineers)

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

Y2 - 29 May 2018 through 31 May 2018

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 (Institute of Electrical and Electronics Engineers). 2018. p. 51-58. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing). doi: 10.1109/ISORC.2018.00015

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Abstract

Conference

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Cite this

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Abstract

Conference

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Projects

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Cite this