Project Details

Verification and Validation of Automated Systems' Safety and Security

Project Period: 1. 5. 2020 – 30. 4. 2023

Project Type: grant

Code: 8A20009

Agency: Evropská unie

Program: Horizon 2020

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

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
  • LI, Z.; SZALACHOWSKI, P.; VENUGOPALAN, S.; HOMOLIAK, I. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. 2023. p. 0-0. 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
  • 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-2011. 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. Cham: 2022. p. 368-382. 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
Back to top