Projects per year
Abstract
This paper presents a compositional approach for schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more detailed scheduling models. We use a lightweight method (statistical model checking) for design exploration, 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 hierarchical 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 language | English |
---|---|
Title of host publication | Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers |
Editors | Ivan Lanese, Eric Madelaine |
Number of pages | 18 |
Publisher | Springer |
Publication date | 2015 |
Pages | 209-227 |
ISBN (Print) | 978-3-319-15316-2 |
ISBN (Electronic) | 978-3-319-15317-9 |
DOIs | |
Publication status | Published - 2015 |
Event | The 11th International Symposium on Formal Aspects of Component Software - http://www.ceub.it/, Bertinoro, Italy Duration: 10 Sept 2014 → 12 Sept 2014 Conference number: 11 |
Conference
Conference | The 11th International Symposium on Formal Aspects of Component Software |
---|---|
Number | 11 |
Location | http://www.ceub.it/ |
Country/Territory | Italy |
City | Bertinoro |
Period | 10/09/2014 → 12/09/2014 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 8997 |
ISSN | 0302-9743 |
Fingerprint
Dive into the research topics of 'Widening the Schedulability Hierarchical Scheduling Systems'. Together they form a unique fingerprint.Projects
- 2 Finished
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
01/06/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Project: Research