Uncertainty Quantification (UQ) studies allow us to determine whether a model is fit for a particular purpose, as well as the operational domain in which it can be used. Standardising the UQ analysis setup and result summary enables the iterative composition of UQ information, which is a crucial step in evaluating model credibility. In this paper, we present an initial attempt to specify UQ information as a cross-layer standard for Modelica-, FMI-, and SSP-based workflows subject to two essential restrictions: (a) uncertainties can only be described in terms of parameters, and (b) analysis is limited to forward uncertainty propagation and sensitivity analysis of nonlinear models. More analysis features are planned for the future. The approach is illustrated using both a simple example and an industrial use case.

This presentation provides an overview of Saab Aeronautics’ perspective and involvement in the ITEA4 project Open Standards for SCALable Virtual Engi- neerING and Operation (OpenSCALING). The project explores a range of re- search topics, from hybrid modeling techniques—integrating physics-based and data-driven approaches—to the development of traceable, model-based engi- neering processes. The focus of this presentation is on the processes, methods, and tools required to establish credible models and simulations. This includes both Modeling & Simulation (M&S) operations and the numerical aspects of comprehensive credibility assessments. A central tenet of the project is that stakeholders should communicate digitally using stand-alone simulation arti- facts that are iteratively refined and applicable throughout all phases of the system life cycle. In essence, models and simulators should encapsulate infor- mation about their own credibility. Key features of relevant Modelica Associ- ation standards will be highlighted, including specific elements of the recently released SSP 2.0 and the emerging format for exchanging numerical credibility data developed within the project. Finally, the use of Modelica standards at Saab Aeronautics will be illustrated—ranging from early subsystem concept de- sign to full-scale aircraft simulators used during operational and maintenance phases.

This session is chaired by

In the realm of model verification, ensuring traceability and repeatability is paramount for achieving Modeling & Simulation (M&S) credibility and development efficiently. This paper explores challenges and solutions for expressing complex model Verification & Validation (V&V) workflows that ensures readability while still enables automation, parallelization and advanced customization of verification activities. This paper contributes a practical solution that is evaluated through a detailed implementation within an in- house developed multi-purpose automation and Verification & Validation (V&V) framework.