Modeling Safe Adaptation Spaces for Self-Adaptive Systems Using Contextual Safety Concept Trees
SHORT
Safety-critical autonomous systems operating in complex real-world environments face significant challenges in consistently meeting functional and non-functional requirements. While self-adaptive systems have demonstrated effectiveness in uncertain environments, implementing self-reconfiguration within an adaptation space introduces safety concerns, as the verification of safety in self-adaptive systems remains an unresolved research challenge. In this paper, we propose a novel method for modeling the adaptation space of a self-adaptive system utilizing contextual safety concept trees. Our proposed approach facilitates both design time safety assessment and run-time determination of the subspace of safe adaptations, based on context and system state observations. To address uncertainty in observations, we employ fuzzy inference systems to model context constraints, thereby aggregating imprecise information from multiple sources. The resulting analysis yields a safe adaptation space that can be explored without restrictions in subsequent phases of the adaptation loop. We validate our proposal through a case study in the domain of mobile robotics, demonstrating the suitability of our method for modeling safe adaptation spaces.
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 17:30 | Session 4: CPS, Robotics, and Serious Games Research Track at 204 Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
16:00 25mTalk | Adaptive Human-Robot Collaborative Missions using Hybrid Task PlanningFULL Research Track Gricel Vázquez University of York, UK, Alexandros Evangelidis University of York, UK, Sepeedeh Shahbeigi University of York, UK, Simos Gerasimou University of York | ||
16:25 25mTalk | Context-Role Oriented Programming in Julia: Advancing Swarm ProgrammingFULL Research Track Christian Gutsche Boysen-TU Dresden-Graduiertenkolleg; Technische Universität Dresden, Sebastian Götz Technische Universität Dresden, Volodymyr Prokopets Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany | ||
16:50 15mTalk | Modeling Safe Adaptation Spaces for Self-Adaptive Systems Using Contextual Safety Concept TreesSHORT Research Track Andreas Kreutz Fraunhofer Institute for Cognitive Systems IKS, Gereon Weiss Fraunhofer IKS, Mario Trapp Technical University of Munich | ||
17:05 15mTalk | Leveraging Self-Adaptive Systems and Generative AI for Personalizing Educational Serious Games: Architecture and Future ChallengesSHORT Research Track Antonio Bucchiarone DISIM, University of L'Aquila, Federico Bonetti Fondazione Bruno Kessler, Enes Yigitbas Paderborn University | ||
17:20 10mOther | Discussion Session 4 Research Track |