Projekter pr. år
Abstrakt
We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.
Originalsprog | Engelsk |
---|---|
Titel | Theoretical Aspects of Software Engineering Conference (TASE), 2014 |
Antal sider | 5 |
Forlag | IEEE Computer Society Press |
Publikationsdato | 1 sep. 2014 |
Sider | 126-130 |
ISBN (Elektronisk) | 978-1-4799-5029-4/14 |
DOI | |
Status | Udgivet - 1 sep. 2014 |
Begivenhed | The 8th International Symposium on Theoretical Aspects of Software Engineering - Changsha, Kina Varighed: 1 sep. 2014 → 3 sep. 2014 Konferencens nummer: 8th |
Konference
Konference | The 8th International Symposium on Theoretical Aspects of Software Engineering |
---|---|
Nummer | 8th |
Land/Område | Kina |
By | Changsha |
Periode | 01/09/2014 → 03/09/2014 |
Navn | TASE |
---|
Fingeraftryk
Dyk ned i forskningsemnerne om 'Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks'. 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