EU Puts Millions into Embedded System Modelling

The EU is funding the development of methods and tools for formal modelling, verification and validation "which will make it possible to produce precise models for embedded systems and help eliminate design errors before projects go into the manufacturing stage", said the University of Southampton.

These tools will be applied to automated railway signalling and smart energy distribution by industrial partners in the project. Running for 30 months the project is called ADVANCE (Advanced Design and Verification Environment for Cyber-physical System Engineering).