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 metadatas
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Tuesday, December 15, 2015 - 4:18:50 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM


  • 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