Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical SystemsShow others and affiliations
2022 (English)Conference paper, Published paper (Refereed)
Abstract [en]
As society increasingly relies on safety- and security- critical systems, the need for confirming their dependability becomes essential. Adequate V&V (verification and validation) methods must be employed, e.g., for system testing. When selecting and using the methods, it is important to analyze their possible gaps and limitations, such as scalability issues. However, and as we have experienced, common, explicitly defined criteria are seldom used for such analyses. This results in analyses that consider different aspects and to a different extent, hindering their comparison and thus the comparison of the V&V methods. As a solution, we present a set of criteria for the analysis of gaps and limitations of V&V methods for safety- and security-critical systems. The criteria have been identified in the scope of the VALU3S project. Sixty-two people from 33 organizations agreed upon the use of nine criteria: functionality, accuracy, scalability, deployment, learning curve, automation, reference environment, cost, and standards. Their use led to more homogeneous and more detailed analyses when compared to similar previous efforts. We argue that the proposed criteria can be helpful to others when having to deal with similar activities.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2022.
Keywords [en]
Verification & Validation, V&V method, Gaps, Limitations, Analysis criteria, Safety-critical systems, Security-critical systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:ri:diva-59792OAI: oai:DiVA.org:ri-59792DiVA, id: diva2:1682540
Conference
17th International Workshop on Dependable Embedded Cyber-Physical Systems and Systems-of-Systems. Munich, Germany. 6-9 September 2022
Projects
VALU3S2022-07-112022-07-112023-06-05Bibliographically approved