KIT | KIT-Bibliothek | Impressum | Datenschutz

Uncertainty Interaction in Software-Intensive Systems: A Community Roadmap

Cámara, Javier; Mirandola, Raffaela 1; Tei, Kenji; Bencomo, Nelly; Camilli, Matteo; Cardozo, Nicolás; Dusparic, Ivana; Ishikawa, Fuyuki; Koziolek, Anne ORCID iD icon 1; Lestingi, Livia; Li, Jialong; Litoiu, Marin; Moreno, Gabriel A.; Papadopoulos, Alessandro V.; Perez-Palacin, Diego 2; Pianini, Danilo; Reussner, Ralf 2; Rodrigues, Genaina; Scandurra, Patrizia; ... mehr

Abstract:

Despite substantial progress in managing uncertainty in software-intensive systems, existing methods often treat uncertainty sources independently and provide limited support for understanding their combined effects. When multiple uncertainties propagate through system elements and converge at shared variables, models, or decision points, they may interact in ways that alter system behavior, compromise requirements, or invalidate assurance arguments. This challenge, referred to as the uncertainty interaction problem, remains insufficiently understood.
This roadmap paper reports the outcomes of the NII Shonan Seminar No. 232 on Uncertainty Interaction in Software-Intensive Systems (UNISON), held in March 2026. It develops a shared conceptual vocabulary for distinguishing uncertainty sources, propagation, confluence, interaction, and relevance; proposes an abstract workflow for identifying, filtering, and assessing relevant uncertainty interactions; and introduces a lifecycle-oriented framework for characterizing and selecting
mitigation strategies. Building on these foundations, the paper organizes open challenges into a staged research roadmap spanning conceptual consolidation, reusable methods, engineering integration, validation, tooling, and community adoption.
... mehr


Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2026
Sprache Englisch
Identifikator ISSN: 1556-4665, 1556-4703
KITopen-ID: 1000198606
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in ACM Transactions on Autonomous and Adaptive Systems
Verlag Association for Computing Machinery (ACM)
Vorab online veröffentlicht am 09.09.2026
Schlagwörter Designing software, Software evolution
Nachgewiesen in OpenAlex
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page