Moteur de recherche d’entreprises européennes
Financement de l’UE (4 518 006 €) : Unifier le contrôle et la vérification des systèmes cyber-physiques Hor 01/01/2015 Programme de recherche et d'innovation de l'UE « Horizon »
Texte
Unifier le contrôle et la vérification des systèmes cyber-physiques
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.
| Centre National de la Recherche Scientifique CNRS | 0,00 € |
| Deutsches Zentrum FUR Luft - UND Raumfahrt e. V. | 550 825 € |
| Esterel Technologies SA | 490 760 € |
| Fundacion Tecnalia Research & Innovation | 369 813 € |
| Politecnico Di Milano | 465 885 € |
| R.U.Robots Ltd. | 643 031 € |
| Robert Bosch GmbH | 642 250 € |
| Technische Universitaet Muenchen | 572 979 € |
| Universitaet Kassel | 385 755 € |
| Universite Grenoble Alpes | 396 709 € |
https://cordis.europa.eu/project/id/643921
Cette annonce se réfère à une date antérieure et ne reflète pas nécessairement l’état actuel.