Descripción del proyecto
Validación y verificación punteras para sistemas automatizados
Los fallos en los sistemas altamente automatizados pueden ser catastróficos. Al ser cada vez más complejos y ofrecer más conectividad, pueden surgir propiedades desconocidas de los sistemas, por lo que es esencial realizar una verificación y validación (VV) exhaustivas. La elevada complejidad del proceso de VV hace que sea caro y requiera tiempo. El proyecto VALU3S, financiado con fondos europeos, evalúa los métodos y herramientas vanguardistas de VV para los sistemas automatizados del sector automovilístico, agrícola, ferroviario, sanitario, aeroespacial, de la automatización industrial y la robótica. El objetivo consiste en diseñar un marco que se pueda aplicar en diferentes campos, lo cual incluye poner en marcha y evaluar métodos y herramientas mediante la calificación y cuantificación de la seguridad y la privacidad a través de demostradores. Los métodos investigados se utilizarán para mejorar los flujos de trabajo de los procesos y para adoptar las herramientas que respalden a los procesos mejorados, con lo que se reducirá el tiempo y el coste necesarios para verificar y validar los sistemas automatizados.
Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
- ciencias agrícolasagricultura, silvicultura y pescaagricultura
- ingeniería y tecnologíaingeniería eléctrica, ingeniería electrónica, ingeniería de la informacióningeniería electrónicarobótica
- ciencias naturalesinformática y ciencias de la informaciónseguridad informática
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Programa(s)
Convocatoria de propuestas
H2020-ECSEL-2019-2-RIA-two-stage
Consulte otros proyectos de esta convocatoriaConvocatoria de subcontratación
H2020-ECSEL-2019-2-RIA
Régimen de financiación
RIA - Research and Innovation actionCoordinador
501 15 Boras
Suecia
Ver en el mapa
Participantes (41)
16129 Genova Ge
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
38122 Trento
Ver en el mapa
28919 Leganes Madrid
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
67100 L Aquila
Ver en el mapa
4200-072 Porto
Ver en el mapa
16126 Genova
Ver en el mapa
621 00 Brno
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
20500 Mondragon
Ver en el mapa
28037 Madrid
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
3004-531 Coimbra
Ver en el mapa
602 00 BRNO STRED
Ver en el mapa
612 00 Brno
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
26040 Eskisehir
Ver en el mapa
100 44 Stockholm
Ver en el mapa
58195 Linkoping
Ver en el mapa
13071 Ciudad Real
Ver en el mapa
80686 Munchen
Ver en el mapa
1210 Wien
Ver en el mapa
16122 Genova
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
22529 Hamburg
Ver en el mapa
06406 Bernburg
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
T23 Cork
Ver en el mapa
W23 Maynooth
Ver en el mapa
26480 Eskisehir
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
32100 Isparta
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
Maltepe, Istanbul
Ver en el mapa
26480 Odunpazari Eskisehir
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
01010 Alava
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
00131 Roma
Ver en el mapa
1020 Wien
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
1210 Wien
Ver en el mapa
44122 Ferrara
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
91193 Gif-Sur-Yvette
Ver en el mapa
721 73 VASTERAS
Ver en el mapa
431 35 Molndal
Ver en el mapa
20018 San Sebastian
Ver en el mapa
La participación finalizó
3030 199 Coimbra
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
20500 Arrasate
Ver en el mapa
411 17 Goteborg
Ver en el mapa
41756 Goteborg
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.
4450 Matosinhos
Ver en el mapa
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.