TY - GEN
T1 - A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AU - Bauer, Thomas
AU - Fischer, Bernhard
AU - Karaca, Mustafa
AU - Madeira, Henrique
AU - Matschnig, Martin
AU - Mazzini, Silvia
AU - Nandi, Giann Spilere
AU - Patrone, Fabio
AU - Pereira, David
AU - Proença, José
AU - Schlick, Rupert
AU - Tonetta, Stefano
AU - Yayan, Ugur
AU - Sangchoolie, Behrooz
A2 - Vara, Jose Luis de la
A2 - Paiva, Ana C. R.
A2 - Cavalli, Ana Rosa
A2 - Martins, Paula Ventura
A2 - Pérez-Castillo, Ricardo
PY - 2021
Y1 - 2021
N2 - 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 their characteristics can be clearly differentiated. This can be achieved via method classifications. However, we have experienced that existing classifications are not suitable to categorise V&V methods for SCP of automated systems. They do not pay enough attention to the distinguishing characteristics of this system type and of these quality concerns. As a solution, we present a new classification developed in the scope of a large-scale industry-academia project. The classification considers both the method type, e.g., testing, and the concern addressed, e.g., safety. Over 70 people have successfully used the classification on 53 methods. We argue that the classification is a more suitable means to categorise V&V methods for SCP of automated systems and that it can help other researchers and practitioners.
AB - 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 their characteristics can be clearly differentiated. This can be achieved via method classifications. However, we have experienced that existing classifications are not suitable to categorise V&V methods for SCP of automated systems. They do not pay enough attention to the distinguishing characteristics of this system type and of these quality concerns. As a solution, we present a new classification developed in the scope of a large-scale industry-academia project. The classification considers both the method type, e.g., testing, and the concern addressed, e.g., safety. Over 70 people have successfully used the classification on 53 methods. We argue that the classification is a more suitable means to categorise V&V methods for SCP of automated systems and that it can help other researchers and practitioners.
U2 - 10.1007/978-3-030-85347-1_24
DO - 10.1007/978-3-030-85347-1_24
M3 - Conference Proceedings with Oral Presentation
SN - 978-3-030-85346-4
VL - 1439
T3 - Communications in Computer and Information Science
SP - 325
EP - 340
BT - Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
PB - Springer
T2 - QUATIC 2021: Quality of Information and Communications Technology
Y2 - 8 September 2021 through 11 September 2021
ER -