Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barbosa, R., et al.: The VALU3S ECSEL project: verification and validation of automated systems safety and security. In: 23rd Euromicro Conference on Digital System Design (DSD), pp. 352–359 (2020). https://doi.org/10.1109/DSD51259.2020.00064
VALU3S project web-site. https://valu3s.eu
de la Vara, J.L., et al.: A Proposal for the classification of methods for verification and validation of safety, cybersecurity, and privacy of automated systems, to appear. In: 14th International Conference on the Quality of Information and Communications Technology (QUATIC) (2021)
Enterprise Architect web-site by Sparx Systems. https://www.sparxsystems.eu/
BPMN web-site by OMG. https://www.bpmn.org/
OMG Unified Modeling Language (OMG UML) vol. 2.5.1. https://www.omg.org/spec/UML/2.5.1/PDF
Smith, T.F., Waterman, M.S.: Identification of common molecular subsequences. J. Mol. Biol. 147, 195–197 (1981)
May, P., Ehrlich, H.-C., Steinke, T.: ZIB structure prediction pipeline: composing a complex biological workflow through web services. In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par 2006. LNCS, vol. 4128, pp. 1148–1158. Springer, Heidelberg (2006). https://doi.org/10.1007/11823285_121
Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (1999)
Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid information services for distributed resource sharing. In: 10th IEEE International Symposium on High Performance Distributed Computing, pp. 181–184. IEEE Press, New York (2001)
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The Physiology of the Grid: an Open Grid Services Architecture for Distributed Systems Integration. Technical report, Global Grid Forum (2002)
National Center for Biotechnology Information. http://www.ncbi.nlm.nih.gov
Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119–153 (1995)
Khillar, S.: Difference Between UML and BPMN — Difference Between. [online] Differencebetween.net (2021). http://www.differencebetween.net/technology/difference-between-uml-and-bpmn/. Accessed 7 Apr 2021
Oliveira, B., Belo, O.: BPMN patterns for ETL conceptual modelling and validation. Found. Intell. Syst. 445–454 (2012). https://doi.org/10.1007/978-3-642-34624-8_50
VALU3S Consortium. VALU3S YouTube Channel. https://www.youtube.com/channel/UCBvhaW8hkWgopiJWbFBrIFQ/videos
Acknowledgments
We would like to thank all VALU3S partners for the contributions and feedback. The research leading to this paper has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey. The views expressed in this document are the sole responsibility of the authors and do not necessarily reflect the views or position of the European Commission.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Bauer, T. et al. (2022). Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S. In: Orailoglu, A., Jung, M., Reichenbach, M. (eds) Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021. Lecture Notes in Computer Science, vol 13227. Springer, Cham. https://doi.org/10.1007/978-3-031-04580-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-031-04580-6_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-04579-0
Online ISBN: 978-3-031-04580-6
eBook Packages: Computer ScienceComputer Science (R0)