Detail publikace

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

BARBOSA Raul, ESNAOLA Mikel L., GIANTAMIDIS Georgios, PEREIRA David M., SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš a YAZICI Ahmed a kol. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems, roč. 87, č. 104349, 2021, s. 1-18. ISSN 0141-9331. Dostupné z: https://doi.org/10.1016/j.micpro.2021.104349
Název česky
Projekt VALU3S ECSEL: Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Barbosa Raul (UC)
Esnaola Mikel L. (CAFS)
Giantamidis Georgios (UTRC)
Pereira David M. (ISEP)
Sangchoolie Behrooz, Ph.D. (RISE)
Schlick Rupert (AIT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
a další
URL
Klíčová slova

verifikace, validate, automatizované systémy, bezpečnost, soukromí

Abstrakt

Výrobci automatizovaných systémů a jejich komponent alokují enormní množství času a úsilí na výzkum a vývoj, což vedlo k dostupnosti prototypů demonstrujících nové možnosti a rovněž i k představení těchto systémů na trhu různých domén. Výrobci se musí ujistit, že systémy fungují zamýšleným způsobem a podle specifikací. Nejde o jednoduchý úkol, protože složitost systému dramaticky narůstá, čím více se tyto systémy stávají integrovanějšími a propojenějšími s tím, jak se k nim přidávají automatizované funkce a funkce. Toto úsilí se promítá do režijních nákladů na proces V&V (verifikace a validace), což je časově náročné a nákladné. V tomto článku představujeme VALU3S, projekt ECSEL JU, který se zaměřuje na vyhodnocení moderních metod a nástrojů V&V a navrhuje vícedoménový rámec pro vytvoření jasné struktury komponent a prvků potřebných k provádění procesu V&V. Hlavním očekávaným přínosem takového rámce je snížení času a nákladů potřebných k ověřování a ověřování automatizovaných systémů s ohledem na požadavky na spolehlivost, kybernetickou bezpečnost a soukromí. To se děje prostřednictvím identifikace a klasifikace hodnotících metod, nástrojů, prostředí a konceptů pro V&V automatizovaných systémů s ohledem na uvedené požadavky.
Projekt VALU3S poskytne pokyny pro komunitu V&V včetně vývojářů a výzkumníků o tom, jak by bylo možné zlepšit V&V automatizovaných systémů s ohledem na náklady, čas a úsilí při provádění procesů V&V. Za tímto účelem sdružuje konsorcium VALU3S partnery z 10 různých zemí zahrnující 25 průmyslových partnerů, 6 předních výzkumných ústavů a 10 univerzit.

Rok
2021
Strany
1-18
Časopis
Microprocessors and Microsystems, roč. 87, č. 104349, ISSN 0141-9331
Vydavatel
Elsevier Science
DOI
10.1016/j.micpro.2021.104349
EID Scopus
2-s2.0-85119177386
BibTeX 
@ARTICLE{FITPUB12626,
   author = "Raul Barbosa and L. Mikel Esnaola and Georgios Giantamidis and M. David Pereira and Behrooz Sangchoolie and Rupert Schlick and Ale\v{s} Smr\v{c}ka and Ahmed Yazici and et al.",
   title = "The VALU3S ECSEL project: Verification and validation of automated systems safety and security",
   pages = "1--18",
   journal = "Microprocessors and Microsystems",
   volume = 87,
   number = 104349,
   year = 2021,
   ISSN = "0141-9331",
   doi = "10.1016/j.micpro.2021.104349",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12626"
}
Nahoru