Detail projektu

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

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

Typ projektu: grant

Kód: 8A20009, 876852

Agentura: ECSEL Joint Undertaking

Program: Společná technologická iniciativa ECSEL

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 FIT VUT) , hlavní ř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)
Harmim Dominik, Ing. (UITS 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)
Chlubna Tomáš, Ing. (UPGM FIT VUT)
Juráček Ivo, Bc. (UPGM FIT VUT)
Kišš Martin, Ing. (UPGM FIT VUT)
Kohút Jan, Ing. (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, Ing. (FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Rozsíval Michal, Ing. (FIT VUT)
Sangchoolie Behrooz, Ph.D. (RISE)
Sauchanka Igar (FIT VUT)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT)
Svobodová Lucie, Bc. (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

2023

  • LI Zengpeng, SZALACHOWSKI Pawel, VENUGOPALAN Sarad a HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, s. 15. Detail
  • ROZSÍVAL Michal a SMRČKA Aleš. 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, s. 207-210. ISBN 979-8-3503-2543-0. Detail
  • FIEDOR Tomáš, HRUŠKA Martin a SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Zurich: Springer International Publishing, 2023, s. 223-231. ISBN 978-3-031-25311-9. Detail
  • STANČÍKOVÁ Ivana a HOMOLIAK Ivan. 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, s. 203-2011. ISBN 978-1-4503-9517-5. Detail
  • SMRČKA Aleš, SANGCHOOLIE Behrooz, EMANUELE Mingozzi, VARA Luis De La Jose, FARRELL Marie, BARBOSA Raul, BAGLUM Cem, YAYAN Ugur, ERGUN Salih a KANAK Alper. Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]. Open Research Europe, roč. 3, č. 219, 2023, s. 1-21. ISSN 2732-5121. Detail

2022

  • BAUER Thomas, AGIRRE Andoni Joseba, FÜRCHO David, HERZNER Wolfgang, HRUŠKA Bob, KARACA Mustafa, PEREIRA David M., PROENÇA José, SCHLICK Rupert, SICHER Robert, SMRČKA Aleš, YAYAN Ugur a SANGCHOOLIE Behrooz. 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. Cham, 2022, s. 368-382. Detail

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: 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. Detail
Produkty

2023

  • 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
    Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail
  • Nástroj pro testování síťových aplikací založený na injekci vad, software, 2023
    Autoři: Rozsíval Michal, Smrčka Aleš Detail

2020

  • Testos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++, software, 2020
    Autoři: Smrčka Aleš, Sečkařová Petra Detail
Nahoru