Detail publikace

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

BARBOSA Raul, BECKER Hauke, ESNAOLA Mikel L., FERRARI Enrico, FOLKESSON Peter, GIANTAMIDIS Georgios, KANAK Alper, PEREIRA David M., POMANTE Luigi, SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš a YAZICI Ahmed. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In: 2020 23rd Euromicro Conference on Digital System Design (DSD 2020). Krajn: Institute of Electrical and Electronics Engineers, 2020, s. 352-359. ISBN 978-1-7281-9535-3. Dostupné z: https://ieeexplore.ieee.org/document/9217663
Název česky
Projekt ECSEL VALU3S: Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Barbosa Raul (UC)
Becker Hauke (NXP-DE)
Esnaola Mikel L. (CAFS)
Ferrari Enrico (RULEX)
Folkesson Peter (RISE)
Giantamidis Georgios (UTRC)
Kanak Alper (ERARGE)
Pereira David M. (ISEP)
Pomante Luigi (univaq)
Sangchoolie Behrooz, Ph.D. (RISE)
Schlick Rupert (AIT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Yazici Ahmed (ESOGU)
URL
Abstrakt

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.

Rok
2020
Strany
352-359
Sborník
2020 23rd Euromicro Conference on Digital System Design (DSD 2020)
Konference
23rd Euromicro Conference on Digital System Design (DSD), Portorož, Slovenia, Grand Hotel Bernardin, SI
ISBN
978-1-7281-9535-3
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Krajn, SI
DOI
UT WoS
000630443300053
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12308,
   author = "Raul Barbosa and Hauke Becker and L. Mikel Esnaola and Enrico Ferrari and Peter Folkesson and Georgios Giantamidis and Alper Kanak and M. David Pereira and Luigi Pomante and Behrooz Sangchoolie and Rupert Schlick and Ale\v{s} Smr\v{c}ka and Ahmed Yazici",
   title = "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security",
   pages = "352--359",
   booktitle = "2020 23rd Euromicro Conference on Digital System Design (DSD 2020)",
   year = 2020,
   location = "Krajn, SI",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-7281-9535-3",
   doi = "10.1109/DSD51259.2020.00064",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12308"
}
Nahoru