Detail publikace

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

SANGCHOOLIE, B. BECKER, H. KANAK, A. POMANTE, L. SCHLICK, R. SMRČKA, A. BARBOSA, R. ESNAOLA, M. FERRARI, E. GIANTAMIDIS, G. PEREIRA, D. YAZICI, A. FOLKESSON, P.

Originální název

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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 time-consuming 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.

Klíčová slova

tools, safety, computer security, service robots, complexity theory

Autoři

SANGCHOOLIE, B.; BECKER, H.; KANAK, A.; POMANTE, L.; SCHLICK, R.; SMRČKA, A.; BARBOSA, R.; ESNAOLA, M.; FERRARI, E.; GIANTAMIDIS, G.; PEREIRA, D.; YAZICI, A.; FOLKESSON, P.

Vydáno

26. 8. 2020

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

Krajn

ISBN

978-1-7281-9535-3

Kniha

2020 23rd Euromicro Conference on Digital System Design (DSD 2020)

Strany od

352

Strany do

359

Strany počet

8

URL

https://ieeexplore.ieee.org/document/9217663

BibTex

@inproceedings{BUT168135,
  author="SANGCHOOLIE, B. and BECKER, H. and KANAK, A. and POMANTE, L. and SCHLICK, R. and SMRČKA, A. and BARBOSA, R. and ESNAOLA, M. and FERRARI, E. and GIANTAMIDIS, G. and PEREIRA, D. and YAZICI, A. and FOLKESSON, P.",
  title="The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security",
  booktitle="2020 23rd Euromicro Conference on Digital System Design (DSD 2020)",
  year="2020",
  pages="352--359",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Krajn",
  doi="10.1109/DSD51259.2020.00064",
  isbn="978-1-7281-9535-3",
  url="https://ieeexplore.ieee.org/document/9217663"
}