Widening the Schedulability Hierarchical Scheduling Systems

Jalil Boudjadar*, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou

*Corresponding author

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

6 Citations (Scopus)
227 Downloads (Pure)

Abstract

This paper presents a compositional approach for schedula-
bility analysis of hierarchical systems, which enables to prove more sys-
tems schedulable by having richer and more detailed scheduling models.
We use a lightweight method (statistical model checking) for design ex-
ploration, easily assuring high confidence in the correctness of the model.
A satisfactory design can be proved schedulable using the computation
costly method (symbolic model checking). In order to analyze a hierar-
chical scheduling system compositionally, we introduce the notion of a
stochastic supplier modeling the supply of resources in each component.
We specifically investigate two different techniques to widen the set of
provably schedulable systems: 1) a new supplier model; 2) restricting the
potential task offsets. We also provide a way to estimate the minimum
resource supply (budget) that a component is required to provide
Original languageEnglish
Title of host publicationFormal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
EditorsIvan Lanese, Eric Madelaine
Number of pages18
PublisherSpringer
Publication date2015
Pages209-227
ISBN (Print)978-3-319-15316-2
ISBN (Electronic)978-3-319-15317-9
DOIs
Publication statusPublished - 2015
EventThe 11th International Symposium on Formal Aspects of Component Software - http://www.ceub.it/, Bertinoro, Italy
Duration: 10 Sep 201412 Sep 2014
Conference number: 11

Conference

ConferenceThe 11th International Symposium on Formal Aspects of Component Software
Number11
Locationhttp://www.ceub.it/
CountryItaly
CityBertinoro
Period10/09/201412/09/2014
SeriesLecture Notes in Computer Science
Number8997
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Widening the Schedulability Hierarchical Scheduling Systems'. Together they form a unique fingerprint.

Cite this