KIT | KIT-Bibliothek | Impressum | Datenschutz

Uncertainty-aware Design Decisions through Probabilistic Uncertainty Quantification and Consistent Merging

Hagel, Nathan ORCID iD icon 1; Mäkelburg, Johannes 2; Maleki, Alireza ORCID iD icon 1; Hammann, Claus 3; Mirandola, Raffaela 1; Acosta, Maribel 2; Koziolek, Anne ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Technische Universität München (TUM)
3 Karlsruher Institut für Technologie (KIT)

Abstract:

When developing complex, software-intensive or cyber-physical systems, uncertainty must be managed during all stages. Especially if made explicit, it can significantly affect the design decisions of various stakeholders.
A necessary requirement for determining the effect of uncertainty on a system and deciding whether it must be resolved is explicit quantification of uncertainty.
However, that alone is not enough. Often, in multi-model development processes, dependent parameters are affected by such quantified uncertainty.
To ensure efficient development and uncertainty-aware decision making, we present an approach that allows to quantify uncertainty probabilistically or through a sample set.
This quantified uncertainty is then kept consistent across all models.
Furthermore, uncertainty is propagated and merged onto downstream model elements that depend on model elements or parameters with quantified uncertainty, and the contribution of each uncertain input to the derived uncertainty is quantified using Sobol sensitivity indices.
We evaluate the approach using two case studies, comprising seven scenarios from cyber-physical systems and software engineering, based on industry scenarios and literature.
... mehr


Postprint §
DOI: 10.5445/IR/1000196640
Veröffentlicht am 31.08.2026
Originalveröffentlichung
DOI: 10.1145/3837062.3838899
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2026
Sprache Englisch
Identifikator KITopen-ID: 1000196640
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Weitere HGF-Programme 46.23.04 (POF IV, LK 01) Engineering Security for Production Systems
46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
46.23.02 (POF IV, LK 01) Engineering Security for Energy Systems
Erschienen in ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2026)
Veranstaltung 29th ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS 2026), Málaga, Spanien, 04.10.2026 – 09.10.2026
Verlag Association for Computing Machinery (ACM)
Projektinformation SFB 1608/1, 501798263 (DFG, DFG KOORD, SFB 1608)
Schlagwörter Uncertainty Quantification, Uncertainty Propagation, Model-Driven Engineering (MDE), Consistency Preservation, Cyber-Physical Systems, Sobol Indices
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page