| Skip to main content | Skip to sub navigation |

This is now an inactive research group it's members have moved on. You can find them at their new research groups:

ECS Intranet:
ADVANCE: Advanced Design and Verification Environment for Cyber-physical System Engineering

ADVANCE is an FP7 Information and Communication Technologies Project funded by the European Commission. The overall objective of ADVANCE is the development of a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems.

Unification is being achieved through the use of a common formal modelling language supported by methods and tools for simulation and formal verification. An integrated tool environment is providing support for construction, verification and simulation of models.

ADVANCE is building on an existing formal modelling language - Event-B - and its associated tools environment - Rodin - with strong support for formal verification. In ADVANCE, Rodin is being further strengthened and augmented with novel approaches to multi-simulation and testing.

Homepage: http://www.advance-ict.eu
Type: Normal Research Project
Research Group: Electronic and Software Systems
Dates: 1st October 2011 to 30th January 2015



Principal Investigators

Other Investigators

URI: http://id.ecs.soton.ac.uk/project/900
RDF: http://rdf.ecs.soton.ac.uk/project/900

More information

You can edit the record for this project by visiting http://secure.ecs.soton.ac.uk/db/projects/editproj.php?project=900