Probabilistic real-time systems

Liliana Cucu-Grosjean 1, 2
1 TRIO - Real time and interoperability
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
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, 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.
Type de document :
Communication dans un congrès
RTNS 2013 - 21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ACM, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00920513
Contributeur : Liliana Cucu <>
Soumis le : mercredi 18 décembre 2013 - 15:54:56
Dernière modification le : jeudi 22 septembre 2016 - 14:32:18

Identifiants

  • HAL Id : hal-00920513, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

290