Extending Behavior Trees for Robotic Missions with Quality RequirementsTechnical Paper
This program is tentative and subject to change.
Context and motivation: In recent years, behavior trees have gained growing interest within the robotics community as a specification and control-switching mechanism for the different tasks that form a robotics mission.
Problem: Given the rising complexity and prevalence of robotic systems, it is increasingly challenging and important for practitioners to design high-quality missions that meet certain qualities, for instance, to consider potential failures or mitigate safety risks. In software requirements engineering, quality or non-functional requirements have long been recognized as a key factor in system success. Currently, qualities are not represented in behavior-tree models which capture a robotic mission, resulting in difficulty in assessing the extent to which those qualities are addressed by different mission components.
Principal ideas/results: In this paper, we propose an extension for behavior trees to have qualities and quality requirements explicitly represented in robotics missions. We provide a meta-model for the extension, develop a domain-specific language (DSL), and describe how we integrated our DSL in one of the most used languages in robotics for developing behavior trees, BehaviorTree.CPP. A preliminary evaluation of the implemented DSL shows promising results for the feasibility of our approach.
Contribution: Our approach paves the way for incorporating qualities into the behavior model of robotics missions. This promotes better communication between involved stakeholders in robotic projects and a shared understanding of how individual components contribute to overall mission quality.
This program is tentative and subject to change.
Thu 10 AprDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 15:30 | Research Track - Session R9 - RE for Safety-critical and Autonomous SystemsResearch Track at C2 - Sala Actes | ||
14:00 30mTalk | Extending Behavior Trees for Robotic Missions with Quality RequirementsTechnical Paper Research Track Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology, Jennifer Horkoff Chalmers and the University of Gothenburg | ||
14:30 30mTalk | Sharper Specs for Smarter Drones: Formalising Requirements with FRETExperience Paper Research Track Oisin Sheridan Maynooth University, Leandro Buss Becker Automation and Systems Department, Federal University of Santa Catarina, Florianópolis, Brazil, Marie Farrell The University of Manchester, Matt Luckcuck University of Nottingham, UK, Rosemary Monahan | ||
15:00 30mTalk | Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case StudyExperience Paper Research Track Hazel Taylor The University of Manchester, Matt Luckcuck University of Nottingham, UK, Marie Farrell The University of Manchester, Caroline Jay Department of Computer Science, University of Manchester, M13 9PL, United Kingdom, Angelo Cangelosi The University of Manchester, Louise Dennis University of Manchester |