Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems

The rapid increase in the complexity of systems, especially due to the integration of subsystems from different domains into cyber-physical systems, presents unique challenges for efficient verification and validation (V&V) processes to meet all requirements and system properties. To address these challenges and enhance quality assurance processes, it is essential to document and analyze V&V workflows. This paper proposes VVML, a novel approach for easy modeling of V&V activities in different industrial domains with varying constraints, V&V methods, and tool chains. This approach includes a dedicated modeling notation and a supporting modelling tool, enabling the creation of reusable workflows assets, such as V&V activities and artifacts, which can be shared across workflows. The VVML approach has been applied to 10+ industrial use cases. This paper explains the basic principles behind VVML and shows an example of its application to an industrial use case.