VALU3S - Verification and Validation of Automated Systems' Safety and Security

Název česky

Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů

Typ

grant

Klíčová slova

Bezpečnost; Automobilový průmysl; Simulační nástroje a technologie; Průmyslová automatizace a robotika, mechatronika; Systémové inženýrsví, senzorika, automatizace; Systém systémů; Spolehlivost; Verifikace a validace; Testování; Automatizované systémy

Abstrakt

Výrobci automatizovaných systémů a výrobci komponent užívaných v automatizovaných systémech v posledních letech alokovali enormní čas a úsilí na vývoj a výzkum automatizovaných systémů. Hlavnímu úsilí věnované vývoji těchto systémů byl položen klíčový faktor: "aby tyto systémy pracovaly". Novou funkcionalitu automatizovaných systémů prozatím implementovanou na prototypech je nyní potřeba dodat úspěšně na trh. Avšak rozdíly mezi vývojovým prototypem demonstrující nové možnosti a verzí určenou pro produkci jsou s ohledem na spolehlivost a bezpečnost významné. Aby mohly být tyto systémy dodány na trh, musí být zřejmé, že jsou spolehlivé. Aby toto mohlo být prokázáno, musí být takové systémy verifikovány a validovány s ohledem na požadavky z oblasti spolehlivosti, kyberbezpečnosti a soukromí. Zaměření projektu VALU3S je právě na verifikaci a validaci kyberbezpečnosti automatizovaných systémů. Projekt VALU3S prozkoumává metody, nástroje a koncepty, které jsou určené nebo vhodné pro vývoj automatizovaných systémů. Projekt cílí na vytvoření a vyhodnocení vícerozměrného verifikačního a validačního rámce, který usnadňuje zhodnocení automatizovaných systémů od úrovně jednotlivých komponent po úroveň celého systému, přičemž se snaží o redukci času a úsilí nutného pro zhodnocení těchto systémů. Daný rámec je vícerozměrný, kde základní rozměry zahrnují (i) vyhodnocení prostředí, (ii) typ vyhodnocení, (iii) typ komponent k vyhodnocení a (iv) logiku komponenty k vyhodnocení. Rámec je také vícevrstvý, přičemž každý rozměr daného rámce obsahuje více vrstev. Například pokud se jedná o vyhodnocení prostředí, proces verifikace a validace může být proveden (a) v simulovaném prostředí, (b) v uzavřeném vyhodnocovacím prostředí nebo (c) ve volném prostředí též označovaném např. jako testování v terénu.

Řešitelé

Sangchoolie Behrooz, Ph.D. (RISE) , hlavní řešitel
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Harmim Dominik, Ing. (FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Homoliak Ivan, Ing., Ph.D. (UITS FIT VUT)
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
Juráček Ivo, Bc. (UPGM FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Liščinský Matúš, Ing. (FIT VUT)
Marcin Vladimír, Ing. (FIT VUT)
Pavela Jiří, Ing. (UITS FIT VUT)
Pavela Ondřej, Bc. (FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Rozsíval Michal, Bc. (FIT VUT)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT)
Tureček Dominik, Bc. (FIT VUT)
Vlnas Michal, Ing. (UPGM FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT)

Publikace

2021

CASINO Fran, LYKOUSAS Nikolaos, HOMOLIAK Ivan, PATSAKIS Constantinos a HERNANDEZ-CASTRO Julio. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, roč. 2021, č. 190, s. 1-17. ISSN 1084-8045. Detail
HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard a SZALACHOWSKI Pawel. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys and Tutorials, roč. 23, č. 1, 2021, s. 341-390. ISSN 1553-877X. Detail
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. Detail

2020

HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun a SUN Jun. CoinWatch: A Clone-Based Approach for Detecting Vulnerabilities in Cryptocurrencies. In: 3rd IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020). Rhodos: Institute of Electrical and Electronics Engineers, 2020, s. 17-25. ISBN 978-0-7381-0495-9. Detail
BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan a HUJŇÁK Ondřej. SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. In: Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. New York City: Association for Computing Machinery, 2020, s. 145-162. ISBN 978-1-4503-8139-0. Detail
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: 23rd Euromicro Conference on Digital System Design (DSD) . Krajn: Institute of Electrical and Electronics Engineers, 2020, s. 352-359. ISBN 978-1-7281-9535-3. Detail