Page 4 of 320
Abstract: Floods pose increasing risks in mountainous regions such as the Swat River Basin, where climatic variability, glacial influences, and data limitations hinder conventional flood risk assessment. This study introduces a hybrid framework that integrates explainable SHapley Additive exPlanations (SHAP)-based XGBoost for Global Climate Model (GCM) ranking, Random Forest (RF) ensemble modeling, and coup...
Abstract: Soil salinization severely constrains agricultural productivity and ecosystem sustainability. Suaeda salsa L. is a representative halophyte and demonstrates strong adaptability and potential for saline–alkali land restoration. To elucidate its physiological responses to salt stress, pot experiments were conducted under four salinity levels, namely CK (0 mM NaCl), LS (800 mM NaCl), MS (1600 mM NaCl...
Abstract: With this paper, we introduce RESTifAI, an LLM-driven approach for generating reusable, CI/CD-ready REST API tests, following the happy-path approach. Unlike existing tools that often focus primarily on internal server errors, RESTifAI systematically constructs valid test scenarios (happy paths) and derives negative cases to verify both intended functionality (2xx responses) and robustness against...
Abstract: Quality assurance for large-scale cyber-physical systems relies on sophisticated test activities using complex test environments investigated with the help of numerous types of simulators. As these systems grow, extensive resources are required to develop and maintain simulation models of hardware and software components, as well as physical environments. Meanwhile, recent advances in generative A...
Abstract: While the integration of Artificial Intelligence (AI) and Internet of Things (IoT) is rapidly increasing, there is no general framework for assessing the intelligence level of AI-enabled IoT systems. However, assessing the intelligence level of Artificial Intelligence of Things (AIoT) systems, e.g., their ability to make predictions, take autonomous decisions or to provide decision support, is cru...
Abstract: We extend the Benamou-Brenier formula from classical optimal transport to weak optimal transport and show that the barycentric optimal transport problem studied by Gozlan and Juillet has a dynamic analogue. We also investigate a martingale relaxation of this problem, and relate it to the martingale Benamou-Brenier formula of Backhoff-Veraguas, Beiglb\"ock, Huesmann and K\"allblad....
Abstract: Complex software-driven systems often interleave distributed, concurrent computation processes with physical interactions with the environment. Developing these systems more efficiently and safely can be achieved by employing actionable, software-based models. From a high-level system model, engineers often need to derive multiple specialized models for different purposes, including simulation, de...
Abstract: Model-based development accelerates prototyping, enables earlier experimentation, and ensures rigorous validation of system design intents. In multi-agent systems with complex asynchronous interactions and concurrency, formal verification, particularly model-checking, offers an automated means of confirming that desired properties hold. Timed Rebeca, an actor-based modelling language supporting re...
Abstract: TRUST in human-robot interactions (HRI) is essential for effective collaboration and user acceptance of robotic systems. However, trust can be challenged by conflicting goals between the user and the system, such as in the context of proxemics when a robot invades a human’s personal space. As robotic systems increasingly adapt their actions autonomously, intelligent conflict resolution is necessar...
Abstract: With more hybrid heating systems available, there is a need to optimize energy use intelligently from the end-consumer perspective. This paper focuses on a multi-criteria heating system optimization to optimize cost, carbon emission, and comfort level of building occupants. A discrete Multi-Objective Model Predictive Controller (MO-MPC) algorithm is proposed to optimally utilize two heating source...
Abstract: Safety assurance in System of Systems (SoS) orchestrations is challenged by the inherent variability of Constituent Systems (CS) and the dynamic environments in which they must operate. To address this challenge, we previously introduced SOSoS (Safe Orchestration of Systems of Systems), a process that integrates System-Theoretic Process Analysis (STPA) with principles from Software Product Line En...
Abstract: In safety-critical software systems, cybersecurity activities become essential, with risk assessment being one of the most critical. In many software teams, cybersecurity experts are either entirely absent or represented by only a small number of specialists. As a result, the workload for these experts becomes high, and software engineers would need to conduct cybersecurity activities themselves. ...
Abstract: Software quality assurance is critical in safety-critical domains like railway systems, where failures can have catastrophic consequences. In this context, train control and management systems play a central role, and their software must undergo rigorous validation. Alstom Rail Sweden AB employs a digital twin infrastructure to simulate and validate train control and management systems software. W...
Page 4 of 320