MODELS 2026
Sun 4 - Fri 9 October 2026 Málaga, Spain
Fri 9 Oct 2026 11:12 - 11:30 at Torremolinos A+B - Session 12: Model Analysis and Quality Chair(s): Matthias Tichy

Uncertainty and probability often play a key role in the rigorous evaluation of extra-functional requirements, such as reliability, availability, and performability, on architecture models. For that purpose, stochastic models (like fault trees, continuous time Markov chains) are often derived automatically by complex model transformations to carry out a computationally expensive stochastic analysis. As such, the automated synthesis of stochastic models requires highly specialized expertise in the problem domain, the model transformation language and the target stochastic analysis formalism, which is often lacking in practice. Furthermore, while backend analysis tools may be repeatedly called during model-based architecture synthesis problems, those analysis tools are not optimized for such usage profiles resulting in severe scalability problems. To mitigate these challenges, our paper aims to lift stochastic analysis to a model-level by introducing the formal concepts of probabilistic graph queries for basic and compound events as a lightweight extension of a popular model query language. Moreover, we provide a framework to evaluate such probabilistic queries directly over system models. We evaluate our approach against two baselines on three external case studies of model-based analysis including a complex interferometry mission planning case introduced by NASA researchers.

Fri 9 Oct

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:10
Session 12: Model Analysis and QualityNew Ideas and Emerging Results (NIER) / Journal First / Research Papers at Torremolinos A+B
Chair(s): Matthias Tichy Ulm University
11:00
12m
Talk
UncertainTree: Analyzing Multi-Model Consistency under Uncertainty
New Ideas and Emerging Results (NIER)
Nathan Hagel Karlsruhe Institute of Technology (KIT), Johannes Mäkelburg Technische Universität München, Martin Armbruster Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Lars König Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Robin Maisch Karlsruhe Institute of Technology (KIT), Fabian Reinbold Karlsruhe Institute of Technology, Thomas Weber Karlsruhe Institute of Technology (KIT), Maribel Acosta Technical University of Munich, Anne Koziolek Karlsruhe Institute of Technology
11:12
18m
Talk
Model-based stochastic analysis with probabilistic graph query evaluation
Journal First
Máté Földiák Linköping University, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
DOI
11:30
18m
Talk
Automated Quality Assessment of Metamodel Evolution: A Case Study in Java Mutation TestingPT
Research Papers
Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
11:48
12m
Talk
Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy and Write-Side Admissibility
New Ideas and Emerging Results (NIER)
Jason D. Gower Loughborough University, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University
DOI Pre-print
Hide past events