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, 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.
Type de document :
Communication dans un congrès
9th International Workshop on Verification and Evaluation of Computer and Communication Systems , Sep 2015, Bucarest, Romania. 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01244360
Contributeur : Liliana Cucu <>
Soumis le : mardi 15 décembre 2015 - 16:18:50
Dernière modification le : jeudi 17 décembre 2015 - 15:21:14

Identifiants

  • HAL Id : hal-01244360, version 1

Collections

Citation

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. 2015. 〈hal-01244360〉

Partager

Métriques

Consultations de la notice

172