Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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

Enhanced software development process for CubeSats to cope with space radiation faults

Author(s): David Paiva; Raffael Lima; Manoel Carvalho; Fátima Mattiello-Francisco; Henrique Madeira
Published in: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022
Publisher: IEEE
DOI: 10.1109/prdc55274.2022.00022

Using a quality model to evaluate user interface trustworthiness of e-commerce systems: scoring strategies and preliminary results

Author(s): Casare A., da Silva C., Basso, T., Moraes R
Published in: Proc. of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP, Issue 2, 2022, Page(s) 209-216, ISBN 978-989-758-555-5
Publisher: SCITEPRESS – Science and Technology Publications, Lda.
DOI: 10.5220/0010889700003124

The GOLDS satellite constellation: preparatory works for a model-based performability analysis

Author(s): F. Mariotti, P. Lollini and F. Mattiello-Francisco
Published in: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2023
Publisher: IEEE
DOI: 10.1109/issrew60843.2023.00067

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, ISBN 978-1-7281-9870-5
Publisher: IEEE
DOI: 10.1109/issre5003.2020.00046

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, ISBN 978-3-030-58461-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-58462-7_13

Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems

Author(s): Földvári, András; Pataricza, András; Brancati, Francesco
Published in: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Issue 5, 2023
Publisher: IEEE
DOI: 10.1109/DSN-W58399.2023.00067

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, ISBN 978-1-7281-6622-3
Publisher: IEEE
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, ISBN 978-1-7281-3929-6
Publisher: IEEE
DOI: 10.1109/edcc.2019.00037

Using Metamodels to Improve Model-Based Testing of Service Orchestrations

Author(s): Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins
Published in: PRDC, Issue 2, 2020
Publisher: IEEE
DOI: 10.1109/prdc50213.2020.00024

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
Publisher: Sociedade Brasileira de Computacao
DOI: 10.1186/s13173-019-0092-8

Design of small satellite constellations for data communication

Author(s): Antonio Prado, Pedro Carvalho, Paolo Lollini, Francesco Mariotti, Fatima Mattiello-Francisco, Leonardo Santos, Lucas Pacheco, Lucas Silva
Published in: Mathematics in Science, Engineering, and Aerospace (MESA), Issue Vol. 15 No. 3, 2024, Page(s) 659-672, ISSN 2041-3165
Publisher: Cambridge Scientific Publishers

Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Author(s): Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli
Published in: IEEE Transactions on Reliability, Issue 4, 2021, ISSN 0018-9529
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.48550/arxiv.2006.09291

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
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.3032239

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available