Back to Search Start Over

Probabilistic Approaches for Time Critical Embedded Systems

Authors :
Cucu-Grosjean, Liliana
Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE)
Inria Sophia Antipolis - Méditerranée (CRISAM)
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt
Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)
Université Nice Sophia Antipolis (... - 2019) (UNS)
COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)
COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)
COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
BGLE Departs, LEOC Capacites, FUI19 WARUNA
European Project: 611085,EC:FP7:ICT,FP7-ICT-2013-10,PROXIMA(2013)
Université Nice Sophia Antipolis (1965 - 2019) (UNS)
COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)
Source :
9th International Workshop on Verification and Evaluation of Computer and Communication Systems, 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania
Publication Year :
2015
Publisher :
HAL CCSD, 2015.

Abstract

International audience; During the last twenty years different design solutions have been proposed for time critical embeddedsystems through pessimistic estimation of performances of the processors (thus increased costs) whileusing average time behavior processors. A possible solution to decrease the pessimism while designingtime critical embedded systems is to enrich existing models with appropriate probabilistic descriptions.

Details

Language :
English
Database :
OpenAIRE
Journal :
9th International Workshop on Verification and Evaluation of Computer and Communication Systems, 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania
Accession number :
edsair.dedup.wf.001..9afd356093fbe89b67085e285198416b