Sökning: onr:"swepub:oai:DiVA.org:ri-47667" >
The VALU3S ECSEL Pr...
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
-
- Barbosa, Raul (författare)
- University of Coimbra, Portugal
-
- Basagiannis, Stelios (författare)
- United Technologies Research Centre, Ireland
-
- Giantamidis, Georgios (författare)
- United Technologies Research Centre, Ireland
-
visa fler...
-
- Becker, Hauke (författare)
- NXP Semiconductor, Germany
-
- Ferrari, Enrico (författare)
- Rulex Innovation Labs, Italy
-
- Jahic, Jasmin (författare)
- Fraunhofer, Germany
-
- Kanak, Alper (författare)
- ERARGE, Turkey
-
- Labayen Esnaola, Mikel (författare)
- CAF SIGNALLING, Spain
-
- Orani, Vanessa (författare)
- CNR-IEIIT, Italy
-
- Pereira, David (författare)
- CISTER/ISEP Polytechnic Institute of Porto; Portugal
-
- Pomante, Luigi (författare)
- University of L’Aquila, Italy
-
- Schlick, Rupert (författare)
- AIT Austrian Institute of Technology; Austria
-
- Smrcka, Ales (författare)
- Brno University of Technology, Czech Republic
-
- Yazici, Ahmet (författare)
- Eskisehir Osmangazi University, Turkey
-
- Folkesson, Peter (författare)
- RISE,Elektrifiering och pålitlighet,Pålitliga transportsystem, Dependable Transport Systems
-
- Sangchoolie, Behrooz (författare)
- RISE,Elektrifiering och pålitlighet,Pålitliga transportsystem, Dependable Transport Systems
-
visa färre...
-
(creator_code:org_t)
- 2020
- 2020
- Engelska.
-
Ingår i: 23rd Euromicro Conference on Digital System Design (DSD).
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities. This effort translates into an overhead on the V&V (verification and validation) process making it timeconsuming and costly. In this paper, we present an ECSEL JU project (VALU3S) that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Automated systems
- Safety
- Security
- Verification and Validation
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
- Av författaren/redakt...
-
Barbosa, Raul
-
Basagiannis, Ste ...
-
Giantamidis, Geo ...
-
Becker, Hauke
-
Ferrari, Enrico
-
Jahic, Jasmin
-
visa fler...
-
Kanak, Alper
-
Labayen Esnaola, ...
-
Orani, Vanessa
-
Pereira, David
-
Pomante, Luigi
-
Schlick, Rupert
-
Smrcka, Ales
-
Yazici, Ahmet
-
Folkesson, Peter
-
Sangchoolie, Beh ...
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
- 23rd Euromicro C ...
- Av lärosätet
-
RISE