Probabilistic Approaches for Time Critical Embedded Systems

Liliana Cucu-Grosjean
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