Dear Roboticist,
so far our RobMoSys Academy page included important links to the RobMoSys Wiki, the Pilot section and our YouTube channel. We have used the "Corona-times" to produce video tutorials for a broader public, explaining the tools and benefits of the RobMoSys approach. Visit the Academy page to watch the first of a series of tutorials.
We would also like to draw your attention to our new Papyrus for Robotics leaflet, which describes a clear migration path for a step-by-step integration of of existing model-driven software and tools.
In this newsletter we are taking a closer look at three ITPs of Instrument #2:
• MiRON - QoS Metrics-In-the-loop for better Robot Navigation
• SafeCC4Robot - Safety Component Composition for Robots
• Vericomp - Verifiable Composition of Dynamics and Control Algorithms for Robot Motion
Most events these days have been transformed into virtual events, such as the 2020 edition of the International Conference on Robotics and Automation. On June 11th, a live demo was organised by RobMoSys together with PAL Robotics, which can still be seen on icra2020.org/big-screen until the end of August.
We hope to meet you in person at automatica 2020 fair (new dates: December 8-11), in the meantime feel free to contact us via the RobMoSys Discourse platform if you have any questions.
Wishing you a great summer break - stay safe and healthy!
Anna Principato
on behalf of the RobMoSys Consortium