Contributions to real-time systems

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 , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : In Chapter 1 we present our contributionto the scheduling of real-time systems on multiprocessor platforms. We start thechapter by providing an exhaustive list of all results we proposed on this topic andthen we detail two contributions: the predictability results and the schedulabilityanalysis. We present the proofs of these results as their details are important.The first result on predictability is a corrected and extended version of previousresults from [38]. The results on schedulability analysis provide a methodology forfeasibility tests based on intervals.In Chapter 2 we present our contribution to the definition and the analysis ofprobabilistic real-time systems. We start the chapter by providing an exhaustivelist of all results we proposed on this topic and then we detail two contributions.The first contribution concerns the proposition of probabilistic worst-case reasoningwithin response time analysis of systems with multiple probabilistic parameters.The second contribution concerns the estimation of probabilistic worst-case executiontimes and its relation to rare events theory. It indicates that the real-timecommunity should use the mathematical results on the tails of the probability distributions.In Chapter 3 we present the perspectives of our results and the vision of howthese results will modify the real-time community that needs to face data delugeand increased connectivity with less critical systems that will coexist within onelarger system built following a mixed-critical model.
Type de document :
Embedded Systems. UPMC, Paris Sorbonne, 2014
Liste complète des métadonnées

Littérature citée [63 références]  Voir  Masquer  Télécharger
Contributeur : Liliana Cucu-Grosjean <>
Soumis le : vendredi 12 décembre 2014 - 10:21:34
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
Document(s) archivé(s) le : vendredi 13 mars 2015 - 10:11:14


  • HAL Id : tel-01092915, version 1



Liliana Cucu-Grosjean. Contributions to real-time systems. Embedded Systems. UPMC, Paris Sorbonne, 2014. 〈tel-01092915〉



Consultations de la notice


Téléchargements de fichiers