Verification and Validation of Automated Systems' Safety and Security

Livrables

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

Detailed VV methods missing from D31 useful for the evaluation of the VALU3S use cases and scenarios that are not sufficiently verified or where the currently used VV methods do not allow for sufficient confidence

Final detailed description of improved process workflows

Final detailed description of the design of improved process workflows The workflows will follow the plans defined in Task 41 and will make use of the techniques identified in WP3 and will aim to reduce the time and cost of VV process The deliverable updatesextends the detailed description of the design of improved process workflows defined in D44 and D46 Moreover the lessons learned from the implementation of VV techniques in D45 and D47 will be fed into this deliverable

Initial dissemination and training activity report

Initial dissemination activity report summarizing the disseminationrelated achievements and results connecting these to plans defined in D63

Evaluation report including the evaluation of the improved V&V processes as well as framework limitations

Evaluation report including the evaluation of the demonstrators prototypes and selected use cases according to the improved VV processes The report also includes the limitations of the framework designed in WP2 as a structure around how the VV processes could be improved

Final communication activity report

Final communication activity report based on an update of the communication activity reports delivered by D6611 and D618 summarizing the external communicationrelated achievements and results connecting these to plans defined in D66 and D614

V&V methods for SCP evaluation of automated systems

A detailed list of commonlyused as well as stateoftheart experimental and analytical VV 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 shortlongterm market analysis summarizing the exploitationrelated achievements and results connecting these to plans defined in D64

Report on the activities conducted to disseminate VALU3S results to different Standardisation groups

Report on the activities conducted to disseminate VALU3S results to different Standardisation groups according to the plans defined in D69 and 617

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

Final exploitation activity report and shortlongterm market analysis based on an update of the initial exploitation activity report delivered by D68 and D616 summarizing the exploitationrelated achievements and results connecting these to plans defined in D64 and D613

Concept for using virtual prototypes (e.g., digital twins) in the context of the simulated verification

Detailed information on how digital twins and packaging of individual contributions specifications and requirements into their form could facilitate verification and validation of systems on several abstraction layers

Initial communication activity report

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

Interim dissemination and training activity report

Interim dissemination activity report based on an update of the initial dissemination activity report delivered by D67 summarizing the disseminationrelated achievements and results connecting these to plans defined in D63 and D612

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 D65

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

Interim exploitation activity report and shortlongterm market analysis based on an update of the initial exploitation activity report delivered by D68 summarizing the exploitationrelated achievements and results connecting these to plans defined in D64 and D613

Interim communication activity report

Interim communication activity report based on an update of the initial communication activity report delivered by D611 summarizing the external communicationrelated achievements and results connecting these to plans defined in D66 and D614

Final demonstration plan and a list of evaluation criteria

Final overview of current state of development processes and measurements used either for development or for showing the improvement of the framework Detailed description of evaluation criteria which will focus on improvement of SCP aspects of the development process This deliverable elaborates the details obtained in D51 and create final plans for the demonstrators

Final dissemination and training activity report

Final dissemination activity report based on an update of the initial and dissemination activity reports delivered by D67 and D615 summarizing the disseminationrelated achievements and results connecting these to plans defined in D63 and D612

VALU3S public web page

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

Updated/redesigned web-based repository with respect to the feedbacks obtained from D3.3, D3.7, D4.12 and D5.7

As the webbased repository will store also outputs of WP3WP5 such as VV methods processes and tools this deliverable deals the creation of updatedredesigned webbased repository throughout the project taking into account feedback from WP3WP5

Updated web-based repository, linking V&V evaluation results to the framework

Mapped VV evaluation results to different layers of the multidimensional framework use cases and test cases as well as updated webbased repository with the mapped details This way the webbased repository would have further details about the evaluations conducted using specific tools and use cases

Final VALU3S Events, including Press Conference and Open Workshop

Final project events including Press Conference and Open Workshop

Updated web-based repository, linking V&V tools to the framework

Mapped VV tools and workflows to different layers of the multidimensional framework use cases and test cases as well as updated webbased repository with the mapped details This way the webbased repository would have further details about the tools that could be used to conduct and improve VV of different test cases

Press Conference to launch VALU3S

Press conference to launch the project

Final Demo

On site demonstration event where the experiences and lessons learnt will be presented for end users of the framework. Demonstrators will be evaluated in accordance with selected evaluation criteria.

Publications

Learning methods for structural damage detection via entropy-based sensors selection

Auteurs: Francesco Smarra,Jimmy Tjen,Alessandro D'Innocenzo
Publié dans: International Journal of Robust and Nonlinear Control, 2022, Page(s) 1-33, ISSN 1099-1239
Éditeur: Wiley
DOI: 10.1002/rnc.6124

Endüstriyel Robot Hareket Planlama Algoritmaları Performans Karşılaştırması

Auteurs: Uğur YAYAN,Alim ERDOĞMUŞ
Publié dans: Journal of Science, Technology and Engineering Research, Numéro 2, 2021, Page(s) 31-45, ISSN 2717-8404
Éditeur: Mehmet BULUT
DOI: 10.53525/jster.979689

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

Auteurs: Daniele Masti, Francesco Smarra, Alessandro D’Innocenzo, Alberto Bemporad
Publié dans: IFAC-PapersOnLine, Numéro 53/2, 2020, Page(s) 5233-5238, ISSN 2405-8963
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1199

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

Auteurs: Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson
Publié dans: IEEE Transactions on Dependable and Secure Computing, 2021, Page(s) 1-1, ISSN 1545-5971
Éditeur: IEEE Computer Society
DOI: 10.1109/tdsc.2020.3043023

Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor

Auteurs: Frederico Cerveira, Raul Barbosa, Henrique Madeira
Publié dans: IEEE Access, Numéro 9, 2021, Page(s) 105255 - 105269, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2021.3098644

Hubs for VirtuosoNext: Online verification of real-time coordinators

Auteurs: Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst
Publié dans: Science of Computer Programming, Numéro 203, 2021, Page(s) 102566, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2020.102566

Comparison of RGB-D and IMU-based gesture recognition for human-robot interaction in remanufacturing

Auteurs: Luis Roda-Sanchez, Celia Garrido-Hidalgo, Arturo S. García, Teresa Olivares & Antonio Fernández-Caballero
Publié dans: The International Journal of Advanced Manufacturing Technology, 2022, ISSN 1433-3015
Éditeur: Springer
DOI: 10.1007/s00170-021-08125-9

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

Auteurs: Jose Luis de la Vara, Alejandra Ruiz, Gaël Blondelle
Publié dans: Journal of Systems and Software, Numéro 171, 2021, Page(s) 110812, ISSN 0164-1212
Éditeur: Elsevier BV
DOI: 10.1016/j.jss.2020.110812

Model-based assurance evidence management for safety–critical systems

Auteurs: Jose Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora
Publié dans: Software and Systems Modeling, 2022, ISSN 1619-1374
Éditeur: Springer
DOI: 10.1007/s10270-021-00957-z

Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project

Auteurs: Alper Kanak; Salih Ergun; Ahmet Yazici; Metin Ozkan; Gürol Çokünlü; Ugur Yayan; Mustafa Karaca; Abdullah Taha Arslan
Publié dans: Open Research Europe, Numéro 1, 2021, ISSN 2732-5121
Éditeur: Open Research Europe
DOI: 10.12688/openreseurope.13627.1

Goal-Conditioned Reinforcement Learning within a Human-Robot Disassembly Environment

Auteurs: Íñigo Elguea-Aguinaco; Antonio Serrano-Muñoz; Dimitrios Chrysostomou; Ibai Inziarte-Hidalgo; Simon Bøgh; Nestor Arana-Arexolaleiba
Publié dans: Applied Sciences, Numéro 22, 2022, ISSN 2076-3417
Éditeur: MDPI
DOI: 10.3390/app122211610

Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods

Auteurs: Giovanni Giachetti, José Luis de la Vara, and Beatriz Marín
Publié dans: Business & Information Systems Engineering, Numéro 65, 2023, Page(s) 103–125, ISSN 1867-0202
Éditeur: Springer Verlag
DOI: 10.1007/s12599-022-00785-5

Human-robot interaction in Industry 4.0 based on an Internet of Things real-time gesture control system

Auteurs: Luisa Roda-Sanchez, Teresa Olivares, Celia Garrido-Hidalgo, José Luis de la Vara, Antonio Fernández-Caballero
Publié dans: Integrated Computer-Aided Engineering, Numéro vol. 28, no. 2, 2021, Page(s) 159-175, ISSN 1875-8835
Éditeur: IOS Press
DOI: 10.3233/ica-200637

Facial Emotion Recognition from an Unmanned Flying Social Robot for Home Care of Dependent People

Auteurs: Anselmo Martínez,Lidia M. Belmonte, Arturo S. García,Antonio Fernández-Caballero, Rafael Morales
Publié dans: Electronics, 2021, ISSN 2079-9292
Éditeur: MDPI
DOI: 10.3390/electronics10070868

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

Auteurs: Lidia Maria Belmonte; Arturo Simón García; Rafael Morales; José Luis de la Vara; Antonio Fernández-Caballero
Publié dans: Sensors, Numéro 4, 2020, ISSN 1424-8220
Éditeur: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.20944/preprints202010.0174.v1

Learning Markov Jump Affine Systems via Regression Trees for MPC

Auteurs: Francesco Smarra, Alessandro D’Innocenzo
Publié dans: IFAC-PapersOnLine, Numéro 53/2, 2020, Page(s) 5252-5257, ISSN 2405-8963
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1203

Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blue depth sensor on a circular rail

Auteurs: Ramón Panduro; Eva Segura; Lidia M. Belmonte; Antonio Fernández-Caballero; Paulo Novais; Jesús Benet; Rafael Morales
Publié dans: Integrated Computer-Aided Engineering, Numéro 3, 2020, Page(s) 267-285, ISSN 1069-2509
Éditeur: IOS Press
DOI: 10.3233/ica-200622

Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains

Auteurs: Fran Casino, Nikolaos Lykousas, Ivan Homoliak, Constantinos Patsakis, Julio Hernandez-Castro
Publié dans: Journal of Network and Computer Applications, 2021, ISSN 1084-8045
Éditeur: Academic Press
DOI: 10.1016/j.jnca.2021.103135

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Auteurs: J.A. Agirre; L. Etxeberria; Raul Barbosa; S. Basagiannis; G. Giantamidis; Thomas Bauer; Enrico Ferrari; M. Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; Rupert Schlick; Aleš Smrčka; W. Tiberti; Stefano Tonetta; M. Bozzano; A. Yazici; Behrooz Sangchoolie
Publié dans: Microprocessors and Microsystems, Numéro 5, 2021, ISSN 0141-9331
Éditeur: Elsevier BV
DOI: 10.1016/j.micpro.2021.104349

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

Auteurs: Jose Luis de la Vara, Beatriz Marín, Clara Ayora, Giovanni Giachetti
Publié dans: Information and Software Technology, Numéro 126, 2020, Page(s) 106351, ISSN 0950-5849
Éditeur: Elsevier BV
DOI: 10.1016/j.infsof.2020.106351

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

Auteurs: José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
Publié dans: Lecture Notes in Computer Science, Numéro 13294, 2022, Page(s) 83-94, ISBN 978-3-031-05814-1
Éditeur: Springer
DOI: 10.1007/978-3-031-05814-1_6

Measuring lead times for failure prediction

Auteurs: F. Cerveira, J. Domingos, R. Barbosa , H. Madeira
Publié dans: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), 2021, ISBN 978-1-6654-2476-9
Éditeur: IEEE
DOI: 10.1109/prdc53464.2021.00020

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller

Auteurs: Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Publié dans: International Working Conference on Requirements Engineering: Foundation for Software Quality, 2021, ISBN 978-3-030-98463-2
Éditeur: Springer, Cham
DOI: 10.1007/978-3-030-98464-9_9

Towards Refactoring FRETish Requirements

Auteurs: Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan
Publié dans: NASA Formal Methods. NFM 2022. Lecture Notes in Computer Science, Numéro 13260, 2021, ISBN 978-3-031-06772-3
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-06773-0_14

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements

Auteurs: Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
Publié dans: IEEE Aerospace Conference, 2021
Éditeur: IEEE

Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apollo in SVL

Auteurs: Hamid Ebadi; Mahshid Helali Moghadam; Markus Borg; Gregory Gay; Afonso Fontes; Kasper Socha
Publié dans: 2021 IEEE International Conference On Artificial Intelligence Testing (AITest), Numéro 1, 2021, Page(s) 103-110
Éditeur: IEEE
DOI: 10.1109/aitest52744.2021.00030

Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry

Auteurs: Borja Lopez, Jose Maria Alvarez-Rodriguez, Eugenio Parra, Jose Luis de la Vara
Publié dans: 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
Éditeur: IEEE
DOI: 10.1109/dsn-s50200.2020.00022

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

Auteurs: Markus Borg; Joshua Bronson; Linus Christensson; Fredrik Olsson; Olof Lennartsson; Elias Sonnsjo; Hamid Ebabi; Martin Karsberg
Publié dans: SEthics@ICSE, Numéro 1, 2021, Page(s) 5-12
Éditeur: IEEE
DOI: 10.1109/sethics52569.2021.00009

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Auteurs: Luc Edixhoven, Sung-Shik Jongmans, Guillermina Cledou, José Proença
Publié dans: 36th European Conference on Object-Oriented Programming, ECOOP 2022, 2022
Éditeur: to appear
DOI: 10.4230/lipics.ecoop.2022.27

On Active Learning for Supervisor Synthesis

Auteurs: Ashfaq Farooqui; Ramon Tijsse Claase; Martin Fabian
Publié dans: IEEE Transactions on Automation Science and Engineering, 2022, Page(s) 1-13
Éditeur: IEEE
DOI: 10.1109/tase.2022.3216759

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

Auteurs: Markus Borg; Ronald Jabangwe; Simon Åberg; Arvid Ekblom; Ludwig Hedlund; August Lidfeldt
Publié dans: 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Numéro 1, 2021, Page(s) 175-181, ISBN 978-1-6654-4456-9
Éditeur: IEEE
DOI: 10.1109/icstw52544.2021.00039

Simulation-as-a-Service: a simulation platform for cyber-physical systems

Auteurs: Tagline Treichel, Pablo Oliveira Antonino, Filipe Silva Santos, Leonardo Silva Rosa
Publié dans: 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C), 2021, ISBN 978-1-6654-3910-7
Éditeur: IEEE
DOI: 10.1109/icsa-c52384.2021.00038

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

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

A Proposal for Model-Based Reliability-Oriented System Design in Industry

Auteurs: Jose Luis de la Vara, Juan Manuel Morote
Publié dans: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
Éditeur: IEEE
DOI: 10.1109/qrs-c55045.2021.00170

Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars

Auteurs: Markus Borg
Publié dans: Lean and Agile Software Development. LASD 2022, Numéro Lecture Notes in Business Information Processing, vol 438, 2022, ISBN 978-3-030-94237-3
Éditeur: Springer, Cham
DOI: 10.1007/978-3-030-94238-0_1

An Industrial Approach for Model-Based Reliability-Oriented System Design

Auteurs: Juan Manuel Morote; Jose Luis de la Vara; Giovanni Giachetti; Clara Ayora; Luis Alons
Publié dans: Proceeding of the 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2023
Éditeur: IEEE
DOI: 10.1109/prdc55274.2022.00036

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.

Auteurs: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie
Publié dans: Communications in Computer and Information Science ISBN: 9783030853464, 2021, Page(s) 325–340, ISBN 978-3-030-85347-1
Éditeur: Springer Link
DOI: 10.1007/978-3-030-85347-1_24

Multidimensional Framework for Characterizing Verification and Validation of Automated Systems

Auteurs: Joseba A. Agirre, et al.
Publié dans: 18th European Dependable Computing Conference,, 2022
Éditeur: IEEE

SUFI: A Simulation-based Fault Injection Tool for Safety Evaluationof Advanced Driver Assistance Systems Modelled in SUMO

Auteurs: Mehdi Maleki, Behrooz Sangchoolie
Publié dans: 2021 17th European Dependable Computing Conference (EDCC), 2021, ISBN 978-1-6654-3672-4
Éditeur: IEEE
DOI: 10.1109/edcc53658.2021.00014

Simulation-based Fault Injection in Advanced Driver Assistance Systems Modelled in SUMO

Auteurs: Mehdi Maleki, Behrooz Sangchoolie
Publié dans: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2021), 2021, ISBN 978-1-6654-0252-1
Éditeur: IEEE
DOI: 10.1109/dsn-s52858.2021.00036

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

Auteurs: De La Vara, J. L.,Parra, E., Ruiz, A., Gallina, B.
Publié dans: CEUR Workshop Proceedings, Numéro 2584, 2020
Éditeur: CEUR-WS

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

Auteurs: 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
Publié dans: 2020 23rd Euromicro Conference on Digital System Design (DSD), 2020, Page(s) 352-359, ISBN 978-1-7281-9535-3
Éditeur: IEEE
DOI: 10.1109/dsd51259.2020.00064

Fault injection platform for affordable verification and validation of CubeSats software

Auteurs: David Paiva, José Marcelo Duarte, Raffael Lima, Manoel Carvalho, Fátima Mattiello-Francisco, Henrique Madeira
Publié dans: 2021 10th Latin-American Symposium on Dependable Computing (LADC), 2021, ISBN 978-1-6654-7831-1
Éditeur: IEEE
DOI: 10.1109/ladc53747.2021.9672584

FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs

Auteurs: Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino
Publié dans: Advances in Intelligent Systems and Computing, Numéro vol. 1228, 2020, Page(s) 54–74, ISBN 978-3-030-52249-0
Éditeur: Springer
DOI: 10.1007/978-3-030-52249-0_5

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S

Auteurs: Thomas Bauer, Joseba A. Agirre, David Fürcho, Wolfgang Herzner, Bob Hruška, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Aleš Smrčka, Ugur Yayan, Behrooz Sangchoolie
Publié dans: Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021, Numéro 13227, 2021, ISBN 978-3-031-04579-0
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-04580-6_25

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

Auteurs: Giann Spilere Nandi, David Pereira, Jose Proenca, Eduardo Tovar
Publié dans: 2020 IEEE Real-Time Systems Symposium (RTSS), 2020, Page(s) 395-398, ISBN 978-1-7281-8324-4
Éditeur: IEEE
DOI: 10.1109/rtss49844.2020.00047

Evaluating the Safety Impact of Network Disturbances for Remote Driving with Simulation-Based Human-in-the-Loop Testing

Auteurs: Shrishti Trivedi, Fredrik Warg
Publié dans: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2023, Page(s) 215-222, ISBN 979-8-3503-2543-0
Éditeur: IEEE Xplore
DOI: 10.1109/dsn-w58399.2023.00059

VrFy: Verification of Formal Requirements using Generic Traces

Auteurs: Jorrit J. Olthuis, Rodolfo Jordão, Francesco Robino, Sina Borrami
Publié dans: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021, ISBN 978-1-6654-7836-6
Éditeur: IEEE
DOI: 10.1109/qrs-c55045.2021.00034

iReview: an Intelligent Code Review Evaluation Tool using Biofeedback

Auteurs: Haytham Hijazi, José Cruz, João Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira
Publié dans: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2022, ISBN 978-1-6654-2588-9
Éditeur: IEEE
DOI: 10.1109/issre52982.2021.00056

Development of Simulation based testing for automated robot cell for quality inspection of automotive body-in-white system

Auteurs: Alim Kerem Erdoğmuş, Mustafa Karaca, Uğur Yayan2, Gürol Çökünlü3
Publié dans: The Automatic Control National Congress – TOK 2021, 2021, Page(s) 119-204
Éditeur: TOK

ComFASE: A Tool for Evaluating the Effects of V2V Communication Faults and Attacks on Automated Vehicles

Auteurs: Mateen Malik,Mehdi Maleki,Peter Folkesson,Behrooz Sangchoolie
Publié dans: The 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
Éditeur: IEEE

Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems

Auteurs: S. Mover, A. Cimatti, A. Griggio, A. Irfan, S. Tonetta
Publié dans: Computer Aided Verification. CAV 2021, Numéro Lecture Notes in Computer Science, vol 12759, 2021, ISBN 978-3-030-81685-8
Éditeur: Springer
DOI: 10.1007/978-3-030-81685-8_25

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

Auteurs: Borg, Markus; Bronson, Joshua; Christensson, Linus; Olsson, Fredrik; Lennartsson, Olof; Sonnsjö, Elias; Ebabi, Hamid; Karsberg, Martin
Publié dans: Proceedings of the 2nd Workshop on Ethics in Software Engineering Research and Practice, 2021
Éditeur: IEEE

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

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

Dynamic fault injection into digital twins of safety-critical systems

Auteurs: Thomas Markwirth, Roland Jancke, Christoph Sohrmann
Publié dans: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, ISBN 978-3-9819263-5-4
Éditeur: IEEE
DOI: 10.23919/date51398.2021.9474066

A review of single and multi-hazard risk assessment approaches for criticalinfrastructures protection

Auteurs: Pasino A., Battista U., De Angeli S., Ottonello D., Clematis A.
Publié dans: 2nd Scientific International Conference on CBRNe SICC Series, 2020
Éditeur: SICC Series

Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection Studies in Verification and Validation Activities For AI

Auteurs: Alim Kerem Erdogmus, Mustafa Karaca, Ugur Yayan
Publié dans: 2021
Éditeur: Arxiv
DOI: 10.48550/arxiv.2108.13803

SBvote: Scalable Self-Tallying Blockchain-Based Voting

Auteurs: Ivana Stančíková, Ivan Homoliak
Publié dans: 2022
Éditeur: ArXiv
DOI: 10.48550/arxiv.2206.06019

Fault Injector to Verify and Validate Nanosatellites

Auteurs: Paiva, David Silva de
Publié dans: Repositório científico da UC, Numéro 5, 2022
Éditeur: University of Coimbra

Evolutionary Robustness Testing of REST services

Auteurs: Santos, Carlos Francisco Fernandes
Publié dans: Repositório científico da UC, Numéro 2, 2022
Éditeur: DEI - FCTUC

Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Auteurs: Harmim Dominik
Publié dans: 2021
Éditeur: Brno University of Technology, Faculty of Information Technology

Practical Application of Facebook Infer on Systems Code

Auteurs: Beránek Tomáš
Publié dans: 2021
Éditeur: Brno University of Technology, Faculty of Information Technology

Implementing Hybrid Semantics: From Functional to Imperative

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

Featured team automata

Auteurs: Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença
Publié dans: ISTI-TR-2021/008, pp.1–22, 2021, Numéro 5, 2021, Page(s) 483–502, ISBN 978-3-030-90869-0
Éditeur: Springer
DOI: 10.1007/978-3-030-90870-6_26

Recherche de données OpenAIRE...

Livrables

Publications

Partager cette page

Télécharger