Project Details

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

Project Period: 1. 5. 2020 - 31. 7. 2023

Project Type: grant

Code: 8A20009, 876852

Agency: ECSEL Joint Undertaking

Program: Společná technologická iniciativa ECSEL

Czech title
Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Type
grant
Keywords

Security; Automotive; Simulation tools and technologies; Industrial Automation and Robotics, mechatronics; Systems engineering, sensorics, actorics, automation; System of systems; Safety; Verification and validation; Testing; Automated systems

Abstract

Manufacturers of automated systems (such as automated driving systems) and the manufacturers of the components used in these automated systems have been allocating an enormous amount of time and effort in the past years developing and conducting research on automated systems. The main effort put on the development of these systems is placed on a key factor, "getting them to work". As the new functionality of these automated systems were shown in development prototypes, they now need to be introduced to the market. However, between a development prototype demonstrating new capabilities and a production version are significant differences with respect to safety and reliability. To be introduced to market it must be clear, that these new automated systems are safe and secure. To show this, these systems need to be verified and validated taking into account requirements such as safety, cybersecurity, and privacy. The focus of the VALU3S is on verification and validation of cyber-physical automated systems. For this, VALU3S will investigate methods, tools and concepts that suit the evaluation of automated systems. The project aims to create and evaluate a multi-domain verification and validation framework which facilitates evaluation of automated systems from component level to system level with the aim of reducing the time and effort needed to evaluate these systems. The framework is multi-dimensional and the initial dimensions of the framework include (i) the evaluation environment, (ii) type of evaluation, (iii) type of component under evaluation, and (iv) the logic of the component under evaluation. The framework is also layered as each dimension of the framework consists of multiple layers. For example, when it comes to the evaluation environment, the verification and validation process could be conducted in a (a) simulation environment, (b) a closed evaluation environment or (c) in an open environment which is also referred to as in-the-field.

Team members
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , research leader
Č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)
Publications

2023

  • LI Zengpeng, SZALACHOWSKI Pawel, VENUGOPALAN Sarad and HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, p. 15. Detail
  • ROZSÍVAL Michal and 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, pp. 207-210. ISBN 979-8-3503-2543-0. Detail
  • FIEDOR Tomáš, HRUŠKA Martin and SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, vol. 13789. Zurich: Springer International Publishing, 2023, pp. 223-231. ISBN 978-3-031-25311-9. Detail
  • STANČÍKOVÁ Ivana and 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, pp. 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 and 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, vol. 3, no. 219, 2023, pp. 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 and 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, pp. 368-382. Detail

2021

  • CASINO Fran, LYKOUSAS Nikolaos, HOMOLIAK Ivan, PATSAKIS Constantinos and HERNANDEZ-CASTRO Julio. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, vol. 2021, no. 190, pp. 1-17. ISSN 1084-8045. Detail
  • HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard and SZALACHOWSKI Pawel. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys and Tutorials, vol. 23, no. 1, 2021, pp. 341-390. ISSN 1553-877X. Detail
  • BARBOSA Raul, ESNAOLA Mikel L., GIANTAMIDIS Georgios, PEREIRA David M., SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš and YAZICI Ahmed et al. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems, vol. 87, no. 104349, 2021, pp. 1-18. ISSN 0141-9331. Detail

2020

  • HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun and 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, pp. 17-25. ISBN 978-0-7381-0495-9. Detail
  • BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan and 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, pp. 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š and 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, pp. 352-359. ISBN 978-1-7281-9535-3. Detail
Products

2023

  • 2LS: Static Analyser and Verifier, version 0.10, software, 2023
    Authors: 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
  • Network application tester based on fault-injection, software, 2023
    Authors: Rozsíval Michal, Smrčka Aleš Detail

2020

  • Testos-Spectra: A tool for verification of ptLTL on C/C++ programs, software, 2020
    Authors: Smrčka Aleš, Sečkařová Petra Detail
Back to top