Advanced Laboratory on Embedded Systems S.r.l.

Looking for alternative approaches Predictable architectures— Remove/Reduce sources of indetermination. E.g.• Time Trigger Architecture: still need WCE to fit executions into slots— Enable formal analysis— Not always cost efficient— Long term solution Probabilistic analysis— Accept sources of indetermination of current architectures— “Gray-box” analysis (partial understanding of the architecturalcomponents)— Statistical description of the overall system— e.g. probabilistic real-time (hard deadlines met with probability of 10 -6 ,10 -12 ) Statistical Model Checking— Prove with given confidence the satisfaction of a timing property— Bound the number of simulation runs7/9/2012 Alberto Ferrari - ALES S.r.l. 18