R5-COP focuses on agile manufacturing paradigms and specifically on modular robotic systems
to overcome the shortcomings of existing solutions, by firstly identifying and extending suitable
existing methods and, where required, developing new ones to formally model hardware and software
components. Furthermore, the use of existing interface and middleware standards such as
ROS will strongly facilitate the integration of components from various suppliers. Such a modular
approach is not only flexible, but will also reduce design, setup and maintenance costs.
Given the level of human/robot cooperation, robustness and safety will be assured by dedicated
verification and validation methodologies.

The formal specification framework will support component suppliers in efficiently verifying and
certifying their modules. This project will identify and develop reconfigurable key hardware and
software components, employing living labs to show the feasibility and capability in manufacturing
and service demonstrator environments.