A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Probabilistic Approaches for Time Critical Embedded Systems
2015
International Workshop on Verification and Evaluation of Computer and Communication Systems
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. time critical embedded systems, probabilistic worst-case reasoning
dblp:conf/vecos/Cucu-Grosjean15
fatcat:avxb3qgxkrc7zed7qgoypbows4