Advanced Laboratory on Embedded Systems S.r.l.

Conclusions Several challenges in the design and verification of cyberphysicalsystems— Safety constraints are becoming stronger and their satisfactionrequires substantial manual design and verification effort• There are few approaches to design under these constraints, but still notmature enough for industrial deployment— Real-time Performance analysis for modern architecture is hard• Different approaches have been proposed, none is really ready for primetime— Combined approach for safety and real-time design/verificationstill far from becoming real Multi-processors Distributed Architecture are becomingreality also in embedded systems— Increase WECT bounds (apparently)— Solutions to cost optimize these architectures are not yetavailable on industrial scale7/9/2012 Alberto Ferrari - ALES S.r.l. 26