Automation Nation: Taming Complex V&V Workflows

Authors

  • Erik Rosenlund Linköping University, Saab AB
  • Robert Hällqvist Linköping University, Saab AB
  • Robert Braun Linköping University
  • Petter Krus Linköping University

DOI:

https://doi.org/10.3384/ecp218751

Keywords:

Model Verification, Machine-Interoperable Traceability, Workflow Automation, Model-driven Engineering, Simulation Credibility, Verification and Validation

Abstract

In the realm of model verification, ensuringtraceability and repeatability is paramount forachieving Modeling & Simulation (M&S) credibilityand development efficiently. This paperexplores challenges and solutions for expressingcomplex model Verification & Validation (V&V)workflows that ensures readability while stillenables automation, parallelization and advancedcustomization of verification activities. This papercontributes a practical solution that is evaluatedthrough a detailed implementation within an in-house developed multi-purpose automation andVerification & Validation (V&V) framework.

Downloads

Published

2025-10-24

Issue

Proceedings of the 16th International Modelica&FMI Conference, September 8 – 10, 2025, Lucerne University of Applied Sciences and Arts (HSLU)

Section

Papers

License

Copyright (c) 2025 Erik Rosenlund, Robert Hällqvist, Robert Braun, Petter Krus

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.