Departmental Papers (CIS)

Date of this Version

5-2018

Document Type

Conference Paper

Comments

IEEE ISORC 2018, Singapore, May 29 - 31, 2018

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

Share

COinS
 

Date Posted: 06 July 2018

This document has been peer reviewed.