Projects per year
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.
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 |
Publication date | 25 Jul 2018 |
Pages | 51-58 |
Article number | 8421146 |
ISBN (Print) | 9781538658475 |
DOIs | |
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
Fingerprint
Dive into the research topics of 'Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A., Boudjadar, J. & Kim, J. H.
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other