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
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
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
Liste complète des métadonnées
https://hal.inria.fr/hal-01419741
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Monday, December 19, 2016 - 7:24:06 PM
Last modification on : Tuesday, February 5, 2019 - 2:46:01 PM

Identifiers

Collections

UNICE | INRIA | I3S | LORIA | LORIA-NSS | UNIV-LORRAINE | UNIV-COTEDAZUR | INRIA-ROCQ

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

Record views

301

Contact


archive-ouverte@inria.fr