A survey of Model Driven Engineering in robotics

E de Araújo Silva, E Valentin, JRH Carvalho… - Journal of Computer …, 2021 - Elsevier
Robots are complex to develop due to the diversity of hardware, software components and
the absence of common standards. To deal with these problems, Model-Driven Engineering …

Runtime Verification and Field-based Testing for ROS-based Robotic Systems

R Caldas, JAP García, M Schiopu… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

MROS: runtime adaptation for robot control architectures

D Bozhinoski, M Garzon Oviedo… - Advanced …, 2022 - Taylor & Francis
Known attempts to build autonomous robots rely on complex control architectures, usually
implemented with the Robot Operating System (ROS). Runtime adaptation is needed in …

[HTML][HTML] Synthesis-based engineering of supervisory controllers for ROS-based applications

E Torta, M Reniers, J Kok… - Control Engineering …, 2023 - Elsevier
An ever-increasing number of robotic applications is being created based on the
functionalities and the communication facilities offered by the Robotic Operating System …

Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime

N Hammoudeh García, H Deshpande, A Santos… - Software and Systems …, 2021 - Springer
Abstract Model-driven engineering (MDE) addresses central aspects of robotics software
development. MDE could enable domain experts to leverage the expressiveness of models …

Bootstrapping mde development from ros manual code-part 2: Model generation

NH Garcia, L Deval, M Lüdtke, A Santos… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
In principle, Model-Driven Engineering (MDE) addresses central aspects of robotics
software development. Domain experts could leverage the expressiveness of models; …

Generating ros-based software for industrial cyber-physical systems from uml/marte

MA Wehrmeister - 2020 25th IEEE International Conference on …, 2020 - ieeexplore.ieee.org
This work proposes an approach to generate automatically the embedded software for
distributed Cyber-Physical Systems implemented using the Robotic Operating System …

Runtime Verification and Field Testing for ROS-Based Robotic Systems

R Caldas, JAP García, M Schiopu, P Pelliccione… - arXiv preprint arXiv …, 2024 - arxiv.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …

Lifting ROS to Model-Driven Development: Lessons Learned from a bottom-up approach

NH Garcia, H Deshpande, R Wu, B Kahl… - 2023 IEEE/ACM 5th …, 2023 - ieeexplore.ieee.org
The benefits of using model-based technologies are well proven in different sectors.
However, in robotics, where the dominant framework is one whose nature is to create the …

Universal Configurable Navigation and Control System for Industrial Unmanned Ground Vehicles with Differential Chassis

A Vukolov, F Guzzi, R Pugliese… - IFToMM World Congress …, 2023 - Springer
We describe a novel navigation and control system designed for industrial unmanned
ground vehicles, utilizing the Robot Operating System (ROS). Our primary objective was to …