Projektbeschreibung
Hochmoderne Verifikation und Validierung für automatisierte Systeme
Ausfälle in hochautomatisierten Systemen können katastrophale Folgen haben. Wenn die Komplexität und Vernetztheit zunimmt, können sich unbekannte Eigenschaften von Systemen offenbaren, was eine gründliche Verifikation und Validierung unerlässlich macht. Aufgrund ihrer hohen Komplexität sind Verifikations- und Validierungsvorgänge zeitaufwendig und kostspielig. Das EU-finanzierte Projekt VALU3S wertet den Stand der Technik der Methoden und Instrumente zur Verifikation und Validierung in der Automobilbranche, in der Landwirtschaft, im Schienenverkehr, in der Gesundheitsversorgung, in der Luft- und Raumfahrt sowie in der industriellen Automatisierung und Robotik aus. Das Ziel besteht darin, ein domänenübergreifendes Rahmenwerk zu erarbeiten. Dazu gehört die Implementierung und Auswertung von Methoden und Instrumenten durch die Qualifizierung und Quantifizierung der Sicherheit und des Datenschutzes mithilfe von Demonstratoren. Die untersuchten Methoden werden dazu dienen, prozessbezogene Arbeitsabläufe zu verbessern und Instrumente zu implementieren, die den verbesserten Prozess unterstützen. Das wird die Zeit verkürzen und die Kosten senken, die zur Verifikation und Validierung automatisierter Systeme notwendig sind.
Ziel
Manufacturers of automated systems and the manufacturers of the components used in these systems have been allocating an enormous amount of time and effort in the past years developing and conducting research on automated systems. The effort spent has resulted in the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers of these systems need to make sure that the systems function in the intended way and according to specifications which is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them.
With rising complexity, unknown emerging properties of the system may come to the surface making it necessary to conduct thorough verification and validation (V&V) of these systems. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools in order to reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements. This will ensure that European manufacturers of automated systems remain competitive and that they remain world leaders. To this end, a multi-domain framework is designed and evaluated with the aim to create a clear structure around the components and elements needed to conduct V&V process through identification and classification of evaluation methods, tools, environments and concepts that are needed to verify and validate automated systems with respect to SCP requirements.
The implemented V&V methods as well as improved process workflows and tools will also be evaluated in the project using a comprehensive set of demonstrators built from 13 use cases with specific SCP requirements from 6 domains of automotive, industrial robotics, agriculture, Aerospace, railway and health.
Wissenschaftliches Gebiet
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
H2020-ECSEL-2019-2-RIA-two-stage
Andere Projekte für diesen Aufruf anzeigenUnterauftrag
H2020-ECSEL-2019-2-RIA
Finanzierungsplan
RIA - Research and Innovation actionKoordinator
501 15 Boras
Schweden
Auf der Karte ansehen
Beteiligte (41)
16129 Genova Ge
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
38122 Trento
Auf der Karte ansehen
28919 Leganes Madrid
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
67100 L Aquila
Auf der Karte ansehen
4200-072 Porto
Auf der Karte ansehen
16126 Genova
Auf der Karte ansehen
621 00 Brno
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
20500 Mondragon
Auf der Karte ansehen
28037 Madrid
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
3004-531 Coimbra
Auf der Karte ansehen
602 00 BRNO STRED
Auf der Karte ansehen
612 00 Brno
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
26040 Eskisehir
Auf der Karte ansehen
100 44 Stockholm
Auf der Karte ansehen
58195 Linkoping
Auf der Karte ansehen
13071 Ciudad Real
Auf der Karte ansehen
80686 Munchen
Auf der Karte ansehen
1210 Wien
Auf der Karte ansehen
16122 Genova
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
22529 Hamburg
Auf der Karte ansehen
06406 Bernburg
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
T23 Cork
Auf der Karte ansehen
W23 Maynooth
Auf der Karte ansehen
26480 Eskisehir
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
32100 Isparta
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
Maltepe, Istanbul
Auf der Karte ansehen
26480 Odunpazari Eskisehir
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
01010 Alava
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
00131 Roma
Auf der Karte ansehen
1020 Wien
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
1210 Wien
Auf der Karte ansehen
44122 Ferrara
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
91193 Gif-Sur-Yvette
Auf der Karte ansehen
721 73 Vasteras
Auf der Karte ansehen
431 35 Molndal
Auf der Karte ansehen
20018 San Sebastian
Auf der Karte ansehen
Beteiligung beendet
3030 199 Coimbra
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
20500 Arrasate
Auf der Karte ansehen
411 17 Goteborg
Auf der Karte ansehen
41756 Goteborg
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).
4450 Matosinhos
Auf der Karte ansehen
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).