Multidimensional Framework for Characterizing Verification and Validation of Automated SystemsVise andre og tillknytning
2022 (engelsk)Inngår i: 18th European dependable computing conference (EDCC 2022), 2022Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]
Verification and Validation (V&V) of automated systems is becoming more costly and time-consuming because of the increasing size and complexity of these systems. Moreover, V&V of these systems can be hindered if the methods and processes are not properly described, analysed, and selected. It is essential that practitioners use suitable V&V methods and enact adequate V&V processes to confirm that these systems work as intended and in a cost-effective manner. Previous works have created different taxonomies and models considering different aspects of V&V that can be used to classify V&V methods and tools. The aim of this work is to provide a broad, comprehensive and a easy to use framework that addresses characterisation needs, rather than focusing on individual aspects of V&V methods and processes.To this end, in this paper, we present a multi-domain and multi-dimensional framework to characterize and classify V&V methods and tools in a structured way. The framework considers a comprehensive characterization of different relevant aspects of V&V. A web-based repository has been implemented on the basis of the framework, as an example of use, in order to collect information about the application of V&V methods and tools. This way, practitioners and researchers can easily learn about and identify suitable V&V processes.
sted, utgiver, år, opplag, sider
2022.
Emneord [en]
verification and validation, V&V, automated systems, framework, method, tool, workflow
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-59791DOI: 10.1109/EDCC57035.2022.00018OAI: oai:DiVA.org:ri-59791DiVA, id: diva2:1682534
Konferanse
18th European dependable computing conference (EDCC 2022). Zaragoza, spain. 12th-15th September 2022.
Prosjekter
VALU3S2022-07-112022-07-112023-04-28bibliografisk kontrollert