Model-based stochastic analysis with probabilistic graph query evaluation
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 OctDisplayed 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 12mTalk | 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 18mTalk | 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 18mTalk | 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 12mTalk | 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 | ||