Skip to main content

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Deliverables

State of the art in the V&V of CPSs

This deliverable is the output of T1.2, and will contain an analysis of the state of the art on the V&V of CPS.

Publications

Using Orthogonal Defect Classification to characterize NoSQL database defects

Author(s): João Agnelo, Nuno Laranjeiro, Jorge Bernardino
Published in: Journal of Systems and Software, Issue 159, 2020, Page(s) 110451, ISSN 0164-1212
DOI: 10.1016/j.jss.2019.110451

Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants

Author(s): Diego Sierra, Leonardo Montecchi, Ivan Mura
Published in: Journal of the Brazilian Computer Society, Issue 25/1, 2019, ISSN 0104-6500
DOI: 10.1186/s13173-019-0092-8

Automating orthogonal defect classification using machine learning algorithms

Author(s): Fábio Lopes, João Agnelo, César A. Teixeira, Nuno Laranjeiro, Jorge Bernardino
Published in: Future Generation Computer Systems, Issue 102, 2020, Page(s) 932-947, ISSN 0167-739X
DOI: 10.1016/j.future.2019.09.009

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

Author(s): Akos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, Laszlo Gonczy, Nuno Laranjeiro, Henrique Madeira, Andras Pataricza
Published in: IEEE Access, Issue 8, 2020, Page(s) 190760-190783, ISSN 2169-3536
DOI: 10.1109/access.2020.3032239

On the educated selection of unsupervised algorithms via attacks and anomaly classes

Author(s): Tommaso Zoppi, Andrea Ceccarelli, Lorenzo Salani, Andrea Bondavalli
Published in: Journal of Information Security and Applications, Issue 52, 2020, Page(s) 102474, ISSN 2214-2126
DOI: 10.1016/j.jisa.2020.102474

On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems

Author(s): Mohamad Gharib, Andrea Bondavalli
Published in: 2019 15th European Dependable Computing Conference (EDCC), 2019, Page(s) 141-144
DOI: 10.1109/edcc.2019.00035

Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems

Author(s): Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
Published in: 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, Page(s) 000217-000222
DOI: 10.1109/sose50414.2020.9130527

Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid

Author(s): Mohamad Gharib, Paolo Lollini, Andrea Bondavalli
Published in: 2019 15th European Dependable Computing Conference (EDCC), 2019, Page(s) 183-185
DOI: 10.1109/edcc.2019.00044

Model-Driven Fault Injection in Java Source Code

Author(s): Elder Rodrigues, Leonardo Montecchi, Andrea Ceccarelli
Published in: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Page(s) 414-425
DOI: 10.1109/issre5003.2020.00046

Towards a Structured Specification of Coding Conventions

Author(s): Elder Rodrigues, Leonardo Montecchi
Published in: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), 2019, Page(s) 168-16809
DOI: 10.1109/prdc47002.2019.00047

On failures of RGB cameras and their effects in autonomous driving applications

Author(s): Francesco Secci, Andrea Ceccarelli
Published in: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Page(s) 13-24
DOI: 10.1109/issre5003.2020.00011

An Eclipse-Based Editor for SAN Templates

Author(s): Leonardo Montecchi, Paolo Lollini, Federico Moncini, Kenneth Keefe
Published in: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings, Issue 1279, 2020, Page(s) 159-167
DOI: 10.1007/978-3-030-58462-7_13

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Author(s): Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
Published in: 2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019, Page(s) 1-2
DOI: 10.1109/ladc48089.2019.8995714

Exploiting MDE for Platform-Independent Testing of Service Orchestrations

Author(s): Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Published in: 2019 15th European Dependable Computing Conference (EDCC), 2019, Page(s) 149-152
DOI: 10.1109/edcc.2019.00037