Opendata, web and dolomites

UnCoVerCPS SIGNED

Unifying Control and Verification of Cyber-Physical Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 UnCoVerCPS project word cloud

Explore the words cloud of the UnCoVerCPS project. It provides you a very rough idea of what is the project "UnCoVerCPS" about.

completely    automated    environments    verify    physical    verification    critical    unknown    safety    originating    dynamics    cyber   

Project "UnCoVerCPS" data sheet

The following table provides information about the project.

Coordinator
TECHNISCHE UNIVERSITAET MUENCHEN 

Organization address
address: Arcisstrasse 21
city: MUENCHEN
postcode: 80333
website: www.tu-muenchen.de

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Total cost 4˙932˙902 €
 EC max contribution 4˙932˙902 € (100%)
 Programme 1. H2020-EU.2.1.1.1. (A new generation of components and systems: Engineering of advanced embedded and energy and resource efficient components and systems)
 Code Call H2020-ICT-2014-1
 Funding Scheme /RIA
 Starting year 2015
 Duration (year-month-day) from 2015-01-01   to  2018-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    TECHNISCHE UNIVERSITAET MUENCHEN DE (MUENCHEN) coordinator 508˙319.00
2    R.U.Robots Limited UK (MANCHESTER) participant 643˙031.00
3    ROBERT BOSCH GMBH DE (GERLINGEN-SCHILLERHOEHE) participant 642˙250.00
4    GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH DE (FRANKFURT AM MAIN) participant 641˙206.00
5    DEUTSCHES ZENTRUM FUER LUFT - UND RAUMFAHRT EV DE (KOELN) participant 518˙495.00
6    ESTEREL TECHNOLOGIES SA FR (ELANCOURT) participant 490˙760.00
7    POLITECNICO DI MILANO IT (MILANO) participant 401˙225.00
8    UNIVERSITAET KASSEL DE (KASSEL) participant 385˙755.00
9    FUNDACION TECNALIA RESEARCH & INNOVATION ES (DONOSTIA SAN SEBASTIAN) participant 369˙812.00
10    UNIVERSITE GRENOBLE ALPES FR (Grenoble) participant 332˙048.00
11    UNIVERSITE JOSEPH FOURIER GRENOBLE 1 FR (GRENOBLE) participant 0.00

Mappa

 Project objective

The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-physical systems in (partially) unknown environments. 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 de-verticalisation 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.

 Work performed, outcomes and results:  advancements report(s) 

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "UNCOVERCPS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "UNCOVERCPS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.1.)

TAMS4CPS (2015)

Trans-Atlantic Modelling and Simulation For Cyber-Physical Systems

Read More  

Road2CPS (2015)

Strategic action for future CPS through roadmaps, impact multiplication and constituency building

Read More  

TAPPS (2015)

Trusted Apps for open CPS

Read More