HomePublicationsPaper

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
Ref: CISTER-TR-210905       Publication Date: 8, Sep, 2021

Abstract:
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.

Giann Nandi

,

Jose Luis de la Vara

,

Thomas Bauer

,

Bernhard Fischer

,

Mustafa Karaca

,

Henrique Madeira

,

Martin Matschnig

,

Silvia Mazzini

,

Fabio Patrone

,

David Pereira

,

José Proença

,

Rupert Sclick

,

Stefano Tonetta

,

Ugur Yayan

,

Behrooz Sangchoolie

Document:

View
PDF Download
PDF