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. The roadmap provides a common reference point for researchers and practitioners working across software engineering, self-adaptive systems, control, artificial intelligence, formal methods, and assurance.
Javier Cámara, R. Mirandola, Kenji Tei et al.· ACM Transactions on Autonomo...· 0 citations
Context: Architectural Design Decisions (ADDs) capture the rationale behind the structure and evolution of software systems but are rarely documented explicitly, and are often hidden inside source code commits. Recovering them is important for Architectural Knowledge Management (AKM). Problem: Extracting ADDs from commits is challenging due to their implicit and unstructured nature. Large Language Models (LLMs) have shown strong capabilities in understanding code and text, yet their effectiveness for this task remains underexplored. Study: We present a preliminary study using four LLMs (Gemini 3 Pro, DeepSeek R1, Kimi K2, Qwen3) with zeroshot and fewshot prompting on 30 developer-written ADDs from open-source projects. We score outputs with ROUGE-L, BLEU, METEOR, and BERTScore, and one author manually reviews the Gemini outputs. Results: All models reach a BERT-F1 above 0.81, and fewshot prompting improves alignment (Gemini BERT-F1: 0.828 to 0.847). However, the generated ADDs are often too long, implementation-focused, and miss the rationale behind the decision. This highlights opportunities for architecture-aware LLM systems and automated AKM.
Amey Karan, Rudra Dhar, Mohamed Soliman et al.· Lecture notes in computer sc...· 0 citations
The integration of IoT devices and the development of smart cities have brought about significant changes in urban infrastructure. Smart spaces represent a pivotal use case, exemplifying the integration of IoT sensors to enhance automation and decision-making. In these environments, interoperability is critical when incompatible devices interact, enabling seamless communication and optimized performance. To the best of our knowledge, this is the first work to present a comparative evaluation of systems with and without interoperability, focusing on end-to-end system performance and highlighting the importance of interoperability in real-time smart space control. Towards this, we implemented a multi-layered architecture consisting of a novel Controller Layer (CL) that drives the interactions between air quality sensing and actuation of the window and air purifier. Additionally, the architecture consists of the Device Layer (DL), Data Monitoring Layer (DML), and Data Storage Layer (DSL). The DML uses oneM2M as middleware to achieve interoperability among indoor and outdoor air-quality sensors and actuators, such as a window controller and an air purifier. Our focus is on assessing the end-to-end performance of interconnected dependent actions and the significance of response time across incompatible devices. Experimental results show correlations between window controller and air-purifier states based on sensor data, offering insights into achieving interoperability in smart spaces and improving real-time air-quality management.
Sasidhar Varada, Ushasri Mogadali, Deepak Gangadharan et al.· International Conference on...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
