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.