Detail projektu

Verification and Validation of Automated Systems' Safety and Security

Období řešení: 1. 5. 2020 – 31. 7. 2023

Typ projektu: grant

Kód: 8A20009

Agentura: Evropská unie

Program: Horizon 2020

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é
Smrčka Aleš, Ing., Ph.D. (UITS) – hlavní řešitel
Češka Milan, doc. RNDr., Ph.D. (UITS)
Fiedor Jan, Ing., Ph.D. (UITS)
Harmim Dominik, Ing. (FP)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Homoliak Ivan, doc. Ing., Ph.D. (UITS)
Hrubý Martin, Ing., Ph.D. (UITS)
Chlubna Tomáš, Ing., Ph.D. (UPGM)
Juráček Ivo, Bc.
Kišš Martin, Ing. (UPGM)
Kohút Jan, Ing. (UPGM)
Křena Bohuslav, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Liščinský Matúš, Ing.
Marcin Vladimír, Ing.
Pavela Jiří, Ing. (UITS)
Pavela Ondřej, Ing.
Peringer Petr, Dr. Ing. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozsíval Michal, Ing. (UITS)
Sangchoolie Behrooz
Sauchanka Igar (FIT)
Smrčka Aleš, Ing., Ph.D. (UITS)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM)
Svobodová Lucie, Bc.
Tureček Dominik, Bc.
Vlnas Michal, Ing. (UPGM)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
Publikace

2023

  • HRUŠKA, M.; FIEDOR, T.; SMRČKA, A. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2023. p. 223-231. ISBN: 978-3-031-25311-9. Detail
  • SMRČKA, A.; ROZSÍVAL, M. NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Porto: Institute of Electrical and Electronics Engineers, 2023. p. 207-210. ISBN: 979-8-3503-2543-0. Detail
  • SMRČKA, A.; SANGCHOOLIE, B.; EMANUELE, M.; VARA, J.; FARRELL, M.; BARBOSA, R.; BAGLUM, C.; YAYAN, U.; ERGUN, S.; KANAK, A. Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems. Open Research Europe, 2023, vol. 3, no. 219, p. 1-21. ISSN: 2732-5121. Detail
  • STANČÍKOVÁ, I.; HOMOLIAK, I. SBvote: Scalable Self-Tallying Blockchain-Based Voting. In SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Tallin: Association for Computing Machinery, 2023. p. 203-211. ISBN: 978-1-4503-9517-5. Detail

2022

  • BAUER, T.; AGIRRE, J.; FÜRCHO, D.; HERZNER, W.; HRUŠKA, B.; KARACA, M.; PEREIRA, D.; PROENÇA, J.; SCHLICK, R.; SICHER, R.; SMRČKA, A.; YAYAN, U.; SANGCHOOLIE, B. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: 2022. p. 368-382. ISSN: 0302-9743. Detail
  • HRUBÝ, M.; GONZALEZ, A.; RUIZ NOLASCO, R.; BIRO, P. Simulation Setup for a Closed-Loop Regulation of Neuro-Muscular Blockade. In EUROCAST 2022. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Las Palmas de Gran Canaria: Springer Verlag, 2022. p. 207-214. ISBN: 978-3-031-25311-9. Detail

2021

  • CASINO, F.; LYKOUSAS, N.; HOMOLIAK, I.; PATSAKIS, C.; HERNANDEZ-CASTRO, J. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2021, vol. 2021, no. 190, p. 1-17. ISSN: 1084-8045. Detail
  • HOMOLIAK, I.; VENUGOPALAN, S.; REIJSBERGEN, D.; HUM, Q.; SCHUMI, R.; SZALACHOWSKI, P. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE COMMUN SURV TUT, 2021, vol. 23, no. 1, p. 341-390. ISSN: 1553-877X. Detail
  • 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. Detail

2020

  • BINDER, A.; BREITENBACHER, D.; HARTEL, P.; SZALACHOWSKI, P.; HOMOLIAK, I.; HUJŇÁK, O. 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. p. 145-162. ISBN: 978-1-4503-8139-0. Detail
  • HUM, Q.; TAN, W.; TEY, S.; LENUS, L.; HOMOLIAK, I.; LIN, Y.; SUN, J. 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. p. 17-25. ISBN: 978-0-7381-0495-9. Detail
  • SANGCHOOLIE, B.; BECKER, H.; KANAK, A.; POMANTE, L.; SCHLICK, R.; SMRČKA, A.; BARBOSA, R.; ESNAOLA, M.; FERRARI, E.; GIANTAMIDIS, G.; PEREIRA, D.; YAZICI, A.; FOLKESSON, P. 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. p. 352-359. ISBN: 978-1-7281-9535-3. Detail
Produkty

2023

2020

Nahoru