The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.

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

Date:
2011-2015
Funding:
European Commission

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.

Primary investigator

Secondary investigator

  • jlco5r

Partners

  • Alstom
  • Critical Software Technologies
  • Selex-ES
  • Systerel
  • University of Dusseldorf

Associated research group

  • Electronic and Software Systems
Share this project FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×