TY - GEN
T1 - Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
AU - Agirre, Joseba Andoni
AU - Fürcho, David
AU - Herzner, Wolfgang
AU - Hruska, Bob
AU - Karaca, Mustafa
AU - Pereira, David
AU - Proença, José
AU - Schlick, Rupert
AU - Sicher, Robert
AU - Smrcka, Ales
AU - Yayan, Ugur
AU - Sangchoolie, Behrooz
A2 - Bauer, Thomas
A2 - Orailoglu, Alex
A2 - Jung, Matthias
A2 - Reichenbach, Marc
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-031-04580-6_25
DO - 10.1007/978-3-031-04580-6_25
M3 - Conference Proceedings with Oral Presentation
SN - 978-3-031-04579-0
VL - 13227
T3 - Lecture Notes in Computer Science
SP - 368
EP - 382
BT - Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings
PB - Springer
T2 - SAMOS 2021 Embedded Computer Systems: Architectures, Modeling, and Simulation
Y2 - 4 July 2021 through 8 July 2021
ER -