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).


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SOFTWARE FOR SAFE MOBILE ROBOTS WITH ROS 2 AND REBECA


    Beteiligte:

    Erscheinungsdatum :

    2020-01-01


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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