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 …

A survey on domain-specific languages in robotics

A Nordmann, N Hochgeschwender… - International conference on …, 2014 - Springer
The design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …

RoboChart: modelling and verification of the functional behaviour of robotic applications

A Miyazawa, P Ribeiro, W Li, A Cavalcanti… - Software & Systems …, 2019 - Springer
Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …

Software product line engineering for robotics

D Brugali - Software Engineering for Robotics, 2021 - Springer
The cost of creating new robotics products is significantly related to the complexity of
develo** robotic software applications that are flexible enough to easily accommodate …

RoboStar technology: a roboticist's toolbox for combined proof, simulation, and testing

A Cavalcanti, W Barnett, J Baxter, G Carvalho… - Software Engineering for …, 2021 - Springer
Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …

Model checking real-time properties on the functional layer of autonomous robots

M Foughali, B Berthomieu, S Dal Zilio, F Ingrand… - Formal Methods and …, 2016 - Springer
Software is an essential part of robotic systems. As robots and autonomous systems are
more and more deployed in human environments, we need to use elaborate validation and …

A design and analysis methodology for component-based real-time architectures of autonomous systems

N Gobillot, C Lesire, D Doose - Journal of Intelligent & Robotic Systems, 2019 - Springer
The integration of autonomous robots in real applications is a challenge. It needs that the
behaviour of these robots is proved to be safe. In this paper, we focus on the real-time …

CPAL: High-level abstractions for safe embedded systems

N Navet, L Fejoz - Proceedings of the International Workshop on Domain …, 2016 - dl.acm.org
Innovation in the field of embedded systems, and more broadly in cyber-physical systems,
increasingly relies on software. The productivity gain in software development can hardly …

MAUVE runtime: a component-based middleware to reconfigure software architectures in real-time

D Doose, C Grand, C Lesire - 2017 First IEEE international …, 2017 - ieeexplore.ieee.org
Develo** robotic applications requires to design and implement complex software
architectures. These architectures must embed advanced algorithms that include capacities …

Test suite assessment of safety-critical systems using safety tactics and fault-based mutation testing

HG Gurbuz, B Tekinerdogan, C Catal, NP Er - Cluster Computing, 2024 - Springer
A safety-critical system is a system in which the software malfunctioning could result in
death, injury, or damage to the environment. Addressing safety concerns early on at the …