Skip to Main content Skip to Navigation
Journal articles

Applying MDE to ROS Systems: A Comparative Analysis

Mickael Trezzy 1 Ileana Ober 1 Iulian Ober 1 Raquel Oliveira 1
1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03436037
Contributor : Iulian Ober Connect in order to contact the contributor
Submitted on : Thursday, November 25, 2021 - 5:43:09 PM
Last modification on : Saturday, December 4, 2021 - 11:34:02 PM

File

author.pdf
Files produced by the author(s)

Identifiers

Citation

Mickael Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira. Applying MDE to ROS Systems: A Comparative Analysis. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2021, 31 (1), pp.111 - 144. ⟨10.7561/sacs.2021.1.111⟩. ⟨hal-03436037⟩

Share

Metrics

Les métriques sont temporairement indisponibles