Widening the Schedulability Hierarchical Scheduling Systems

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Abstrakt

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
Luk

Detaljer

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
OriginalsprogEngelsk
TitelFormal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
RedaktørerIvan Lanese, Eric Madelaine
Antal sider18
UdgiverSpringer
Publikationsdato2015
Sider209-227
ISBN (trykt)978-3-319-15316-2
ISBN (elektronisk)978-3-319-15317-9
DOI
StatusUdgivet - 2015
Begivenhed - Bertinoro, Italien

Konference

KonferenceThe 11th International Symposium on Formal Aspects of Component Software
Nummer11
Lokationhttp://www.ceub.it/
LandItalien
ByBertinoro
Periode10/09/201412/09/2014
SerieLecture Notes in Computer Science
Nummer8997
ISSN0302-9743

Download-statistik

Ingen data tilgængelig
ID: 228566035