Skip to main content
European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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.

Publikacje

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

Autorzy: David Paiva; Raffael Lima; Manoel Carvalho; Fátima Mattiello-Francisco; Henrique Madeira
Opublikowane w: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), 2022
Wydawca: 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

Autorzy: Casare A., da Silva C., Basso, T., Moraes R
Opublikowane w: Proc. of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP, Numer 2, 2022, Strona(/y) 209-216, ISBN 978-989-758-555-5
Wydawca: SCITEPRESS – Science and Technology Publications, Lda.
DOI: 10.5220/0010889700003124

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

Autorzy: F. Mariotti, P. Lollini and F. Mattiello-Francisco
Opublikowane w: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2023
Wydawca: IEEE
DOI: 10.1109/issrew60843.2023.00067

Model-Driven Fault Injection in Java Source Code

Autorzy: Elder Rodrigues, Leonardo Montecchi, Andrea Ceccarelli
Opublikowane w: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, Strona(/y) 414-425, ISBN 978-1-7281-9870-5
Wydawca: IEEE
DOI: 10.1109/issre5003.2020.00046

An Eclipse-Based Editor for SAN Templates

Autorzy: Leonardo Montecchi, Paolo Lollini, Federico Moncini, Kenneth Keefe
Opublikowane w: Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings, Numer 1279, 2020, Strona(/y) 159-167, ISBN 978-3-030-58461-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-58462-7_13

Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems

Autorzy: Földvári, András; Pataricza, András; Brancati, Francesco
Opublikowane w: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Numer 5, 2023
Wydawca: IEEE
DOI: 10.1109/DSN-W58399.2023.00067

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Autorzy: Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
Opublikowane w: 2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019, Strona(/y) 1-2, ISBN 978-1-7281-6622-3
Wydawca: IEEE
DOI: 10.1109/ladc48089.2019.8995714

Exploiting MDE for Platform-Independent Testing of Service Orchestrations

Autorzy: Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Opublikowane w: 2019 15th European Dependable Computing Conference (EDCC), 2019, Strona(/y) 149-152, ISBN 978-1-7281-3929-6
Wydawca: IEEE
DOI: 10.1109/edcc.2019.00037

Using Metamodels to Improve Model-Based Testing of Service Orchestrations

Autorzy: Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins
Opublikowane w: PRDC, Numer 2, 2020
Wydawca: IEEE
DOI: 10.1109/prdc50213.2020.00024

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

Autorzy: Diego Sierra, Leonardo Montecchi, Ivan Mura
Opublikowane w: Journal of the Brazilian Computer Society, Numer 25/1, 2019, ISSN 0104-6500
Wydawca: Sociedade Brasileira de Computacao
DOI: 10.1186/s13173-019-0092-8

Design of small satellite constellations for data communication

Autorzy: Antonio Prado, Pedro Carvalho, Paolo Lollini, Francesco Mariotti, Fatima Mattiello-Francisco, Leonardo Santos, Lucas Pacheco, Lucas Silva
Opublikowane w: Mathematics in Science, Engineering, and Aerospace (MESA), Numer Vol. 15 No. 3, 2024, Strona(/y) 659-672, ISSN 2041-3165
Wydawca: Cambridge Scientific Publishers

Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Autorzy: Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli
Opublikowane w: IEEE Transactions on Reliability, Numer 4, 2021, ISSN 0018-9529
Wydawca: 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

Autorzy: Akos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, Laszlo Gonczy, Nuno Laranjeiro, Henrique Madeira, Andras Pataricza
Opublikowane w: IEEE Access, Numer 8, 2020, Strona(/y) 190760-190783, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.3032239

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników