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. Programme(s) H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT) Main Programme 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 Topic(s) ICT-01-2014 - Smart Cyber-Physical Systems Call for proposal H2020-ICT-2014 See other projects for this call Sub call H2020-ICT-2014-1 Funding Scheme RIA - Research and Innovation action Coordinator TECHNISCHE UNIVERSITAET MUENCHEN Net EU contribution € 572 978,68 Address Arcisstrasse 21 80333 Muenchen Germany See on map Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,50 Participants (10) Sort alphabetically Sort by Net EU contribution Expand all Collapse all UNIVERSITE GRENOBLE ALPES France Net EU contribution € 353 989,93 Address 621 avenue centrale 38058 Grenoble See on map Region Auvergne-Rhône-Alpes Rhône-Alpes Isère Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Third-party Legal entity other than a subcontractor which is affiliated or legally linked to a participant. The entity carries out work under the conditions laid down in the Grant Agreement, supplies goods or provides services for the action, but did not sign the Grant Agreement. A third party abides by the rules applicable to its related participant under the Grant Agreement with regard to eligibility of costs and control of expenditure. CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS France Net EU contribution € 42 718,75 Address Rue michel ange 3 75794 Paris See on map Region Ile-de-France Ile-de-France Paris Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITAET KASSEL Germany Net EU contribution € 385 755,00 Address Monchebergstrasse 19 34125 Kassel See on map Region Hessen Kassel Kassel, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 POLITECNICO DI MILANO Italy Net EU contribution € 465 884,93 Address Piazza leonardo da vinci 32 20133 Milano See on map Region Nord-Ovest Lombardia Milano Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 GENERAL ELECTRIC DEUTSCHLAND HOLDING GMBH Participation ended Germany Net EU contribution € 414 896,25 Address Bleichstrasse 64-66 60313 Frankfurt am main See on map Region Hessen Darmstadt Frankfurt am Main, Kreisfreie Stadt Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 ROBERT BOSCH GMBH Germany Net EU contribution € 642 250,00 Address Robert-bosch-platz 1 70839 Gerlingen-schillerhoehe See on map Region Baden-Württemberg Stuttgart Ludwigsburg Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 ESTEREL TECHNOLOGIES SA France Net EU contribution € 490 760,00 Address 8 rue blaise pascal, parc euclide 78990 Elancourt See on map Region Ile-de-France Ile-de-France Yvelines Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 DEUTSCHES ZENTRUM FUR LUFT - UND RAUMFAHRT EV Germany Net EU contribution € 550 824,96 Address Linder hohe 51147 Koln See on map Region Nordrhein-Westfalen Köln Köln, Kreisfreie Stadt Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 FUNDACION TECNALIA RESEARCH & INNOVATION Spain Net EU contribution € 369 812,50 Address Parque cientifico y tecnologico de bizkaia astondo bidea edificio 700 48160 Derio (bizkaia) See on map Region Noreste País Vasco Bizkaia Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 R.U.Robots Limited GB Net EU contribution € 643 031,25 Address Eden vale 4 M28 1WF Manchester See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region North West (England) Greater Manchester Greater Manchester South West Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00
