Periodic Reporting for period 2 - SAFEPOWER (Safe and secure mixed-criticality systems with low power requirements)

How can we ensure that trains, planes and automobiles arrive safely, using less power, and are sustainable for the future? The SAFEPOWER project is producing a reference architecture and implementing the platforms, complemented by analysis, simulation and verification tools...