
Departmental Papers (CIS)
Date of this Version
5-2018
Document Type
Conference Paper
Recommended Citation
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, and Ulrik Nyman, "Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems", IEEE ISORC 2018 . May 2018. http://dx.doi.org/10.1109/ISORC.2018.00015
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.
Subject Area
CPS Formal Methods, CPS Real-Time
Publication Source
IEEE ISORC 2018
DOI
10.1109/ISORC.2018.00015
Date Posted: 06 July 2018
This document has been peer reviewed.
Comments
IEEE ISORC 2018, Singapore, May 29 - 31, 2018