Widening the Schedulability Hierarchical Scheduling Systems

Publication: Research - peer-reviewArticle in proceeding

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
Close

Details

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
DOI
StatePublished - 2015
EventThe 11th International Symposium on Formal Aspects of Component Software - Bertinoro, Italy

Conference

ConferenceThe 11th International Symposium on Formal Aspects of Component Software
Nummer11
Locationhttp://www.ceub.it/
LandItaly
ByBertinoro
Periode10/09/201412/09/2014
SeriesLecture Notes in Computer Science
Number8997
ISSN0302-9743

Download statistics

No data available
ID: 228566035