Projekter pr. år
Abstract
This paper introduces a reconfigurable compositional schedul-
ing framework, in which the hierarchical structure, the scheduling poli-
cies, the concrete task behavior and the shared resources can all be recon-
figured. The behavior of each periodic preemptive task is given as a list of
timed actions, which are some of the inputs for the parameterized timed
automata that make up the framework. Components may have different
scheduling policies, and each component is analyzed independently using
Uppaal. We have applied our framework for the schedulability analysis
of an avionics system.
ing framework, in which the hierarchical structure, the scheduling poli-
cies, the concrete task behavior and the shared resources can all be recon-
figured. The behavior of each periodic preemptive task is given as a list of
timed actions, which are some of the inputs for the parameterized timed
automata that make up the framework. Components may have different
scheduling policies, and each component is analyzed independently using
Uppaal. We have applied our framework for the schedulability analysis
of an avionics system.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of Formal Aspects of Component Software (FACS), 2013 |
Redaktører | José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue |
Antal sider | 18 |
Vol/bind | 8348 |
Forlag | Springer Publishing Company |
Publikationsdato | 13 jun. 2014 |
Sider | 61-78 |
Artikelnummer | 6 |
ISBN (Trykt) | 978-3-319-07601-0 |
ISBN (Elektronisk) | 978-3-319-07602-7 |
DOI | |
Status | Udgivet - 13 jun. 2014 |
Begivenhed | The 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, Kina Varighed: 28 okt. 2013 → 30 okt. 2013 Konferencens nummer: 10 |
Konference
Konference | The 10th International Symposium on Formal Aspects of Component Software |
---|---|
Nummer | 10 |
Lokation | Jiangxi Normal University, Nanchang, China |
Land/Område | Kina |
By | Nanchang |
Periode | 28/10/2013 → 30/10/2013 |
Navn | Lecture Notes in Computer Science |
---|---|
ISSN | 0302-9743 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal'. Sammen danner de et unikt fingeraftryk.Projekter
- 2 Afsluttet
-
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
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning