Skip to main content

Verification and Validation of Automated Systems' Safety and Security


Identified gaps and limitations of the V&V methods listed in D3.1

Detailed V&V methods missing from D3.1, useful for the evaluation of the VALU3S use cases and scenarios that are not sufficiently verified or where the currently used V&V methods do not allow for sufficient confidence.

Initial dissemination and training activity report

Initial dissemination activity report summarizing the dissemination-related achievements and results connecting these to plans defined in D6.3.

V&V methods for SCP evaluation of automated systems

A detailed list of commonly-used as well as state-of-the-art experimental and analytical V&V methods useful for evaluation of SCP requirements of automated systems.

Initial exploitation activity report and short/long-term market analysis

Initial exploitation activity report and short/long-term market analysis summarizing the exploitation-related achievements and results connecting these to plans defined in D6.4.

Initial communication activity report

Initial communication activity report according to plans initiated in D6.6, detailing actions that have been taken to facilitate effective and productive communication with external entities.

Final report on the results of the standardisation survey (methods, tools, concepts suggested by the standards)

Final report on relevant standards and corresponding application domains addressed by the project and on the status of the relation between baseline methods, tools, methodologies to be used in the project. The report is an update on deliverable D6.5.

VALU3S public web page

The project website that is mainly used for the dissemination of the project and its activities.

Press Conference to launch VALU3S

Press conference to launch the project.

Searching for OpenAIRE data...


Learning affine predictors for MPC of nonlinear systems via artificial neural networks

Author(s): Daniele Masti, Francesco Smarra, Alessandro D’Innocenzo, Alberto Bemporad
Published in: IFAC-PapersOnLine, 53/2, 2020, Page(s) 5233-5238, ISSN 2405-8963
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1199

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Author(s): Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson
Published in: IEEE Transactions on Dependable and Secure Computing, 2021, Page(s) 1-1, ISSN 1545-5971
Publisher: IEEE Computer Society
DOI: 10.1109/tdsc.2020.3043023

Hubs for VirtuosoNext: Online verification of real-time coordinators

Author(s): Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst
Published in: Science of Computer Programming, 203, 2021, Page(s) 102566, ISSN 0167-6423
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2020.102566

Assurance and certification of cyber–physical systems: The AMASS open source ecosystem

Author(s): Jose Luis de la Vara, Alejandra Ruiz, Gaël Blondelle
Published in: Journal of Systems and Software, 171, 2021, Page(s) 110812, ISSN 0164-1212
Publisher: Elsevier BV
DOI: 10.1016/j.jss.2020.110812

Feeling of Safety and Comfort Towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home

Author(s): Lidia Maria Belmonte; Arturo Simón García; Rafael Morales; José Luis de la Vara; Antonio Fernández-Caballero
Published in: Sensors, 4, 2020, ISSN 1424-8220
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.20944/preprints202010.0174.v1

Learning Markov Jump Affine Systems via Regression Trees for MPC

Author(s): Francesco Smarra, Alessandro D’Innocenzo
Published in: IFAC-PapersOnLine, 53/2, 2020, Page(s) 5252-5257, ISSN 2405-8963
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1203

An empirical evaluation of the use of models to improve the understanding of safety compliance needs

Author(s): Jose Luis de la Vara, Beatriz Marín, Clara Ayora, Giovanni Giachetti
Published in: Information and Software Technology, 126, 2020, Page(s) 106351, ISSN 0950-5849
Publisher: Elsevier BV
DOI: 10.1016/j.infsof.2020.106351

Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry

Author(s): Borja Lopez, Jose Maria Alvarez-Rodriguez, Eugenio Parra, Jose Luis de la Vara
Published in: 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S), 2020, Page(s) 37-40, ISBN 978-1-7281-7260-6
Publisher: IEEE
DOI: 10.1109/dsn-s50200.2020.00022

SmartOTPs - An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets

Author(s): Ivan Homoliak, Dominik Breitenbacher, Ondrej Hujnak, Pieter Hartel, Alexander Binder, Pawel Szalachowski
Published in: Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, 2020, Page(s) 145-162, ISBN 9781450381390
Publisher: ACM
DOI: 10.1145/3419614.3423257

The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems

Author(s): De La Vara, J. L.,Parra, E., Ruiz, A., Gallina, B.
Published in: CEUR Workshop Proceedings, 2584, 2020
Publisher: CEUR-WS

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Author(s): R. Barbosa, S. Basagiannis, G. Giantamidis, H. Becker, E. Ferrari, J. Jahic, A. Kanak, M. Labayen Esnaola, V. Orani, D. Pereira, L. Pomante, R. Schlick, A. Smrcka, A. Yazici, P. Folkesson, B. Sangchoolie
Published in: 2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Page(s) 352-359, ISBN 978-1-7281-9535-3
Publisher: IEEE
DOI: 10.1109/dsd51259.2020.00064

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Author(s): Giann Spilere Nandi, David Pereira, Jose Proenca, Eduardo Tovar
Published in: 2020 IEEE Real-Time Systems Symposium (RTSS), 2020, Page(s) 395-398, ISBN 978-1-7281-8324-4
Publisher: IEEE
DOI: 10.1109/rtss49844.2020.00047

Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems

Author(s): Borg, Markus; Bronson, Joshua; Christensson, Linus; Olsson, Fredrik; Lennartsson, Olof; Sonnsjö, Elias; Ebabi, Hamid; Karsberg, Martin
Published in: Proceedings of the 2nd Workshop on Ethics in Software Engineering Research and Practice, 2021
Publisher: IEEE

Digital Twins Are Not Monozygotic – Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators

Author(s): Markus Borg, Raja Ben Abdessalem, Shiva Nejati, Francois-Xavier Jegeden, Donghwan Shin
Published in: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, Page(s) 383-393, ISBN 978-1-7281-6836-4
Publisher: IEEE
DOI: 10.1109/icst49551.2021.00050

Test Automation with Grad-CAM Heatmaps -- A Future Pipe Segment in MLOps for Vision AI?

Author(s): Borg, Markus; Jabangwe, Ronald; Åberg, Simon; Ekblom, Arvid; Hedlund, Ludwig; Lidfeldt, August
Published in: 2, 2021
Publisher: IEEE

Implementing Hybrid Semantics: From Functional to Imperative

Author(s): Sergey Goncharov, Renato Neves, José Proença
Published in: Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings, 12545, 2020, Page(s) 262-282, ISBN 978-3-030-64275-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-64276-1_14