Dear Roboticist,

Are you planning to visit automatica? Don't miss our two RobmoSys talks on Thursday, 21st June, 12 p.m. at IT2Industry Forum and Friday, 22nd, 11 a.m. at automatica Forum.

In this issue of our newsletter we want to introduce you to CARVE, an ITP aimed at contributing the Behavior Trees formalism and tools for code verification and monitoring based on the RobMoSys component model.

Did you know about the release of another model-based tool environment for robotics, compliant to the RobMoSys structures: Papyrus4Robotics. Take a look at the RobMoSys wiki page which contains a Get Started Guidance.

We hope to see you at automatica!

Anna Principato
on behalf of the RobMoSys consortium


Where to find RobMoSys at automatica

 IT2Industry Forum

Thursday, June 21, 2018, 12:00 – 12:20
Blueprints for business friendly open source ecosystems in the industry
Speaker: Gaël Blondelle, Eclipse Foundation

Automatica Forum

Friday, June 22, 2018, 11:00-11:30
RobMoSys: Why the future belongs to model-driven robot programming
Speakers: Prof. Herman Bruyninckx, KU Leuven, Francesco Ferro, CEO of PAL Robotics


If you want to know more about RobMoSys at any other time of the fair,
you can find us at one of the following booths
in Hall B4:

• ECHORD++ booth in B4.317

• EUnited Robotics in B4.527A

• PAL Robotics B4.523   

We are looking forward to meeting you there!

Please contact us for your free ticket to automatica!


 CARVE - Integration of Behavioral Trees in RobMoSys

The CARVE consortium consists of the Istituto Italiano di Tecnologia (IIT), Università degli Studi di Genova and United Technologies Research Centre.

Their goal is to propose Behavior Trees as formalism for modelling flexible, composable and reusable hierarchical abstraction for component orchestration in the RobMoSys ecosystem and to develop a set of verification tools for assessing static and run-time properties of robot behaviors. The proposed approach will be validated on real-world scenarios in the domain of service robotics.

Objectives description:

• Extension of Behavioral Trees model for robotic application and integration in RobMoSys for behavior definition.

• Development of formal verification tools to assess correctness of defined behaviors (the approach involves compiling BTs into DFSMs RobMoSys models).

• Development of monitoring models to assess correctness at runtime.

• Integration of YARP in RobMosys at a conceptual/formal level and at implementation level (SmartSoft).

• Demonstration of the approach in real world scenarios.

• Dissemination activities (eg. hands-on sessions at the Winter School on Humanoid Robot Programming).

Expected Impact:

• Creation of a behavior market which complements the component market in RobMoSys.

• Giving access to RobMoSys to the iCub community by making the architecture YARP/iCub compatible.

• Promoting RobMoSys in the iCub community through dissemination activities.

Read more:


Papyrus4Robotics has been developed by CEA and based on Eclipse. Take a look at the RobMoSys wiki page which contains a Get Started Guidance.

The tool RCP includes an example to look at the basic modelling features supported by RobMoSys. The guidance will of course be continuously improved and adapted to future RobMoSys stable versions.

This email was sent to subscriber. If you wish to not longer receive the RobMoSys newsletter, please unsubscribe by using the link below.