Detail publikace

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

PEREIRA, D.; SANGCHOOLIE, B.; SMRČKA, A.; BARBOSA, R.; ESNAOLA, M.; GIANTAMIDIS, G.; SCHLICK, R.; YAZICI, A. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems, 2021, vol. 87, no. 104349, p. 1-18. ISSN: 0141-9331.
Název česky
Projekt VALU3S ECSEL: Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Typ
článek v časopise
Jazyk
anglicky
Autoři
PEREIRA, D.
Sangchoolie Behrooz
Smrčka Aleš, Ing., Ph.D. (UITS)
BARBOSA, R.
ESNAOLA, M.
GIANTAMIDIS, G.
SCHLICK, R.
YAZICI, A.
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
DOI
10.1016/j.micpro.2021.104349
EID Scopus
2-s2.0-85119177386
BibTeX 
@article{BUT173264,
  author="PEREIRA, D. and SANGCHOOLIE, B. and SMRČKA, A. and BARBOSA, R. and ESNAOLA, M. and GIANTAMIDIS, G. and SCHLICK, R. and YAZICI, A.",
  title="The VALU3S ECSEL project: Verification and validation of automated systems safety and security",
  journal="Microprocessors and Microsystems",
  year="2021",
  volume="87",
  number="104349",
  pages="1--18",
  doi="10.1016/j.micpro.2021.104349",
  issn="0141-9331",
  url="https://doi.org/10.1016/j.micpro.2021.104349"
}
Nahoru