Skip to main content
TRIMIS

Unifying Control and Verification of Cyber-Physical Systems

PROJECTS
Funding
European
European Union
Duration
-
Status
Complete
Geo-spatial type
Other
Total project cost
€4 932 903
EU Contribution
€4 932 902
Project Acronym
UnCoVer CPS
STRIA Roadmaps
Connected and automated transport (CAT)
Vehicle design and manufacturing (VDM)
Transport mode
Road icon
Transport policies
Safety/Security
Transport sectors
Passenger transport

Overview

Link to CORDIS
Background & Policy context

Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present completely new methods for deverticalisation of the development processes by a generic and holistic approach towards reliable cyber-physical systems development with formal guarantees.
In order to guarantee that specifications are met in unknown environments and in unanticipated situations, we synthesise and verify controllers on-the-fly during system execution. This requires to unify control and verification approaches, which were previously considered separately by developers. For instance, each action of an automated car (e.g. lane change) is verified before execution, guaranteeing safety of the passengers.
We will develop completely new methods, which are integrated in tools for modelling, control design, verification, and code generation that will leverage the development towards reliable and at the same time open cyber-physical systems. Our approach leverages future certification needs of open and critical cyber-physical systems
The impact of this project is far-reaching and long-term: UnCoVerCPS prepares the EU to be able to develop critical cyber-physical systems that can only be realised and certified when uncertainties in the environment are adequately considered. This is demonstrated by applying our ground-breaking methods to automated vehicles, human-robot collaborative manufacturing, and smart grids within a consortium that has a balanced participation of academic and industrial partners.
 

Objectives

Objectives of UnCoVerCPS include:
 
• Novel on-the-fly control and verification concepts.
• Ground-breaking methods for unifying control and verification to quickly react to changing environments.
• Seamless integration of modelling and conformance testing.
• A unique tool chain that makes it possible to integrate modelling, control design, formal verification, and automatic code generation.
• Prototypical realisations of the novel methods in automated vehicles and human- robot collaborative manufacturing.
• Analysis of the benefits of formal methods on wind turbines and smart grids case studies.
• A new development process that reduces development time and costs for critical cyber-physical systems to strengthen European companies which design or produce cyber-physical systems.
 

Funding

Parent Programmes
Funding Source
Horizon 2020, Industrial Leadership. Funding scheme: RIA - Research and Innovation action

Partners

Lead Organisation
EU Contribution
€0
Partner Organisations
EU Contribution
€0

Technologies

Contribute! Submit your project

Do you wish to submit a project or a programme? Head over to the Contribute page, login and follow the process!

Submit