Robotic systems are involved in our daily lives and the amount of traction they have received is non-negligible. In spite of their sizeable popularity, the quality of their software is often dismissed. That may hinder an important property of robotic systems: safety. The movement of mobile robots introduces an obvious safety concern. The collision of a robot with various things can lead to disastrous results. By amplifying the development process with formal verification techniques, one can decrease the probability of such failures. In order to facilitate close integration of safety assurance and the development process, we propose a method to develop safe software for ROS 2-powered mobile robots. We conduct a case study by going through all the proposed steps and reporting the results. The case study focuses on a scenario in which mobile robots move from a starting position to the target position. Models of various ROS 2 components utilised in mobile robots are developed. Extensibility is a core property of our model. We show that it allows to verify both single- and multi-robot scenarios. Furthermore, that flexibility allowed us to model two path-finding approaches: one naive approach without collision avoidance and one efficient approach based on the A* algorithm. The proposed method is tightly coupled with modelling, hence, the abstraction will lead to some mismatches between the model and reality. We report such mismatches by deploying the developed software to a simulation environment (i.e. Gazebo) and examining the behavior of the robot(s).


    Access

    Download


    Export, share and cite



    Title :

    SOFTWARE FOR SAFE MOBILE ROBOTS WITH ROS 2 AND REBECA


    Contributors:

    Publication date :

    2020-01-01


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Rebeca-3D, The Software for Conductive Fluxes and Temperature Fields Prediction

    Desaunettes, B. / Lacaze, C. / Fradin, J. P. | SAE Technical Papers | 1996


    REBECA-3D: The BEM applied to accurate thermal calculation - Application to MMIC

    Fradin, J. P. | British Library Online Contents | 1997


    Safe Path Planning for Mobile Robots

    Lambert, Alain / Piat, Nadine Le Fort | ASCE | 1998



    A multilayer software architecture for safe autonomous robots

    Gribov, Vladislav / Voos, Holger | IEEE | 2014