Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]

Autor: Ugur Yayan, Behrooz Sangchoolie, Alper Kanak, Aleš Smrčka, Jose Luis de la Vara, Emanuele Mingozzi, Salih Ergun, Raul Barbosa, Marie Farrell, Cem Baglum

Publikováno v: Open Research Europe, Vol 3 (2023)

Verification and validation (V&V) are complex processes combining different approaches and incorporating many different methods including many activities. System engineers regularly face the question if their V&V activities lead to better products, a

Externí odkaz: https://doaj.org/article/0c25d49884c54044a33fdc15fcf0ab21

Multidimensional Framework for Characterizing Verification and Validation of Automated Systems

Autor: Joseba A. Agirre, Ahmet Yazici, Katia Di Blasio, Jose Luis de la Vara, Behrooz Sangchoolie, Ugur Yayan, Raul Barbosa, Leire Etxeberria, Massimo Nazaria, Mustafa Karaca

Publikováno v: 2022 18th European Dependable Computing Conference (EDCC).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c19d98006468bf642e49ef0aa2b1624
https://doi.org/10.1109/edcc57035.2022.00018

Research Challenges in Information Science : 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14–17, 2024, Proceedings, Part I

Autor: João Araújo, Jose Luis de la Vara, Maribel Yasmina Santos, Saïd Assar

This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of

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

Autor: Jose Luis de la Vara, Henrique Madeira, Fabio Patrone, Silvia Mazzini, José Proença, Bernhard Fischer, Thomas Bauer, David Pereira, Rupert Schlick, Stefano Tonetta, Mustafa Karaca, Ugur Yayan, Martin Matschnig, Behrooz Sangchoolie, Giann Spilere Nandi

Publikováno v: Communications in Computer and Information Science ISBN: 9783030853464
QUATIC
Communications in Computer and Information Science
Communications in Computer and Information Science-Quality of Information and Communications Technology

As our dependence on automated systems grows, so does the need for guaranteeing their safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation (V&V) must be used to this end and it is necessary that the methods and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb48818624d8f069b4b58b4cdc25064a
https://doi.org/10.1007/978-3-030-85347-1_24

Automatic Generation of UML Profiles for Representing Safety Standards

Autor: Beatriz Marín, Giovanni Giachetti, Jose Luis de la Vara

Publikováno v: SCCC

Assessing and certifying the functional safety of the software of critical systems is of paramount importance, since any failure might produce significant costs as well as harm to people. Some common examples of critical systems are transport vehicle

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2cd0d07ca67620f323b12cb2ffd0436c
https://doi.org/10.1109/sccc51225.2020.9281191