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.
Document type :
Habilitation à diriger des recherches
Liste complète des métadonnées

Cited literature [63 references]  Display  Hide  Download
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Friday, December 12, 2014 - 10:21:34 AM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Document(s) archivé(s) le : Friday, March 13, 2015 - 10:11:14 AM


  • HAL Id : tel-01092915, version 1



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



Record views


Files downloads