Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

ADVANCE Training Material - Initial Version (öffnet in neuem Fenster)

Initial version of the ADVANCE training material.

ADVANCE Training Material - Final Version (öffnet in neuem Fenster)

Final revised version of the ADVANCE training material.

State of the art in the V&V of CPSs (öffnet in neuem Fenster)

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.

V&V Techniques for Cyber-Physical Systems - Final Version (öffnet in neuem Fenster)

This deliverable is an updated version of D2.1, and collects the final outputs of tasks T2.1 and T2.2. It will contain thefinal version of the ADVANCE techniques for the V&V of Cyber-Physical Systems.

Techniques for Management and Analysis of V&V-Related Data - Final Version (öffnet in neuem Fenster)

This deliverable is an updated version of D3.1, and collects the final outputs of tasks T3.1 and T3.2. it will contain the final version of the ADVANCE methodologies that can be applied during system operation to support the V&V of CPSs.

Analysis of ADVANCE Results and Future Research Roadmap for CPSs (öffnet in neuem Fenster)

This deliverable is the output of T1.3, and will contain an analysis of project results and a research roadmap for futurework on the topic of V&V of CPSs.

Veröffentlichungen

Enhanced software development process for CubeSats to cope with space radiation faults (öffnet in neuem Fenster)

Autoren: David Paiva; Raffael Lima; Manoel Carvalho; Fátima Mattiello-Francisco; Henrique Madeira
Veröffentlicht in: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022
Herausgeber: 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 (öffnet in neuem Fenster)

Autoren: Casare A., da Silva C., Basso, T., Moraes R
Veröffentlicht in: Proc. of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP, Ausgabe 2, 2022, Seite(n) 209-216, ISBN 978-989-758-555-5
Herausgeber: SCITEPRESS – Science and Technology Publications, Lda.
DOI: 10.5220/0010889700003124

The GOLDS satellite constellation: preparatory works for a model-based performability analysis (öffnet in neuem Fenster)

Autoren: F. Mariotti, P. Lollini and F. Mattiello-Francisco
Veröffentlicht in: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2023
Herausgeber: IEEE
DOI: 10.1109/issrew60843.2023.00067

Model-Driven Fault Injection in Java Source Code (öffnet in neuem Fenster)

Autoren: Elder Rodrigues, Leonardo Montecchi, Andrea Ceccarelli
Veröffentlicht in: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Seite(n) 414-425, ISBN 978-1-7281-9870-5
Herausgeber: IEEE
DOI: 10.1109/issre5003.2020.00046

Using Metamodels to Improve Model-Based Testing of Service Orchestrations (öffnet in neuem Fenster)

Autoren: Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Veröffentlicht in: 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022, Seite(n) 130-139, ISBN 978-1-7281-8003-8
Herausgeber: IEEE
DOI: 10.1109/prdc50213.2020.00024

An Eclipse-Based Editor for SAN Templates (öffnet in neuem Fenster)

Autoren: Leonardo Montecchi, Paolo Lollini, Federico Moncini, Kenneth Keefe
Veröffentlicht in: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings, Ausgabe 1279, 2020, Seite(n) 159-167, ISBN 978-3-030-58461-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-58462-7_13

Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems (öffnet in neuem Fenster)

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

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems (öffnet in neuem Fenster)

Autoren: Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
Veröffentlicht in: 2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019, Seite(n) 1-2, ISBN 978-1-7281-6622-3
Herausgeber: IEEE
DOI: 10.1109/ladc48089.2019.8995714

Exploiting MDE for Platform-Independent Testing of Service Orchestrations (öffnet in neuem Fenster)

Autoren: Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Veröffentlicht in: 2019 15th European Dependable Computing Conference (EDCC), 2019, Seite(n) 149-152, ISBN 978-1-7281-3929-6
Herausgeber: IEEE
DOI: 10.1109/edcc.2019.00037

Using Metamodels to Improve Model-Based Testing of Service Orchestrations (öffnet in neuem Fenster)

Autoren: Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins
Veröffentlicht in: PRDC, Ausgabe 2, 2020
Herausgeber: IEEE
DOI: 10.1109/prdc50213.2020.00024

Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants (öffnet in neuem Fenster)

Autoren: Diego Sierra, Leonardo Montecchi, Ivan Mura
Veröffentlicht in: Journal of the Brazilian Computer Society, Ausgabe 25/1, 2019, ISSN 0104-6500
Herausgeber: Sociedade Brasileira de Computacao
DOI: 10.1186/s13173-019-0092-8

Design of small satellite constellations for data communication

Autoren: Antonio Prado, Pedro Carvalho, Paolo Lollini, Francesco Mariotti, Fatima Mattiello-Francisco, Leonardo Santos, Lucas Pacheco, Lucas Silva
Veröffentlicht in: Mathematics in Science, Engineering, and Aerospace (MESA), Ausgabe Vol. 15 No. 3, 2024, Seite(n) 659-672, ISSN 2041-3165
Herausgeber: Cambridge Scientific Publishers

Stochastic Activity Networks Templates: Supporting Variability in Performability Models (öffnet in neuem Fenster)

Autoren: Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli
Veröffentlicht in: IEEE Transactions on Reliability, Ausgabe 4, 2021, ISSN 0018-9529
Herausgeber: 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 (öffnet in neuem Fenster)

Autoren: Akos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, Laszlo Gonczy, Nuno Laranjeiro, Henrique Madeira, Andras Pataricza
Veröffentlicht in: IEEE Access, Ausgabe 8, 2020, Seite(n) 190760-190783, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.3032239

Stochastic Activity Networks Templates: Supporting Variability in Performability Models (öffnet in neuem Fenster)

Autoren: Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
Veröffentlicht in: IEEE Transactions on Reliability, Ausgabe 71, 2024, Seite(n) 640-656, ISSN 0018-9529
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tr.2021.3120979

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0