Towards a Verifiable Toolchain for Robotics
Charlie Street 1 , Yazz Warsame 1 , Masoumeh Mansouri 1 , Michaela Klauck 2 , Christian Henkel 2 , Marco Lampacrescia 2 , Matteo Palmas 23 , Ralph Lange 2 , Enrico Ghiorzi 36 , Armando Tacchella 3 , Razane Azrou 4 , Raphaël Lallement 4 , Matteo Morelli 4 , Ginny I. Chen 5 , Danielle Wallis 5 , Stefano Bernagozzi 36 , Stefano Rosa 6 , Marco Randazzo 6 , Sofia Faraci 6 , Lorenzo Natale 6
1 University of Birmingham, UK
2 Robert Bosch GmbH, Bosch Research, Germany
3 Università degli Studi di Genova, Italy
4 List, CEA, Université Paris-Saclay, France
5 Inventya Ventures, Ireland
6 Istituto Italiano di Tecnologia, Italy
Abstract
There is a growing need for autonomous robots to complete complex tasks robustly in dynamic and unstructured environments. However, current robot performance is limited to simple tasks in controlled environments. To improve robot autonomy in complex environments, the robot’s deliberation system must be able to synthesise correct plans for a task and generate contingency plans for handling anomalous scenarios that were not expected at design time. The robustness of such a system can be quantified using techniques for formal verification and validation. This paper outlines the progress of EU project CONVINCE (CONtext-aware Verifiable and adaptIve dyNamiC dEliberation), which aims to develop a software toolchain that aids developers in designing, developing, and deploying robot deliberation systems that are fully verified. We describe our modelling approach, each of the toolchain components, and how they interact. We also discuss survey results which demonstrate the demand for a verifiable toolchain among the robotics community.
# formal-verification
# robotics-toolchain
# safety
# reliability
# software-engineering
# automated-testing
# verification-methods
# robotic-systems
Not in series