CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The ADVANCE project aims to develop a comprehensive framework for the automated verification and validation of cyber-physical systems. By utilizing a common modeling language, it seeks to streamline the engineering processes for intelligent transport and energy systems.
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 will be achieved throughthe use of a common formal modelling language supported by methods and tools for simulation and formal verification.
An integrated tool environment will provide support for construction, verification and simulation of models.
The delivered methods and tools will overcome significant d…
UNIVERSITY OF SOUTHAMPTON
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Germany, Dusseldorf
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
France, AIX EN PROVENCE CEDEX 3
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
France, AIX EN PROVENCE CEDEX 3
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
France, Saint Ouen
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
