Back to Search
Start Over
Probabilistic Approaches for Time Critical Embedded Systems
- 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.
- Subjects :
- [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Subjects
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