Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3SShow others and affiliations
2021 (English)In: Lecture Notes in Computer Science, Springer, 2021, Vol. 13227, p. 386-382Conference paper, Published paper (Refereed)
Abstract [en]
The complexity of systems continues to increase rapidly, especially due to the multi-level integration of subsystems from different domains into cyber-physical systems. This results in special challenges for the efficient verification and validation (V&V) of these systems with regard to their requirements and properties. In order to tackle the new challenges and improve the quality assurance processes, the V&V workflows have to be documented and analyzed. In this paper, a novel approach for the workflow modelling of V&V activities is presented. The generic approach is tailorable to different industrial domains and their specific constraints, V&V methods, and toolchains. The outcomes comprise a dedicated modelling notation (VVML) and tool-support using the modelling framework Enterprise Architect for the efficient documentation and implementation of workflows in the use cases. The solution enables the design of re-usable workflow assets such as V&V activities and artifacts that are exchanged between workflows. This work is part of the large scale European research project VALU3S that deals with the improvement and evaluation of V&V processes in different technical domains, focusing on safety, cybersecurity, and privacy properties.
Place, publisher, year, edition, pages
Springer, 2021. Vol. 13227, p. 386-382
Series
Lecture Notes in Computer Science, ISSN 03029743
Keywords [en]
verication and validation, safety, cybersecurity, privacy, automated systems, V&V workflows, V&V tool chains
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:ri:diva-55461DOI: 10.1007/978-3-031-04580-6_25ISI: 978-303104579-0Scopus ID: 85129783157OAI: oai:DiVA.org:ri-55461DiVA, id: diva2:1579886
Conference
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXI)
Projects
VALU3S (Verification and Validation of Automated Systems’ Safety and Security)
Funder
EU, Horizon 2020, 8768522021-07-122021-07-122023-04-28Bibliographically approved