Applying MDE to ROS Systems: A Comparative Analysis - Fiabilité des Systèmes et des Logiciels Accéder directement au contenu
Article Dans Une Revue Scientific Annals of Computer Science Année : 2021

Applying MDE to ROS Systems: A Comparative Analysis

Résumé

The Robot Operating System (ROS) is one of the most used software framework to develop robot applications. Although it is possible to reuse packages and code from other ROS projects, ROS applications remain low level and reasoning at a higher level of abstraction is not possible. Using Model-Driven Engineering (MDE) in the context of ROS applications would allow to increase the accessibility of ROS, leverage the reusability of packages and supply validation of the software earlier in the design, using formal methods. For instance, formal verification methods would improve the overall dependability of robotic systems. Our view is that we should increase the abstraction of the systems through models using MDE methodology in order to enable the use of formal methods on ROS applications. In this paper we do a first step toward this and propose a comparative study of existing modeling alternatives aiming to help roboticists to smoothly adopt MDE. This study compares the use of modeling in ROS systems in three different ways: by means of direct UML modeling, a ROS UML profile and a ROS Domain-Specific Language. That allows us to pick the solution that better fits our needs.

Mots clés

Fichier principal
Vignette du fichier
author.pdf (1.09 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03436037 , version 1 (25-11-2021)

Licence

Paternité

Identifiants

Citer

Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira. Applying MDE to ROS Systems: A Comparative Analysis. Scientific Annals of Computer Science, 2021, 31 (1), pp.111 - 144. ⟨10.7561/sacs.2021.1.111⟩. ⟨hal-03436037⟩
152 Consultations
288 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More