esrocos dissemination report · 2019-03-01 · [ad.1] peraspera: d3.1 compendium of src activities...

© ESROCOS Consortium 2019, all rights reserved

ESROCOS

DISSEMINATION REPORT ESROCOS_D6.3

Due date of deliverable: 31-01-2019

Start date of project: 01-11-2016

Duration: 27 months

Topic: COMPET-4-2016 Building Block a) Space Robot Control Operating System

Work package: 6300

Lead partner for this deliverable: DFKI

This project has received funding from the European Union’s Horizon 2020 Research and Innovation programme under Grant Agreement No 730080.

Dissemination Level

PU Public X

CO-1 Confidential, restricted under conditions set out in Model Grant Agreement. Version providing the PSA will all the information required to perform its assessment.

CO-2 Confidential, restricted under conditions set out in Model Grant Agreement. Version providing the PSA and the other operational grant the information required for the integration of all the building blocks and the continuity of the Strategic Research Cluster

Prepared by: ESROCOS team

Approved by: Malte Wirkus

Authorized by: Malte Wirkus

Code: ESROCOS_D6.3

Version: 1.1

Date: 01/03/2019

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 2 of 51

ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report

DOCUMENT STATUS SHEET

Version Date Pages Changes

1.0 18/01/2019 51 First version of the document.

1.1 01/02/2019 51 Updated per Final Review RIDs: FRM_RID_03.

NOTICE

The contents of this document are the copyright of the ESROCOS Consortium and shall

not be copied in whole, in part or otherwise reproduced (whether by photographic,

reprographic or any other method) and the contents thereof shall not be divulged to any

other person or organisation without the prior written consent of the ESROCOS

Consortium. Such consent is hereby automatically given to the European Commission

and PERASPERA PSA to use and disseminate.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 3 of 51


TABLE OF CONTENTS

1. INTRODUCTION ............................................................................................. 7

1.1. PURPOSE ................................................................................................ 7

1.2. SCOPE .................................................................................................... 7

1.3. CONTENTS .............................................................................................. 7

2. REFERENCE AND APPLICABLE DOCUMENTS ....................................................... 9

2.1. APPLICABLE DOCUMENTS ......................................................................... 9

2.2. REFERENCE DOCUMENTS.......................................................................... 9

3. TERMS DEFINITIONS AND ABBREVIATED TERMS .............................................. 10

3.1. DEFINITIONS ......................................................................................... 10

3.2. ACRONYMS ............................................................................................ 10

4. PROJECT OVERVIEW ...................................................................................... 11

4.1. DISSEMINATION OBJECTIVES .................................................................. 11

5. DISSEMINATION ACTIVITIES .......................................................................... 13

5.1. DISSEMINATION TOOLS .......................................................................... 13

5.1.1. Logo .......................................................................................... 13

5.1.2. Project Website ........................................................................... 13

5.1.2.1. Company Websites ............................................................... 15

5.1.2.2. Other Websites .................................................................... 16

5.1.3. Hand-Out Material ....................................................................... 18

5.1.4. Animations and Videos ................................................................. 20

5.1.5. Public Source Code Repository and Developer Reference .................. 20

5.1.6. Press Releases ............................................................................ 22

5.1.6.1. Media Appearances ............................................................... 23

5.2. FACE-TO-FACE OUTREACH ....................................................................... 23

5.2.1. Presentation at VERIMAG Project Presentation Day .......................... 23

5.2.2. Presentation at 2nd Peraspera Workshop ......................................... 23

5.2.3. ESROCOS workshop at ASTRA 2017 ............................................... 24

5.2.4. Participation ROBEX Symposium .................................................... 24

5.2.5. Presentation at the Space Robotics SRC Call 2 Info Day .................... 25

5.2.6. Presentation at IST Jobshop .......................................................... 25

5.2.7. Participation in AMADEE-18 Science Workshop ................................ 25

5.2.8. “Sternstunden 2018” at DFKI ........................................................ 26

5.2.9. “Day of the open Door” at DFKI ..................................................... 26

5.2.10. Contributions to SAE AS2-C standardisation committee .............. 27

5.2.11. Industry Presentation at ISAE ................................................. 28

5.2.12. Presentation at DLR Institute Seminar ...................................... 28

5.2.13. i-SAIRAS Laboratory Tour at GMV ............................................ 28

5.2.14. Presence at IROS .................................................................. 28

5.2.15. Presentation at International Astronautical congress 2018 .......... 29

5.2.16. Presentation at “Space 4 Inspiration” ....................................... 29

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 4 of 51


5.2.17. Presentation at “8th NDA Estate Decommissioning Supply Chain

Event” 30

5.2.18. Presentation at the Space Engineering and Technology Final

Presentation Days at ESTEC ............................................................... 30

6. SCIENTIFIC CONTRIBUTIONS ......................................................................... 31

6.1. PUBLICATIONS ....................................................................................... 31

6.1.1. ESROCOS: A Robotic Operating System for Space and Terrestrial

Applications. In Proceedings of the 14th Symposium on Advanced Space

Technologies in Robotics and Automation ............................................. 31

6.1.2. Performance Evaluation of Stochastic Real-Time Systems with the SBIP

framework ........................................................................................ 31

6.1.3. SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems .... 32

6.1.4. The Refinement Calculus of Reactive Systems Toolset ...................... 32

6.1.5. Designing Systems with Detection and Reconfiguration Capabilities: A

Formal Approach ............................................................................... 32

6.1.6. Knowledge Based Optimization for Distributed Real-Time Systems ..... 33

6.1.7. Local Planning Semantics: a Semantics for Distributed Real-Time

Systems ........................................................................................... 33

6.1.8. Mechanically Proving Determinacy of Hierarchical Block Diagram

Translations (Accepted) ..................................................................... 34

6.1.9. Quantitative Risk Assessment in the Design of Resilient Systems

(submitted) ...................................................................................... 34

6.1.10. Code generation from declarative models of robotics solvers

(Accepted) ....................................................................................... 35

6.1.11. Towards the qualification of an AADL model transformation tool with

contracts (Submitted) ....................................................................... 35

6.1.12. The Refinement Calculus of Reactive Systems (Submitted) ......... 35

6.2. SCIENTIFIC PRESENTATIONS ................................................................... 36

6.2.1. European space robotics control and operating system (ESROCOS) .... 36

6.2.2. Formal Validation of TASTE Designs with the BIP Framework ............. 36

6.2.3. ESROCOS Component Development Workflow ................................. 37

6.2.4. ESROCOS: A Robotic Operating System for Space and Terrestrial

Applications ...................................................................................... 37

6.2.5. Formal Models of a Space-Grade robot Motion Software Stack ........... 37

6.2.6. Integrating ROS Open-Source Robotics Software Framework in ESROCOS

38

6.2.7. ESROCOS in Context of DLR’s Reconfigurable High-performance Platform

for Space Missions ............................................................................. 38

6.2.8. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND

TERRESTRIAL APPLICATIONS.............................................................. 38

6.2.9. A brief introduction to the SBIP2 Statistical Model Checker ............... 39

6.2.10. ESROCOS: ESROCOS - An Open Control and Operating System for

Robotic Applications........................................................................... 39

6.2.11. Python en robótica y espacio: MicroPython (SCHEDULED) .......... 39

7. REVIEW OF DISSEMINATION ACTIVITIES ......................................................... 40

ANNEX A. LIST OF MEDIA APPERANCES .............................................................. 43

A.1. PRESS MEDIA APPEARANCES ................................................................... 43

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 5 of 51


A.2. SOCIAL MEDIA APPEARANCES .................................................................. 46

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 6 of 51


LIST OF TABLES AND FIGURES

Table 2-1. Applicable documents ........................................................................... 9

Table 2-2. Reference documents ........................................................................... 9

Table 3-1. Definitions .......................................................................................... 10

Table 3-2. Acronyms ........................................................................................... 10

Figure 4-1: Overview of the components of ESROCOS ............................................. 11

Figure 5-1: ESROCOS project logo ........................................................................ 13

Figure 5-2: ESROCOS Website with internal section ................................................ 14

Figure 5-3: Page visit statistics in total numbers (left) and by colour coded by country

(right). The darker to colour, the more sessions from that country. .......................... 15

Figure 5-4: Webpage about ESROCOS on DFKI website ........................................... 16

Figure 5-5: Webpage about ESROCOS on DLR website ............................................ 16

Figure 5-6: Webpage about ESROCOS in CORDIS (EC) ............................................ 17

Figure 5-7: Information about ESROCOS in the H2020-PERASPERA Website ............. 17

Figure 5-8: Project brochure ................................................................................ 18

Figure 5-9: ESROCOS Leaflet ............................................................................... 19

Figure 5-10: GMV robotics leaflet with ESROCOS info .............................................. 19

Figure 5-11: Pictures taken from the ESROCOS video ............................................. 20

Figure 5-12: Overview page on the ESROCOS GitHub organization ........................... 21

Figure 5-13: Screenshot of the ESROCOS developer reference ................................. 22

Figure 5-14: ESROCOS Workshop Programme ........................................................ 24

Figure 5-15: Advertisement for "Sternstunden 2018" .............................................. 26

Figure 5-16: Presenting the DFKI space related projects at the Day of the open Door . 27

Figure 5-17: Picture of the OG1-OG6 booth at IAC 2018 .......................................... 29

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 7 of 51


1. INTRODUCTION

1.1. PURPOSE

The PERASPERA OG1 activity is devoted to the design of a Robot Control Operating

Software (RCOS) that can provide adequate features and performance with space-grade

Reliability, Availability, Maintainability and Safety (RAMS) properties. The goal of the

ESROCOS project is to provide an open source framework which can assist in the

development of flight software for space robots. By providing an open standard which can

be used by research labs and industry, it is expected that the Technology Readiness Level

(TRL) can be raised more efficiently, and vendor lock-in through proprietary environments

can be reduced. Current state-of-the-art robotic frameworks are already addressing

some of these key aspects, but mostly fail to deliver the degree of quality expected in the

space environment. In the industrial robotics world, manufacturers of robots realise their

RCOS by complementing commercial real-time operating systems, with proprietary

libraries implementing the extra functions.

This document describes the dissemination actions that have been conducted for the

ESROCOS project. We present the events, communication means and all channels that

were used to promote the project and to disseminate its concepts and results to external

audiences.

1.2. SCOPE

This document is an outcome of WP 6 “Dissemination and Exploitation” of the ESROCOS

activity. This WP’s goal is to disseminate the project ideas, goals and results to scientific,

industrial communities as well as the general public. The activities within this WP where

expected to increase the awareness of the results and ideas, that have been developed

throughout the project.

This documents builds takes into account the document [RD.1] that described the planned

dissemination activities earlier in the project.

1.3. CONTENTS

This document contains the following sections:

Section 1: Introduction.

Section 2: Reference and Applicable and Documents. Lists of documents that are

relevant to the structure and contents of this document.

Section 3: Terms, definitions and abbreviated terms. List of terms and definitions

that harmonize the nomenclature used providing the clarifications for the correct

understanding of the terms.

Section 4: Project Overview. Presents the overall structure of the ESROCOS

framework.

Section 5: Dissemination Activities. Lists all the individual activities done for

disseminating the project ideas and results. The creation of dissemination materials

and active dissemination actions are handled in individual sub-sections.

Section 6: Scientific Publications. Gives an over view of the scientific contributions

separated into scientific publications and presentations in separated sub-sections.

Section 7: Review of Dissemination Activities. Compares the dissemination activities

done to the activities planned in the Dissemination Plan.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 8 of 51


Annex A: List of Media Appearances. Contains the list of the project appearances in

the press and social media.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 9 of 51


2. REFERENCE AND APPLICABLE DOCUMENTS

2.1. APPLICABLE DOCUMENTS

The following is the set of documents that are applicable:

Ref. Title Date

[AD.1] Peraspera: D3.1 Compendium of SRC

Activities (for call 1)

[AD.2] Guidelines for strategic research cluster on space robotics technologies horizon 2020 space call

2016

[AD.3] Call: H2020-COMPET-2016 ESROCOS Proposal. Proposal no. 730080 03/03/2016

Table 2-1. Applicable documents

2.2. REFERENCE DOCUMENTS

The following is the set of documents referenced or useful for understanding the contents

of this report:

Ref. Title Date

[RD.1] ESROCOS Dissemination Plan (D6.2). ESROCOS_D6.2. V1.0 28/02/2017

Table 2-2. Reference documents

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 10 of 51


3. TERMS DEFINITIONS AND ABBREVIATED TERMS

3.1. DEFINITIONS

Concepts and terms used in this document and needing a definition are included in the

following table:

Table 3-1. Definitions

Concept / Term Definition

- -

3.2. ACRONYMS

Acronyms used in this document and needing a definition are included in the following

table:

Table 3-2. Acronyms

Acronym Definition

AADL Architecture Analysis and Design Language

AIR ARINC 653 Interface in RTEMS

ASN.1 Abstract Syntax Notation One

BIP Behaviour, Interaction, Priority

DLR Deutsches Zentrum für Luft- und Raumfahrt

DFKI Deutsches Forschungszentrum für Künstliche Intelligenz

ECSS European Cooperation for Space Standardization

ESA European Space Agency

ESROCOS European Space Robotics Control and Operating System

FDIR Failure Detection, Isolation and Recovery

H2020 Horizon 2020

IAC International Astronautical Congress

ISAE Institut Supérieur de l'Aéronautique et de l'Espace

KUL Katholieke Universiteit Leuven

OG Operational Grant

RAMS Reliability, Availability, Maintainability and Safety

RCOS Robot Control Operating System

RD Reference Document

RTEMS Real-Time Executive for Multiprocessor Systems

SW Software

TASTE The ASSERT Set of Tools for Engineering

TC Telecommand

TM Telemetry

UGA Université Grenoble Alpes

WP Work Package

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 11 of 51


4. PROJECT OVERVIEW

ESROCOS is a framework for developing robot control software applications. It includes

a set of tools that support different aspects of the development process, from

architectural design to deployment and validation. In addition, it provides a set of core

functions that are often used in robotics or space applications.

Figure 4-1: Overview of the components of ESROCOS

The ESROCOS framework is intended to support the development of software following

the ECSS standards. It does not by itself cover all the development phases and verification

steps, but it facilitates certain activities and ensures that the software built can be made

compatible with the RAMS requirements of critical systems.

Figure 4-1 summarizes the main elements of the ESROCOS framework. At the top of the

figure there are tools for robots, software and failure modelling. These are supported by

the common data types for component interfacing, and basic libraries for robotics

functions, logging and TM/TC. The middleware layer allows for the management and

communication of software components at runtime. A mixed criticality layer is added to

isolate application components at runtime. Finally, the applications may run on three

environments according to the desired software quality level: laboratory, high reliability

and space quality.

The boxes on the sides of the figure represent orthogonal concerns. Firstly, ESROCOS

integrates with third-party tools and frameworks to support different activities and

facilitate the reuse of existing code. Secondly, ESROCOS supports the configuration and

deployment of complex applications via continuous integration. Finally, the figure

highlights that ESROCOS is open-source and relies on non-proprietary technologies in

order to encourage usage and contributions from the community.

4.1. DISSEMINATION OBJECTIVES

The major objective of the WP 6 “Dissemination and Exploitation” is to (a) effectively and

efficiently raise awareness and understanding of the project ESROCOS, from the concept

to the final results, (b) to maximize the influence of the project and (c) to promote

adoption/exploitation of the project results. Further, the objectives include the production

of outreach material, which can be published in various media.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 12 of 51


The following audience groups are taken into account as target audiences for the

dissemination activities in ESROCOS:

Internal audience: The members of the project consortium need to stay well

informed about all aspects of the progress of the project to allow seamless and

productive work for all partners.

Related Projects: Sharing project results with coordinators and key actors of

PERASPERA OGs, ensures visibility and uptake of results, and provide

opportunities to receive feedback, share experiences and discuss joint problems

and issues.

External stakeholders: European industrial and research organisations working

on space robotics technologies or safety critical system in terrestrial applications.

By getting in contact with this group we want to spread knowledge about the

project and its ideas but also gain additional needs and requirements for a space

robotics RCOS.

General Public: The consortium strongly believes that the general public has a

genuine interest in robotics and, specifically, in space activities. This has to be

further exploited in order to create a closer relationship between European citizens

and the technological capabilities in space within Europe, by increasing interest in

space robotics in the European society.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 13 of 51


5. DISSEMINATION ACTIVITIES

5.1. DISSEMINATION TOOLS

A number of different dissemination tools and actions where produced throughout the

ESROCOS project. The purpose of the tool is to support the communication and promotion

of the project to the targeted audiences during the course and after the project. This

chapter describes the most important tools created and used in the project.

5.1.1. LOGO

The use of a project logo helps creating a well-defined graphical identify and increases

recognition factor of the project. A common project logo (cf. Figure 4-1) was created. The

logo was used for all materials created for the dissemination of ESROCOS.

Figure 5-1: ESROCOS project logo

5.1.2. PROJECT WEBSITE

A website for the ESROCOS project was created under the URL http://www.h2020-

esrocos.eu/. The website contains general information about the project such as

information about the consortium, runtime and frame in which the project is carried out.

This information is of interest for externals that want to inform themselves about the

project, or might want to contact members of the consortium. To keep externals informed

about major events within the ESROCOS, the website contains a news section (cf. Figure

5-2, left), which was steadily updated throughout the project. By January 2019, the news

section of the ESROCOS website counts 10 entries. The website also contains links to the

public source code repository and the developer documentation (cf. section 5.1.5).

http://www.h2020-esrocos.eu/

http://www.h2020-esrocos.eu/

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 14 of 51


Figure 5-2: ESROCOS Website with internal section

For internal communication, the website also features a password protected internal area.

The internal are provides a file repository (cf. Figure 5-2, right), which is used to distribute

larger files between project partners. Each project partner has the possibility to upload

or download files or create folders. The file section was used mostly for collaborative work

on documents or to provide common document templates. The internal area of the project

website also provides a forum, which was used for internal discussions of specific topics.

Figure 5-3 shows some visit statistics of the website that where generated with Google

Analytics. It shows, that by 14.1.2019, the Website was visited 3074. For the runtime of

the project, this gives ca. 128 visits per month. The bounce rate mentioned in the figure

gives the percentage of users that leave the website immediately after visiting it. “Organic

Search” refers to the number visitors, that where guided to the website using a search

engine.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 15 of 51


Figure 5-3: Page visit statistics in total numbers (left) and by colour coded by

country (right). The darker to colour, the more sessions from that country.

5.1.2.1. COMPANY WEBSITES

Beside the main website, DFKI and DLR of the consortium have created single webpages.

The pages contain information about the ESROCOS project and have links the official

website. With these information pages readers of the individual company websites are

briefly informed about the ESROCOS project and are redirected to further information on

the official website. The DFKI webpage additionally provides download links to a project

flyer and links the ESROCOS project video. The DFKI webpage is accessible under

https://robotik.dfki-bremen.de/de/forschung/projekte/esrocos.html and the DLR page is

accessible at https://www.dlr.de/sc/en/desktopdefault.aspx/tabid-12422/21639_read-

49542/. Pictures of the pages are shown in Figure 5-4 and Figure 5-5.

https://robotik.dfki-bremen.de/de/forschung/projekte/esrocos.html

https://www.dlr.de/sc/en/desktopdefault.aspx/tabid-12422/21639_read-49542/

https://www.dlr.de/sc/en/desktopdefault.aspx/tabid-12422/21639_read-49542/

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 16 of 51


Figure 5-4: Webpage about ESROCOS on DFKI website

Figure 5-5: Webpage about ESROCOS on DLR website

5.1.2.2. OTHER WEBSITES

Besides the main website and the sites hosted by partners, information on ESROCOS is

available at:

https://cordis.europa.eu/project/rcn/206157/factsheet/en

https://cordis.europa.eu/project/rcn/206157/factsheet/en

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 17 of 51


Figure 5-6: Webpage about ESROCOS in CORDIS (EC)

https://www.h2020-peraspera.eu/?page_id=36

Figure 5-7: Information about ESROCOS in the H2020-PERASPERA Website

https://www.h2020-peraspera.eu/?page_id=36

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 18 of 51


5.1.3. HAND-OUT MATERIAL

We have prepared a four-page brochure (Figure 5-8) for with some background

information about the project. It contains information about the project challenges and

goals, the project consortium as well as technical and organizational information.

Figure 5-8: Project brochure

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 19 of 51


In addition to the project brochure, we have created a more compact single page handout

leaflet (Figure 5-9). The brochure should support representatives of the ESROCOS project

in their dissemination activities at face-to-face outreach events by handing it out to

interested audiences.

Figure 5-9: ESROCOS Leaflet

ESROCOS was presented also in a GMV Robotics leaflet created for the “NDA estate

decommissioning supply chain event” at UK:

Figure 5-10: GMV robotics leaflet with ESROCOS info

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 20 of 51


5.1.4. ANIMATIONS AND VIDEOS

A video of 2 minutes length about the ESROCOS project was created. After a short

introduction of the project approach and the consortium, the three different

demonstration and validation scenarios are introduced. To illustrate the target platforms

video shots of the robots that are used for validation and the used simulation environment

are shown. The video is closed by project participants being interviewed and answering

questions about the project. Figure 5-11 shows pictures taken from the ESROCOS video.

The video was show on the IAC booth (cf. Section 5.2.15) and was made available online

on YouTube at https://www.youtube.com/watch?v=YFnPJYkHxCg. The YouTube video is

linked on the official ESROCOS website and embedded into DFKI’s ESROCOS webpage.

For a large video screen on the IAC booth (cf. Section 5.2.15), the video was integrated

into a longer video introducing also projects OG2-6.

Figure 5-11: Pictures taken from the ESROCOS video

5.1.5. PUBLIC SOURCE CODE REPOSITORY AND DEVELOPER REFERENCE

One of the project goals was to provide open source software and make it available to

the developer community. To reach out to software developers we chose to publish the

source code of the developments done in ESROCOS on GitHub at

https://github.com/ESROCOS. A screenshot of the overview page of the ESROCOS

“organization” at GitHub is given in Figure 5-12. The organization currently counts 68

individual repositories and 19 active developers. Since ESROCOS in parts relies on

software that was already existing at the start of the project (e.g. TASTE) and has

established its own development workflow and source code repositories, the ESROCOS

GitHub organization does not contain these software parts.

GitHub provides for each individual sub-project, a platform for technical discussions and

improvements (issue system, milestones) and documentation (readme.md, wiki per

project) to allow focusses discussions on technical details.

We have implemented a “Developer Reference” for ESROCOS at

https://github.com/ESROCOS/esrocos.github.io/wiki. The Developer Reference provides

technical background information and tutorials on the usage of the ESROCOS system. It

is based on the Wiki system provided by GitHub and allows easy modification and creation

of new content for all developers registered at the ESROCOS organization. A screenshot

of the front page of the Developer Reference is given in Figure 5-13.

https://www.youtube.com/watch?v=YFnPJYkHxCg

https://github.com/ESROCOS

https://github.com/ESROCOS/esrocos.github.io/wiki

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 21 of 51


Figure 5-12: Overview page on the ESROCOS GitHub organization

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 22 of 51


Figure 5-13: Screenshot of the ESROCOS developer reference

5.1.6. PRESS RELEASES

To increase awareness about the project several press releases mentioning ESROCOS

have been issued:

Press release about SRC milestone meeting in Madrid (February 2017):

https://www.h2020-facilitators.eu/wp-content/uploads/PR_005-

PERASPERA_060217.pdf

Press release from GMV about H2020 projects (March 2018):

https://www.gmv.com/en/Company/Communication/PressReleases/2017/NP_00

8_H2020.html

Press release about the exhibition booth at the IAC in Bremen (September 2018):

https://robotik.dfki-bremen.de/de/startseite/aktuelles/entry/innovative-

technolog.html

ESROCOS was mentioned in two press releases about the start of the field tests

in Morocco, that where organized by OG6 (November 2018):

o https://www.dfki.de/en/web/news/detail/News/naechster-halt-marokko-

eu-partner-testen-innovative-software-fuer-weltraumroboter-in-der-

sahara0/

o https://www.h2020-esrocos.eu/wp-

content/uploads/PR_027_PERASPERA-TRIALS.pdf

https://www.h2020-facilitators.eu/wp-content/uploads/PR_005-PERASPERA_060217.pdf

https://www.h2020-facilitators.eu/wp-content/uploads/PR_005-PERASPERA_060217.pdf

https://www.gmv.com/en/Company/Communication/PressReleases/2017/NP_008_H2020.html

https://www.gmv.com/en/Company/Communication/PressReleases/2017/NP_008_H2020.html

https://robotik.dfki-bremen.de/de/startseite/aktuelles/entry/innovative-technolog.html

https://robotik.dfki-bremen.de/de/startseite/aktuelles/entry/innovative-technolog.html

https://www.dfki.de/en/web/news/detail/News/naechster-halt-marokko-eu-partner-testen-innovative-software-fuer-weltraumroboter-in-der-sahara0/



https://www.h2020-esrocos.eu/wp-content/uploads/PR_027_PERASPERA-TRIALS.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/PR_027_PERASPERA-TRIALS.pdf

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 23 of 51


ESROCOS was mentioned in a press release about the finalization of the field tests

in Morocco: https://www.dfki.de/web/news/detail/News/feuertaufe-bestanden-

eu-partner-testen-erfolgreich-neue-software-fuer-weltraumroboter-in-marokko/

5.1.6.1. MEDIA APPEARANCES

By 14.1.2019, we counted more than 68 different media appearances in response to the

press releases. All appearances are listen in A.1.

No dedicated social media account for the ESROCOS project was created. Nevertheless

ESROCOS was present on social media channels via by references on other accounts. We

counted that ESROCOS appeared in the ten social media postings listed in A.2.

5.2. FACE-TO-FACE OUTREACH

This sections lists different events that have been visited by representatives of the

ESROCOS project with the goal to present the ESROCOS project to different audiences.

Where suitable the project brochure and/or flyers where used.

5.2.1. PRESENTATION AT VERIMAG PROJECT PRESENTATION DAY

Category: Workshop

Audience reached

(estimated):

Scientific Community: 30

Date: 3.11.2016

Location: VERIMAG, Grenoble, France

VERIMAG organizes every year a one-day seminar session to present the new projects.

Presentations are intended to discuss project objectives, approaches, case studies with

all VERIMAG members and seek for potential collaborations on related research topics.

The presentation of ESROCOS covered the general context and the VERIMAG planned

contribution with an emphasis on the integration of TASTE and BIP.

5.2.2. PRESENTATION AT 2ND PERASPERA WORKSHOP

Category: Participation in activities organized jointly with other H2020

project(s)

Audience reached

(estimated):


Industry: 40

Date: 28.-29.11.16

Location: Santa Cruz de Tenerife, Spain

The 2nd workshop PERASPERA (https://www.h2020-peraspera.eu/?p=447) took place on

28-29 November 2016 in Tenerife (Spain), with the objective of gathering inputs from

the community on the next phases of the Space Robotics Technology Cluster roadmap.

Organised by the PERASPERA consortium (ESA, DLR, CDTI, UKSA, ASI and CNES), the

workshop has first introduced the status of the cluster, announcing the kick-off of the

first Operational Grants (OG).

The PERASPERA consortium has also presented the future OGs that will be financed in

the 2018 and 2019 H2020 Space Program. In 2018, the objective is to start integrating

the building blocks developed in the frame of the current OGs in a number of application-

oriented activities, both for planetary and orbital scenarios.

https://www.dfki.de/web/news/detail/News/feuertaufe-bestanden-eu-partner-testen-erfolgreich-neue-software-fuer-weltraumroboter-in-marokko/

https://www.dfki.de/web/news/detail/News/feuertaufe-bestanden-eu-partner-testen-erfolgreich-neue-software-fuer-weltraumroboter-in-marokko/

https://www.h2020-peraspera.eu/?p=447

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 24 of 51


At the end of the event, a working sessions took place, restricted to the coordinators of

OG1 to OG6.

5.2.3. ESROCOS WORKSHOP AT ASTRA 2017

Category: Organization of a workshop

Audience reached

(estimated):


Industry: 15

Date: 21.6.17

Location: Leiden, Netherlands

The Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA)

is a bi-yearly conference organized by ESA on scientific developments in space robotics

and automation. ESROCOS organized and chaired a workshop in the topic of “Robotic

Control and Operating Systems (RCOS)” in the frame of the conference. The purpose of

the workshop was to present and discuss the approach and developments done under

the ESROCOS project and to invite the community to discuss, participate in and steer the

activity. The Agenda consisted of talks and paper presentations of members of the

ESROCOS consortium and external participants from the space robotics research

community. An overview of the Workshop programme is given in Figure 5-14.

9:00 – 9:20 ESROCOS:A Robotic Operating System for Space and Terrestrial Applications, M. Muñoz, GMV, Spain

9:20 – 9:40 The Space Automation and Robotics General Controller (SARGON), J.Ocon, GMV, Spain

9:40 – 10:00 A Model-Based Appraoch to Develop Robotics Applications with Component-Based Middlewares, G.Bardaro and M. Matteucci, Polimi, Italy

10:00 – 10:20 Towards a Nonfunctional Requirement Driven Appraoch to the Optimization of Software Systems for Robotics, B. Langpap and R. Drechsler, Airbus/DFKI, Germany

10:20 – 10:40 Formal alidation of TASTE Designs with the BIP Framework, I, Dragomir, UGA, France

10:40 – 11:05 ESROCOS Component Development Workflow, M. Wirkus, DFKI, Germany

11:05 – 11:20 Break

11:20 – 1:45 Formal Models of a Space-Grade Robot Motion Software Stack, H. Bruyninckx, KUL, Belgium

11:45 – 12:10 Integrating ROS Open-Source Robotics Software Framework in ESROCOS, N. Tsiogkas, Intermodalics, Belgium

12:10 – 12:35 ESROCOS in Context of DLR’s Reconfigurable High-performance Platform for Space Missions, K- Hoeflinger, DLR, Germany

12:35 – 13:00 Seamless Integration of Reconfigurable Hardware into Robotic Development Process, Moritz Schilling, DFKI, Germany

Figure 5-14: ESROCOS Workshop Programme

5.2.4. PARTICIPATION ROBEX SYMPOSIUM

Category: Participation to a workshop

Audience reached

(estimated):


Industry: 10

Date: 28.6.-2.7.17

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 25 of 51


Location: Catania, Italy

The research alliance ROBEX (Robotische Exploration unter Extrembedingungen, Robotic

Exploration in Extreme Conditions) aims at bringing together robotics communities from

space and deep-sea. 16 different research institutes from Germany are participating in

the alliance. At the ROBEX Symposium, results in the research activities where discussed

and in parallel a space robotics demonstration was given. The approx. 150 participants

of the symposium and field test mainly came from the German space agency, industry

and research sector. DFKI joined and represented the ESROCOS project at the symposium

in discussions about software development approaches for robotics in deep sea and space

applications.

5.2.5. PRESENTATION AT THE SPACE ROBOTICS SRC CALL 2 INFO DAY

Category: Presentation

Audience reached

(estimated):

Industry: 100

Date: 13.11.2017

Location: Brussels, Belgium

In preparation for the 2nd call of the SRC projects, REA organized an Information Day for

the industry in which ESROCOS and the other OGs of the 1st call were presented to an

audience interested in taking part in the SRC activities.

5.2.6. PRESENTATION AT IST JOBSHOP

Category: Exhibition

Audience reached

(estimated):

Unknown

Date: 8.5.2018

Location: Lisbon, Portugal

The IST Jobshop is an exhibition of engineering and technology in Lisbon, where

companies introduce themselves and their area of work mainly to students und young

professionals. ESROCOS was presented as an example activity of GMV Skysoft.

5.2.7. PARTICIPATION IN AMADEE-18 SCIENCE WORKSHOP

Category: Participation to a workshop

Audience reached

(estimated):


Industry: 5

Date: 25.5. – 27.5.18

Location: Graz, Austria

AMADEE is a project series, providing the organization and management for earth

analogue Mars mission simulations. Different projects can apply for participating in such

a mission and let their technology be tested under conditions as close as possible to a

real space mission. In the 2018 iteration of the AMADEE project

(https://oewf.org/portfolio/amadee-18/) three different robotics projects took part in the

mission simulation. In the workshop, representatives of the participating projects

https://oewf.org/portfolio/amadee-18/

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 26 of 51


reported results of the mission, but also representatives from industry, politics and space

agencies attended. In discussions the concepts and ideas of ESROCOS have been

explained and discussed with participants of the workshop.

5.2.8. “STERNSTUNDEN 2018” AT DFKI

Category: Public Event

Audience reached

(estimated):

General Public: 30

Industry: 5

Date: 21.6.2018

Location: DFKI, Bremen, Germany

Figure 5-15: Advertisement for "Sternstunden 2018"

Because of the International Astronautical Congress, which took place in Bremen in 2018

a city-wide series of events called “Sternstunden 2018” took place on different locations

in the city throughout the year. DFKI took part in the event by opening the “Space

Exploration Hall” laboratory to visitors on 21.6.2018. Robotics demonstrations have been

shown and insight into the space-related project including ESROCOS was given. For the

event about 150 visitors where counted.

5.2.9. “DAY OF THE OPEN DOOR” AT DFKI

Category: Public Event

Audience reached

(estimated):

General Public: 200

Industry: 10

Date: 28.6.2018

Location: DFKI, Bremen, Germany

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 27 of 51


Figure 5-16: Presenting the DFKI space related projects at the Day of the open

Door

Every year DFKI organizes a “Day of the Open Door”, where most laboratories and

systems are shown and information about ongoing research projects are explained to the

audience. The audience mainly consists of general public, school classes, professional

from the and special invited professionals. In 2018 the Day of the Open Door took place

on 28.6.2018 with 859 registered visitors at the DFKI facilities.

ESROCOS was presented together with space systems of DFKI and other space related

projects in the space hall.

5.2.10. CONTRIBUTIONS TO SAE AS2-C STANDARDISATION COMMITTEE

Category: Other (standardisation activity)

Audience reached

(estimated):

Scientific Community and Industry: 25

Date: 30.1.-2.2.17, 25.-28.9.17, 14.-17.5.18, 5.-7.11.18

Location: Toulouse (FR), Fort Worth (USA), Pittsburgh (USA), London (UK)

The ESROCOS projects has been presented to the SAE AS2-C standardisation committee

in charge of the definition of the AADL language. This committee gathers three times a

year. The project requirements have been discussed so as to support TSP and SMP to

address requirements to support the AIR hypervisor); and to enhance the definition of

AADL runtime services to clarify testing activities to be carried out for the qualification of

Ocarina and the PolyORB-HI/C- runtime. These activities helped ensuring the AADL

language can support all activities required for both TASTE and ESROCOS.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 28 of 51


5.2.11. INDUSTRY PRESENTATION AT ISAE

Category: Other (in-house event)

Audience reached

(estimated):

Industry: 15

Date: 5 Dates between 18.1.2018 and 13.2.18

Location: Toulouse, France

The ESROCOS project and ISAE’s work on this project and its contribution through TASTE

was presented as part of internal visit to ISAE industrial partners: Continental, Thales

Avionics, Zodiac Aerospace, Latecoere and Airbus Operations. The objective of these visits

is to present to ISAE partners its research portfolio.

5.2.12. PRESENTATION AT DLR INSTITUTE SEMINAR


Audience reached

(estimated):


Date: 18.01.2018

Location: DLR, Oberpfaffenhofen, Germany

In a DLR internal presentation talk series, ESROCOS was presented to DLR employees in

a talk about development of space mission software.

5.2.13. I-SAIRAS LABORATORY TOUR AT GMV


Audience reached

(estimated):

Industry: 100

Date: 6.06.2018

Location: GMV, Madrid, Spain

The International Symposium on Artificial Intelligence, Robotics and Automation in Space

(i-SAIRAS 2018) is a scientific conference devoted to AI, automation and robotics in space

applications. A guided tour through the laboratories of GMV was offered to all attendees

of the conference. During the tour ESROCOS was presented as one of GMV’s activities.

5.2.14. PRESENCE AT IROS

Category: Conference

Audience reached

(estimated):


Industry: 5

Date: 1.-5.10.2018

Location: Madrid, Spain

The International Conference on Intelligent Robots and Systems (IROS) is one of the

major international conferences for robotics research. In 2018 it took place in Madrid. A

an information booth of the HISPAROB association, GMV brochures containing ESROCOS

information where presented.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 29 of 51


5.2.15. PRESENTATION AT INTERNATIONAL ASTRONAUTICAL CONGRESS 2018

Category: Exhibition

Audience reached

(estimated):


Industry: 300

General Public: 400

Date: 1.-5.10.2018

Location: Bremen, Germany

The International Astronautically Congress (IAC) is the most important get-together in

space industry. The yearly event covers all space sectors and topics and gives opportunity

for exchange, developing contacts or stablishing partnerships. The 2018 IAC

(https://www.iac2018.org/) in Bremen attracted more than 6500 participants from 82

different countries. In an exhibition area 144 exhibitors from science, economy and

governments have presented their work. The IAC offered a public day for the general

public to visit the exhibition area. 13,000 visitors made use of the public day.

The ESROCOS project was presented together with the OG2-OG6 activities at a booth (cf.

Figure 5-17) at the exhibition area. In addition to the booth, DFKI has offered a guided

tour through the DFKI space exploration hall.

Figure 5-17: Picture of the OG1-OG6 booth at IAC 2018

5.2.16. PRESENTATION AT “SPACE 4 INSPIRATION”

Category: Conference/Exhibition

Audience reached

(estimated):

Industry: 5

General Public: 20

https://www.iac2018.org/

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 30 of 51


Date: 29.-31.10.2018

Location: Bilbao, Spain

Space for Inspiration is an international conference organised by the European Space

Agency (ESA). The conference also features an exhibition area, where at the GMV stand

ESROCOS was disseminated.

5.2.17. PRESENTATION AT “8TH NDA ESTATE DECOMMISSIONING SUPPLY CHAIN EVENT”


Audience reached

(estimated):

Industry: 15

Date: 29.-31.10.2018

Location: Manchester, UK

The “NDA estate decommissioning supply chain event” is a European networking event

for nuclear decommissioning. GMV had a booth at the event, where ESROCOS brochures

have been disseminated.

5.2.18. PRESENTATION AT THE SPACE ENGINEERING AND TECHNOLOGY FINAL PRESENTATION DAYS AT ESTEC


Audience reached

(estimated):

Industry: 30

Date: 13.11.2018

Location: Noordwijk, The Netherlands

The Final Presentation Days are organized periodically at ESTEC to present the results of

the projects performed or supported by ESA. A presentation on the ESROCOS project was

made by Jorge Ocón at the Space Engineering and Technology Final Presentation Days

2018 at ESTEC.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 31 of 51


6. SCIENTIFIC CONTRIBUTIONS

6.1. PUBLICATIONS

The following subsections list the scientific publications related to ESROCOS that have

been written during the project. The publication state is indicated for each publication by

adding “(submitted)” or “(accepted)” to papers, that have not yet been published and are

still in the reviewing process. All other papers missing such a comment have already been

published.

6.1.1. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS. IN PROCEEDINGS OF THE 14TH

SYMPOSIUM ON ADVANCED SPACE TECHNOLOGIES IN ROBOTICS AND AUTOMATION

Type Conference paper

Title ESROCOS: A Robotic Operating System for Space and Terrestrial

Applications. In Proceedings of the 14th Symposium on Advanced Space

Technologies in Robotics and Automation

DOI

ISSN/eSSN

Authors M. Muñoz Arancón, G. Montano, M. Wirkus, K. Hoeflinger, D. Silveira, N.

Tsiogkas, J. Hugues, H. Bruyninckx, I. Dragomir, A. Muhammad

Proceedings

or Journal

title

Proceedings of the 14th Symposium on Advanced Space Technologies in

Robotics and Automation (ASTRA 20017)

Year 2017

Peer

Reviewed

No

Open

Access

Yes: https://www.h2020-esrocos.eu/wp-

content/uploads/ESROCOS_ASTRA2017-MASTER.pdf

6.1.2. PERFORMANCE EVALUATION OF STOCHASTIC REAL-TIME SYSTEMS

WITH THE SBIP FRAMEWORK

Type Journal paper

Title Performance Evaluation of Stochastic Real-Time Systems with the SBIP

framework

DOI 10.1504/IJCCBS.2018.096439

ISSN/eSSN

Authors Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz,

Saddek Bensalem, Axel Legay

Proceedings

or Journal

title

International Journal of Critical Computer-Based Systems (IJCCBS),

Vol.8, No. 3/4.

https://www.h2020-esrocos.eu/wp-content/uploads/ESROCOS_ASTRA2017-MASTER.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/ESROCOS_ASTRA2017-MASTER.pdf

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 32 of 51


Year 2018

Peer

Reviewed

Yes

Open

Access


content/uploads/UGA_SBIP_IJCCBS18.pdf

6.1.3. SBIP 2.0: STATISTICAL MODEL CHECKING STOCHASTIC REAL-TIME

SYSTEMS


Title SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

DOI 10.1007/978-3-030-01090-4_33

ISSN/eSSN 978-3-030-01090-4

Authors Braham Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani,

Axel Legay, Saddek Bensalem

Proceedings

or Journal

title

ATVA 2018 - 16th International Symposium Automated Technology for

Verification and Analysis

Year 2018

Peer

Reviewed

Yes

Open

Access


content/uploads/UGA_SBIP_ATVA18.pdf

6.1.4. THE REFINEMENT CALCULUS OF REACTIVE SYSTEMS TOOLSET


Title The Refinement Calculus of Reactive Systems Toolset

DOI 10.1007/978-3-319-89963-3_12

ISSN/eSSN 978-3-319-89963-3

Authors Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Proceedings

or Journal

title

Tools and Algorithms for the Construction and Analysis of Systems.

TACAS 2018. Lecture Notes in Computer Science.

Year 2018

Peer

Reviewed

Yes

Open

Access

Yes: https://link.springer.com/chapter/10.1007/978-3-319-89963-

3_12

6.1.5. DESIGNING SYSTEMS WITH DETECTION AND RECONFIGURATION

CAPABILITIES: A FORMAL APPROACH


https://www.h2020-esrocos.eu/wp-content/uploads/UGA_SBIP_IJCCBS18.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/UGA_SBIP_IJCCBS18.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/UGA_SBIP_ATVA18.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/UGA_SBIP_ATVA18.pdf

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 33 of 51


Title Designing Systems with Detection and Reconfiguration Capabilities: A

Formal Approach

DOI 10.1007/978-3-030-03424-5_11

ISSN/eSSN 978-3-030-03424-5

Authors Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Proceedings

or Journal

title

8th International Symposium, ISoLA 2018

Year 2018

Peer

Reviewed

Yes

Open

Access


content/uploads/UGA_FDIR_ISOLA18.pdf

6.1.6. KNOWLEDGE BASED OPTIMIZATION FOR DISTRIBUTED REAL-TIME

SYSTEMS


Title Knowledge Based Optimization for Distributed Real-Time Systems

DOI 10.1109/APSEC.2017.106

ISSN/eSSN 978-1-5386-3681-7

Authors Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Proceedings

or Journal

title

2017 24th Asia-Pacific Software Engineering Conference (APSEC)

Year 2017

Peer

Reviewed

Yes

Open

Access

Yes: https://hal.archives-ouvertes.fr/hal-01888605/document

6.1.7. LOCAL PLANNING SEMANTICS: A SEMANTICS FOR DISTRIBUTED

REAL-TIME SYSTEMS

Type Journal paper

Title Local Planning Semantics: a Semantics for Distributed Real-Time

Systems

DOI

ISSN/eSSN

Authors Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Proceedings

or Journal

title

Leibniz Transactions on Embedded Systems

https://www.h2020-esrocos.eu/wp-content/uploads/UGA_FDIR_ISOLA18.pdf

https://www.h2020-esrocos.eu/wp-content/uploads/UGA_FDIR_ISOLA18.pdf

https://hal.archives-ouvertes.fr/hal-01888605/document

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 34 of 51


Year

Peer

Reviewed

Yes

Open

Access

6.1.8. MECHANICALLY PROVING DETERMINACY OF HIERARCHICAL BLOCK

DIAGRAM TRANSLATIONS (ACCEPTED)

Type Conference paper (Accepted)

Title Mechanically Proving Determinacy of Hierarchical Block Diagram

Translations

DOI arXiv:1611.01337v2

ISSN/eSSN

Authors Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Proceedings

or Journal

title

VMCAI 2019 - 20th International Conference on Verification, Model

Checking, and Abstract Interpretation

Year 2019

Peer

Reviewed

Yes

Open

Access

Yes, https://arxiv.org/pdf/1611.01337v2

6.1.9. QUANTITATIVE RISK ASSESSMENT IN THE DESIGN OF RESILIENT SYSTEMS (SUBMITTED)

Type Conference paper (submitted)

Title Quantitative Risk Assessment in the Design of Resilient Systems

DOI

ISSN/eSSN

Authors Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri and Saddek

Bensalem

Proceedings

or Journal

title

NFM 2019: 11th Annual NASA Formal Methods Symposium

Year 2019

Peer

Reviewed

Yes

Open

Access

Yes, http://www-verimag.imag.fr/TR/TR-2018-10.pdf

https://arxiv.org/pdf/1611.01337v2

http://www-verimag.imag.fr/TR/TR-2018-10.pdf

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 35 of 51


6.1.10. CODE GENERATION FROM DECLARATIVE MODELS OF ROBOTICS SOLVERS (ACCEPTED)

Type Conference paper (accepted)

Title Code generation from declarative models of robotics solvers

DOI

ISSN/eSSN

Authors Marco Frigerio, Enea Scioni, Pawel Piotr Pazderski, Herman Bruyninckx

Proceedings

or Journal

title

IEEE IRC 2019: 3rd International Conference on Robotic Computing

Year 2019

Peer

Reviewed

Yes

Open

Access

No

6.1.11. TOWARDS THE QUALIFICATION OF AN AADL MODEL

TRANSFORMATION TOOL WITH CONTRACTS (SUBMITTED)

Type Conference paper (submitted)

Title Towards the qualification of an AADL model transformation tool with

contracts

DOI

ISSN/eSSN

Authors Guillaume Brau, Christophe Garion, and Jérôme Hugues

Proceedings

or Journal

title

NFM 2019: 11th Annual NASA Formal Methods Symposium

Year 2019

Peer

Reviewed

Yes

Open

Access

No

6.1.12. THE REFINEMENT CALCULUS OF REACTIVE SYSTEMS (SUBMITTED)

Type Journal paper (submitted)

Title The Refinement Calculus of Reactive Systems

DOI

ISSN/eSSN

Authors Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 36 of 51


Proceedings

or Journal

title

Journal of the ACM

Year 2018

Peer

Reviewed

Yes

Open

Access

Yes: https://arxiv.org/abs/1710.03979

6.2. SCIENTIFIC PRESENTATIONS

The following subsections list presentations that have been given at scientific conferences

or workshops. Not included in this list are presentations of conference or workshop papers

already reported in the previous section.

6.2.1. EUROPEAN SPACE ROBOTICS CONTROL AND OPERATING SYSTEM (ESROCOS)

Type Invited Talk

Title European space robotics control and operating system (ESROCOS)

Authors Jérôme Hugues

Conference or

Workshop

12th National Conference on Software and Hardware Architectures for

Robot Control (SHARC17)

Place Toulouse, France

Year 2017

Slides

available

online

No

6.2.2. FORMAL VALIDATION OF TASTE DESIGNS WITH THE BIP FRAMEWORK

Type Workshop presentation

Title Formal Validation of TASTE Designs with the BIP Framework

Authors I. Dragomir

Conference or

Workshop

ESROCOS Workshop at ASTRA 2017

Place Leiden, Netherlands

Year 2017

Slides

available

online

http://www-verimag.imag.fr/~dragomir/docs/astra17.pdf

http://www-verimag.imag.fr/~dragomir/docs/astra17.pdf

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 37 of 51


6.2.3. ESROCOS COMPONENT DEVELOPMENT WORKFLOW


Title ESROCOS Component Development Workflow

Authors M. Wirkus

Conference or

Workshop



Year 2017

Slides

available

online

No

6.2.4. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS


Title ESROCOS: A Robotic Operating System for Space and Terrestrial

Applications

Authors M. Munoz

Conference or

Workshop



Year 2017

Slides

available

online

No

6.2.5. FORMAL MODELS OF A SPACE-GRADE ROBOT MOTION SOFTWARE STACK


Title Formal Models of a Space-Grade Robot Motion Software Stack

Authors H. Bruyninckx

Conference or

Workshop



Year 2017

Slides

available

online

No

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 38 of 51


6.2.6. INTEGRATING ROS OPEN-SOURCE ROBOTICS SOFTWARE FRAMEWORK IN ESROCOS


Title Integrating ROS Open-Source Robotics Software Framework in

ESROCOS

Authors N. Tsiogkas

Conference or

Workshop



Year 2017

Slides

available

online

No

6.2.7. ESROCOS IN CONTEXT OF DLR’S RECONFIGURABLE HIGH-

PERFORMANCE PLATFORM FOR SPACE MISSIONS


Title ESROCOS in Context of DLR’s reconfigurable High-Performance

Platform for Space Missions

Authors K. Hoeflinger

Conference or

Workshop



Year 2017

Slides

available

online

No

6.2.8. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS


Title ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND

TERRESTRIAL APPLICATIONS

Authors Daniel Silveira

Conference or

Workshop

Sistemas Embebidos e de Tempo-Real, Inforum 2018

Place Coimbra, Portugal

Year 2018

Slides

available

online

No

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 39 of 51


6.2.9. A BRIEF INTRODUCTION TO THE SBIP2 STATISTICAL MODEL CHECKER


Title A brief introduction to the SBIP2 Statistical Model Checker

Authors Braham Lotfi Mediouni

Conference or

Workshop

12th International Conference on Verification and Evaluation of

Computer and Communication Systems (VECoS 2018)

Place Grenoble, France

Year 2018

Slides

available

online

No

6.2.10. ESROCOS: ESROCOS - AN OPEN CONTROL AND OPERATING

SYSTEM FOR ROBOTIC APPLICATIONS


Title ESROCOS - An Open Control and Operating System for Robotic

Applications

Authors Benjamin Kisliuk

Conference or

Workshop

GI Workshop Roboterkontrollarchitekturen

Place Dagstuhl, Germany

Year 2018

Slides

available

online

No

6.2.11. PYTHON EN ROBÓTICA Y ESPACIO: MICROPYTHON (SCHEDULED)


Title Python en robótica y espacio: MicroPython

Authors José Miguel Sánchez Martínez

Conference or

Workshop

Despegando con Python: Robótica, Espacio, IoT y Machine Learning

Place Madrid, Spain

Year 2019

Slides

available

online

No

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 40 of 51


7. REVIEW OF DISSEMINATION ACTIVITIES

The Dissemination Plan [RD.1] defined dissemination goals that where to be achieved

during the project. This section evaluates the dissemination activities that where

described in above against the goals defined in [RD.1]. The original table from [RD.1] is

therefore supplemented with an additional row per dissemination channel commenting

on the success of the activities.

Dissemination

tool/channel

Dissemination

Activity

Expected

Dissemination

Result

Success

metric and

targeted

result

Contributors

Project

Website

Creation of

Website

Audience finds

attractive and

informative

information

about

ESROCOS on

the Internet.

Website online

and

browsable.

Target 100

visits/month in

the last

quarter of the

project was

reached.

Lead: GMV

Contributors:

All

Maintenance of

Website

Updated

information on

the website

attract visitors

to revisit the

website.

Placing external

links

Increase

awareness of

the project

Increase

ranking in

search engines

Increase

awareness of

the project

Review

comment

Ok. Section 5.1.2 shows the website that was created and steadily

updated. Webpages introducing the project company websites of the

project consortium additionally guide visitors to the official website.

Publications Publishing

scientific

project results

in workshops,

conferences

and journals

Attract

attention in

scientific

community

Five peer-

reviewed

papers

published

Lead: DFKI

Contribution:

All

Publishing

project results

in industry

conferences

and journals

Attract

attention with

industry

stakeholders

Two papers

published

Review

comment

Ok. The published and handed-in papers are listed in Section 6.1. 7

papers where published. Thereof 2 papers where published in

journals. In addition, 5 papers are handed in or are already accepted

but are not yet published.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 41 of 51


Dissemination

tool/channel

Dissemination

Activity

Expected

Dissemination

Result

Success

metric and

targeted

result

Contributors

The papers where published to different journals and conferences

than the ones suggested in section 4.4.1 of [RD.1]. The chosen

places for publications are more focussed on the specific target

audience for topics of the particular paper than the suggestions,

which were mainly about robotics in general.

Workshop

proposals

Organization

and execution

of workshops

Advertise the

use of created

software tools

and receive

feedback from

the space and

robotics

community.

Min. 1

organized and

executed

workshop.

Lead: DFKI

Contribution:

All

Review

comment

Ok. In section 5.2.3 the ESROCOS workshop at ASTRA 2017 is

described. During the project, we have discussed the possibility to

do a second workshop at the end of the project, but no suitable time

was found. A possible workshop after the end of the project is still

discussed.

Press Release Issue press

releases about

the process of

the project.

Focus thereby

on key

meetings,

milestones and

facility tests.

Draw media

attention to

ESROCOS and

space robotics.

1-2 press

releases have

been issued.

Lead: GMV

Contribution:

All

Review

comment:

Ok. During the project 5 press releases mentioning ESROCOS where

issued. They are described in section 5.1.6. By media clipping

services we counted more than 65 media appearances in reaction to

the press releases.

Face-To-Face

outreach

Represent the

project on

occasions like

fairs or

conferences.

Direct

discussion with

scientific

community and

industry

stakeholders.

To increase

awareness

about the

software

project and

discussion of

concepts or

applications.

Visiting of 1-2

occasions for

face-to-face

outreach with

active

participation in

discussions.

Lead: DFKI

Contributions:

All

Review

comment:

Multiple occasions for face-to-face outreach where visited. The

different events cover at a broad range of different target audiences.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 42 of 51


Dissemination

tool/channel

Dissemination

Activity

Expected

Dissemination

Result

Success

metric and

targeted

result

Contributors

While in parts different events where visited than suggested in

section 4.4.2 of [RD.1], we think that the finally chosen activities are

equivalently good to reach our desired target audience.

Software

Releases

Reference

Documentation

Attract software

developers and

users

Software

development

infrastructure

for

collaborative

development

is set up and

used

Lead: DFKI

Contributors:

All Software

tutorials

Public Code

Repository,

issue tracking

and technical

discussion

board

Release stable

software

version

Attract software

users and gain

attention in

robotics and

space

community

At least 1

software

release

Self-sustained

foundation

Give trust in

generated

software

products by

ensuring

existence and

possibility of

further

software

development

after end of

project

Maintainership

of software

packages

clarified for the

time after end

of project.

Review

comment

Ok. Section 5.1.5 describes the GitHub repository and development

infrastructure. We coupled the release of a software version to the

occurrence of the FA and CDR milestone of the project. This practise

will need to be adjusted after the project end.

The ESROCOS methodology website, that was mentioned in [RD.1]

was supposed to be used for knowledge capturing about the

ESROCOS system. It was replaced by the Developer Reference on

GitHub. The reason for this choice was the difficulty to create content

for the Methodology web site and that only a few people had access

to create content.

The maintainership was agreed to be shifted to the OG9 project.

Ownership need to be shifted accordingly. Current owners of the

ESROCOS GitHub organizations are employees of DFKI, GMV and

KUL.

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 43 of 51


ANNEX A. LIST OF MEDIA APPERANCES

A.1. PRESS MEDIA APPEARANCES

Date Title Media

01.02.17 GMV acoge una reunión del Clúster de Robótica Espacial de la Comisión Europea

AIRE magazine (Print)


es.avionrevue.com


itcio.es

07.02.17 GMV reune expertos en robótica espacial para coordinar el cluster de la CE

Infoespacial.com

08.02.17 La tecnología española, a la cabeza de la robótica espacial europea

innovaspain.com

08.02.17 GMV acogió la cumbre europea de robótica espacia actualidadaeroespacial.com

02.03.17 GMV hace balance de su participación en programa de I+D Horizonte 2020 de la UE

techweek.es

07.02.18 GMV reune expertos en robótica espacial para coordinar el cluster de la CE

itpymes.es

07.02.18 GMV acoge la reunión de expertos del clúster de Robótica Espacial de la Comisión Europea

techweek.es

17.05.18 Interview Jorge Potti: El futuro pasa incontestablemente por el sector espacial

Perfiles IDS magazine (Print)

24.09.18 Innovative Technologien für den Weltraumeinsatz – DFKI Robotics Innovation Center auf dem IAC 2018

innovations-report.de

25.09.18 IAC 2018 in Bremen: Innovative Technologien für den Weltraumeinsatz

i2b.de

24.10.18 GMV acude a IAC con sus últimos avances en robótica espacial hisparob.es

01.11.18 GMV leads an ambitious campaign of space robotics trials HISPAROB bulletin (E-Mail)

01.11.18 EU-funded project to test space robots in the Moroccan desert this weekend

ec.europa.eu

08.11.18 Bremer Forscher schicken All-Roboter in die Wüste Weser Report (Print)

09.11.18 Nächster Halt Marokko: EU-Partner testen innovative Software für Weltraumroboter in der Sahara

juraforum.de , innovations-report.de

09.11.18 Robotik: Wüstentest für Weltraumroboter Astronews.com


innovations-report.de

11.11.18 GMV lidera una campaña de pruebas de robótica espacial Infoespacial.com


i2b.de

19.11.18 Bremer Forscher testen in der Sahara Roboter für das Weltall deutsche-wirtschafts-nachrichten.de

22.11.18 EU-Partner testen innovative Software für Weltraumroboter industrie.de

26.11.18 GMV leads an ambitious campaign of space robotics trials spacedaily.com

30.11.18 Weltraumroboter mit künstlicher Intelligenz in der Sahara getestet standard.at

30.11.18 Vor dem Mars kommt Marokko: Forscher testen Weltraumtechnik faz.net , recklinghaeuser-zeitung.de , rheinpfalz.de , ...

01.12.18 GMV leads an ambitious campaign of space robotics trials IAC bulletin (E-Mail)

02.12.18 Alemania participa en los ensayos espaciales europeos en el Sahara

eldigitaldeasturias.com

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 44 of 51


04.12.18 Marte: astromóvil afina su autonomía en el Sáhara para futuras misiones en el Planeta Rojo

mag.elcomercio.pe

04.12.18 El astromóvil afina su autonomía en el Sáhara para futuras misiones en Marte

elsiglo.com.ve

04.12.18 EU robot fine-tunes roving skills in Sahara desert for future Mars missions

efe.com

04.12.18 Robô pensado para explorar Marte testado no deserto do Saara tvi24.iol.pt

04.12.18 GMV lidera una campaña de pruebas de robótica espacial europapress.tv

04.12.18 GMV en las pruebas finales de robótica espacial actualidadaeroespacial.com

05.12.18 Rover europeu destinado a explorar Marte andou pelo deserto do Saara

tek.sapo.pt , ardina.news

06.12.18 Vor dem Mars kommt Marokko Kölner Rundschau (Print)

07.12.18 Mars in Morocco: EU Partners Test Space Robotics Technologies in Moroccan Sahara

moroccoworldnews.com

07.12.18 El Sáhara alberga pruebas robóticas de GMV innovaspain.com

14.12.18 EU partners conclude space robotics tests in Moroccan Sahara satelliteprome.com

19.12.18 ESPACIO | @CDTIoficial y agencias espaciales validan las tecnologías robóticas que revolucionarán las futuras misiones de exploración planetaria

perspectivacdti.es

19.12.18 Self-driving rovers tested in Mars-like Morocco esa.int

21.12.18 Self Driving Rovers Tested in Mars-like Morocco parabolicarc.com , portaltotheuniverse.org

21.12.18 Deutsches Forschungsprojekt: Was autonome Marsroboter in der Sahara machen!

klamm.de

22.12.18 Автономные марсианские роверы испытали в Сахаре (Autonome Mars-Rover in Sahara getestet)

postsovet.ru, hronika.info

22.12.18 В Сахаре испытали автономные марсоходы (Autonome Rover in der Sahara getestet)

techno.bigmir.net

22.12.18 Автономные марсианские роверы испытали в Сахаре (Autonome Rover in der Sahara getestet)

pcnews.ru , popmech.ru , pvsm.ru

22.12.18 Autonomous Mars rovers tested in the Sahara bobrtimes.com

23.12.18 Exploration spatiale : des rovers testés dans le Sahara (Weltraumforschung: Rover in der Sahara getestet)

sciencesetavenir.fr

25.12.18 Europe field tests rovers in Morocco's Mars-like desert landscape thenevadanews.com

25.12.18 Erfoud dans la course vers Mars: Des tests pour «SherpaTT» (Erfoud mit Kurs auf den Mars: Tests für "SherpaTT")

perspectivesmed.ma

28.12.18 Группа "марсианских" роботов высадилась в пустыне в Марокко (Eine Gruppe von "Mars"-Robotern landete in der Wüste von Marokko)

dailytechinfo.org

02.01.19 Self-driving Martian robots complete Saharan test drive eandt.theiet.org

02.01.19 UK Tests Self-driving Martian Robots vdeshi.co.uk , systemtek.co.uk

02.01.19 UK tests self-driving Martian robots gov.uk

02.01.19 "Марсианские" роботы высадились в пустыне в Марокко ("Mars" Roboter landeten in Marokko in der Wüste)

telegraf.com.ua

02.01.19 UK Software Tested on Autonomous Martian Robot in the Sahara Desert

cbronline.com

02.01.19 UK scientists complete Martian robot test softwaretestingnews.co.uk

02.01.19 Self-driving Martian robots complete Saharan test drive eandt.theiet.org

04.01.19 UK-based entities test self-driving Martian robot in Morocco aerospace-technology.com

04.01.19 Reino Unido testa IA de condução autônoma para rovers exploradores de Marte

canaltech.com.br

04.01.19 UK tests self driving robots for Mars marsdaily.com

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 45 of 51


04.01.19 UK tests self driving robots for Mars marketwatch.com

04.01.19 UK-based entities test self-driving Martian robot in Morocco aerospace-technology.com

05.01.19 Na Sahaře proběhla “invaze robotů” (In der Sahara gab es eine "Roboterinvasion")

nasvesmir.cz

05.01.19 Europe is testing self-driving Mars rovers earthsky.org

07.01.19 Self-driving rovers could be the future of exploration on Mars newspedia.online, en.brinkwire.com, thenevadanews.com

08.01.19 UK-based Entities Test Self-Driving Martian Robot in Morocco coloradosbr.org

10.01.19 Mission completed – EU partners successfully test new technologies for space robots in Morocco

idw-online.de

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 46 of 51


A.2. SOCIAL MEDIA APPEARANCES

Platform: Twitter

Account: @InfoGMV

Text: Successful CDR (Critical Design Review) of the #H2020 #ESROCOS

project

Screenshot:

Platform: Twitter

Account: @InfoGMV

Text: GMV presenta sus progresos dentro del proyecto de robótica espacial

Screenshot:

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 47 of 51


Platform: Twitter

Account: @InfoGMV

Text: GMV hosts the experts meeting of the EC’s Space Robotic Cluster

Screenshot:

Platform: Twitter

Account: @HATCH

Text: The ESROCOS project has successfully run its end-to-end validation in the

test facilities provided by the FACILITATORS project funded under

@EU_H2020

Screenshot:

Platform: Twitter

Account: @H2020_PERASPERA

Text: Preparation for the opportunistic science test @HPeraspera @EU_H2020

#ERGO #ESROCOS #INFUSE #MARS @ft_morocco

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 48 of 51


Screenshot:

Platform: Linked-In

Account: GMV

Text: February 21, 22 and 23 saw three of the outstanding milestone moments

of FACILITATORS (https://lnkd.in/eh5J7B5), ERGO (http://www.h2020-

ergo.eu/) and ESROCOS (https://lnkd.in/e8G-9dv), respectively, with the

holding of the Critical Design Reviews (CDRs) to set out detailed designs

and prototypes.

These CDRs were attended by partners from the consortium of each

project, plus the European Commission's technical officer and PSA

representatives for assessment of the final result, a resounding success

in all cases. These projects thus cross their equator and embark on the

final phase, which will see the start of implementation of all developed

technology.

Screenshot:

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 49 of 51


Platform: Twitter

Account: @InfoGMV

Text: New perspectives at IAC 2018

Screenshot:

Platform: Facebook

Account: Ariadne Comunicacion

Text: GMV lidera una ambiciosa campaña de robótica espacial en el desierto del

Sahara

Screenshot:

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 50 of 51


Platform: Facebook

Account: GMV

Screenshot:

Platform: Facebook

Account: GMV

Screenshot:

Code: ESROCOS_D6.3

Date: 01/03/2019

Version: 1.1

Page: 51 of 51


END OF DOCUMENT