ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Mon 28 Apr 2025 11:30 - 11:55 at 105 - RoSE deep-dive session

Space robotic missions are taken on a highly uncertain ground, yet require high autonomy. In space, events are unknown and their effects are hard to predict. Mission designers are forced to make decisions despite an inherent lack of information and this results in complex and stiff specifications. Stiffness flags for brittleness. Towards flexibility and modularity, Behavior Trees foster a tractable notation for reactive behavior, attracting the spotlight of robotic mission specifications. However, they lack support for taming uncertainty at runtime. This paper proposes a first step towards the extension of behavior trees with adaptability in order to deal with uncertainty. Our implementation extends the behavior trees constructs with adaptable nodes, i.e., nodes that can be hot-swapped at runtime. Our framework relies on quasi-natural language requirements modeling in FRETISH notation, with transformations to uncertainty-aware behavior trees and deployment to space robotics scenarios in the context of Space ROS. We showcase the use of our framework within the simulation of a NASA mission on Mars

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
RoSE deep-dive sessionRoSE at 105
11:00
25m
Talk
Micro Frontend Architecture for Robotic Systems: A Systematic Approach with Design Rationale
RoSE
Uanderson Silva Universidade Federal de Pernambuco, Matheus Andrade Universidade Federal de Pernambuco, José Cruz Universidade Federal de Pernambuco, Andresa Almeida da Silva Universidade Federal de Pernambuco, Augusto Sampaio Universidade Federal de Pernambuco, Kiev Gama Universidade Federal de Pernambuco
11:30
25m
Talk
Towards Adaptable and Uncertainty-aware Behavior Trees
RoSE
Mehran Rostamnia Gran Sasso Science Institute (GSSI), Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
12:00
25m
Talk
Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications
RoSE
Marco Stadler Johannes Kepler University Linz, Stefan Biffl Vienna University of Technology, Michael Vierhauser University of Innsbruck, Johannes Sametinger
OSZAR »