Skip to Main content Skip to Navigation
Conference papers

Probabilistic real-time systems

Liliana Cucu-Grosjean 1, 2
1 TRIO - Real time and interoperability
LORIA - NSS - Department of Networks, Systems and Services, Inria Nancy - Grand Est
2 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 : Since the early work of Lehoczky on real-time queuing theory, probabilistic approaches have addressed many aspects of real-time systems. This presentation concentrates on the migration of probabilistic methods from modelling soft real-time systems to analysing hard real-time systems. The history of this migration is outlined over the last two decades, advancing under different banners including stochastic, probabilistic and statistical analysis. Here, the shift from the deterministic analysis of single upper bound values to more expressive forms using probability distributions has undermined or modified many classical real-time results, such as the optimality of Rate Monotonic assignment. Two common misconceptions concerning probabilistic real-time systems are discussed: independence and the identical distribution. These properties are less restrictive than is widely appreciated and together with probabilistic worst-case reasoning form the basis of the main results currently proposed for hard real-time systems. The presentation summarises recent state-of-the-art research into probabilistic real-time systems, and concludes with the main open challenges in this area.
Document type :
Conference papers
Complete list of metadata
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Wednesday, December 18, 2013 - 3:54:56 PM
Last modification on : Friday, January 21, 2022 - 3:18:16 AM


  • HAL Id : hal-00920513, version 1


Liliana Cucu-Grosjean. Probabilistic real-time systems. RTNS 2013 - 21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ⟨hal-00920513⟩



Les métriques sont temporairement indisponibles