Skip to Main content Skip to Navigation
Conference papers

Probabilistic Approaches for Time Critical Embedded 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 : During the last twenty years different design solutions have been proposed for time critical embedded systems through pessimistic estimation of performances of the processors (thus increased costs) while using average time behavior processors. A possible solution to decrease the pessimism while designing time critical embedded systems is to enrich existing models with appropriate probabilistic descriptions.
Document type :
Conference papers
Complete list of metadata
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2015 - 4:18:50 PM
Last modification on : Monday, October 12, 2020 - 10:30:12 AM


  • HAL Id : hal-01244360, version 1



Liliana Cucu-Grosjean. Probabilistic Approaches for Time Critical Embedded Systems. 9th International Workshop on Verification and Evaluation of Computer and Communication Systems , Sep 2015, Bucarest, Romania. ⟨hal-01244360⟩



Record views