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 design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …

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 …

Abstract Industrie 4.0 demands flexibility, adaptability, transparency and many more
requirements which have to be fulfilled by Industrie 4.0 components or systems in order to …

The increasing number of robots around us creates a demand for connecting these robots in
order to achieve goal-driven teamwork in heterogeneous multi-robot systems. In this paper …

Service robots are complex software-intensive systems that need to fulfill a diversity of tasks
in open-ended environments. In order to deal with their software complexity, one should …

RoboChart is a timed domain-specific language for robotics, distinctive in its support for
automated verification by model checking and theorem proving. Since uncertainty is an …

Social companion robots are getting more attention to assist elderly people to stay
independent at home and to decrease their social isolation. When develo** solutions, one …

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 …

Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …