A survey of Model Driven Engineering in robotics
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 …
the absence of common standards. To deal with these problems, Model-Driven Engineering …
A survey on domain-specific languages in robotics
The design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …
from multiple domains needs to be integrated conceptually and technically. Domain-specific …
RoboChart: modelling and verification of the functional behaviour of robotic applications
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 …
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 …
develo** robotic software applications that are flexible enough to easily accommodate …
RoboStar technology: a roboticist's toolbox for combined proof, simulation, and testing
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 …
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
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 …
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
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 …
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 …
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
Develo** robotic applications requires to design and implement complex software
architectures. These architectures must embed advanced algorithms that include capacities …
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
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 …
death, injury, or damage to the environment. Addressing safety concerns early on at the …