Detail publikace
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security
BECKER, H.
KANAK, A.
POMANTE, L.
SCHLICK, R.
Smrčka Aleš, Ing., Ph.D. (UITS)
BARBOSA, R.
ESNAOLA, M.
FERRARI, E.
GIANTAMIDIS, G.
PEREIRA, D.
YAZICI, A.
FOLKESSON, P.
a další
tools, safety, computer security, service robots, complexity theory
Výrobci automatizovaných systémů a jejich komponent alokují enormní množství času a úsilí na výzkum a vývoj. Toto úsilí je způsobeno přetížením procesu V&V (verifikace a validace). V tomto článku je prezentován projekt ECSEL JU VALU3S, který se zaměřuje na evaluaci aktuálních V&V metod a nástrojů, navrhuje vícedoménový framework k vytvoření čisté struktury komponent a elementů potřebných k provedení procesu V&V. Hlavní očekávaným benefitem takového frameworku je redukce času a nákladů potřebné pro verifikaci a validaci automatických systémů s ohledem na požadavky na spolehlivost, kyberbezpečnost a soukromí. Tohoto je vytvořeno díky identifikaci a klasifikaci evaluačních metod, nástrojů prostředí a konceptů pro V&V automatických systémů s ohledem na požadované parametry. Projekt VALU3S spojuje konsorcium partnerů z 10 různých zemích zahrnující 25 průmyslových partnerů, 6 hlavních výzkumných institucí a 10 univerzit.
@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"
}