Skip to Main content Skip to Navigation
Conference papers

Schedulability analysis of dependent probabilistic real-time tasks

Slim Ben-Amor 1 Dorin Maxim 2 Liliana Cucu-Grosjean 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
2 MADYNES - Management of dynamic networks and services
LORIA - NSS - Department of Networks, Systems and Services, Inria Nancy - Grand Est
Abstract : The complexity of modern architectures has increased the timing variability of programs (or tasks). In this context, new approaches based on probabilistic methods are proposed to decrease the pessimism by associating probabilities to the worst case values of the programs (tasks) time execution. In this paper, we extend the original work of Chetto et al. [7] on precedence constrained tasks to the case of tasks with worst case execution times described by probability distributions. The precedence constraints between tasks are defined by acyclic directed graphs and these constraints are transformed in appropriate release times and deadlines. The new release times and deadlines are built using new maximum and minimum relations between pairs of probability distributions. We provide a probabilistic schedulability condition based on these new relations.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01419741
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Monday, December 19, 2016 - 7:24:06 PM
Last modification on : Friday, January 21, 2022 - 3:16:31 AM

Identifiers

Collections

CNRS | INRIA | I3S | LORIA-NSS | LORIA | UNIV-LORRAINE | UNIV-COTEDAZUR

Citation

Slim Ben-Amor, Dorin Maxim, Liliana Cucu-Grosjean. Schedulability analysis of dependent probabilistic real-time tasks. RTNS 2016 - 24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. pp.99-107, ⟨10.1145/2997465.2997499⟩. ⟨hal-01419741⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data