Widening the Schedulability Hierarchical Scheduling Systems

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

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

11 Citationer (Scopus)
318 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
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
ForlagSpringer
Publikationsdato2015
Sider209-227
ISBN (Trykt)978-3-319-15316-2
ISBN (Elektronisk)978-3-319-15317-9
DOI
StatusUdgivet - 2015
BegivenhedThe 11th International Symposium on Formal Aspects of Component Software - http://www.ceub.it/, Bertinoro, Italien
Varighed: 10 sep. 201412 sep. 2014
Konferencens nummer: 11

Konference

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

Fingeraftryk

Dyk ned i forskningsemnerne om 'Widening the Schedulability Hierarchical Scheduling Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater