© 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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
A.2. SOCIAL MEDIA APPEARANCES .................................................................. 46
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 6 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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).
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 14 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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.
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 16 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 17 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 18 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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.
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 21 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 23 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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):
Scientific Community: 40
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.
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 24 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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):
Scientific Community: 30
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):
Scientific Community: 15
Industry: 10
Date: 28.6.-2.7.17
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 25 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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):
Scientific Community: 10
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 26 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Category: Other (in-house event)
Audience reached
(estimated):
Scientific Community: 35
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
Category: Other (in-house event)
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):
Scientific Community: 10
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
5.2.15. PRESENTATION AT INTERNATIONAL ASTRONAUTICAL CONGRESS 2018
Category: Exhibition
Audience reached
(estimated):
Scientific Community: 150
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 30 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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”
Category: Conference/Exhibition
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
Category: Conference/Exhibition
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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.
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 32 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
Year 2018
Peer
Reviewed
Yes
Open
Access
Yes: https://www.h2020-esrocos.eu/wp-
content/uploads/UGA_SBIP_IJCCBS18.pdf
6.1.3. SBIP 2.0: STATISTICAL MODEL CHECKING STOCHASTIC REAL-TIME
SYSTEMS
Type Conference paper
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
Yes: https://www.h2020-esrocos.eu/wp-
content/uploads/UGA_SBIP_ATVA18.pdf
6.1.4. THE REFINEMENT CALCULUS OF REACTIVE SYSTEMS TOOLSET
Type Conference paper
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
Type Conference paper
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 33 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Yes: https://www.h2020-esrocos.eu/wp-
content/uploads/UGA_FDIR_ISOLA18.pdf
6.1.6. KNOWLEDGE BASED OPTIMIZATION FOR DISTRIBUTED REAL-TIME
SYSTEMS
Type Conference paper
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 34 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 35 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 37 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
6.2.3. ESROCOS COMPONENT DEVELOPMENT WORKFLOW
Type Workshop presentation
Title ESROCOS Component Development Workflow
Authors M. Wirkus
Conference or
Workshop
ESROCOS Workshop at ASTRA 2017
Place Leiden, Netherlands
Year 2017
Slides
available
online
No
6.2.4. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS
Type Workshop presentation
Title ESROCOS: A Robotic Operating System for Space and Terrestrial
Applications
Authors M. Munoz
Conference or
Workshop
ESROCOS Workshop at ASTRA 2017
Place Leiden, Netherlands
Year 2017
Slides
available
online
No
6.2.5. FORMAL MODELS OF A SPACE-GRADE ROBOT MOTION SOFTWARE STACK
Type Workshop presentation
Title Formal Models of a Space-Grade Robot Motion Software Stack
Authors H. Bruyninckx
Conference or
Workshop
ESROCOS Workshop at ASTRA 2017
Place Leiden, Netherlands
Year 2017
Slides
available
online
No
Code: ESROCOS_D6.3
Date: 01/03/2019
Version: 1.1
Page: 38 of 51
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
6.2.6. INTEGRATING ROS OPEN-SOURCE ROBOTICS SOFTWARE FRAMEWORK IN ESROCOS
Type Workshop presentation
Title Integrating ROS Open-Source Robotics Software Framework in
ESROCOS
Authors N. Tsiogkas
Conference or
Workshop
ESROCOS Workshop at ASTRA 2017
Place Leiden, Netherlands
Year 2017
Slides
available
online
No
6.2.7. ESROCOS IN CONTEXT OF DLR’S RECONFIGURABLE HIGH-
PERFORMANCE PLATFORM FOR SPACE MISSIONS
Type Workshop presentation
Title ESROCOS in Context of DLR’s reconfigurable High-Performance
Platform for Space Missions
Authors K. Hoeflinger
Conference or
Workshop
ESROCOS Workshop at ASTRA 2017
Place Leiden, Netherlands
Year 2017
Slides
available
online
No
6.2.8. ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS
Type Workshop presentation
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
6.2.9. A BRIEF INTRODUCTION TO THE SBIP2 STATISTICAL MODEL CHECKER
Type Workshop presentation
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
Type Workshop presentation
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)
Type Workshop presentation
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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)
06.02.17 GMV acoge una reunión del Clúster de Robótica Espacial de la Comisión Europea
es.avionrevue.com
07.02.17 GMV acoge una reunión del Clúster de Robótica Espacial de la Comisión Europea
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
11.11.18 Nächster Halt Marokko: EU-Partner testen innovative Software für Weltraumroboter in der Sahara
innovations-report.de
11.11.18 GMV lidera una campaña de pruebas de robótica espacial Infoespacial.com
14.11.18 Nächster Halt Marokko: EU-Partner testen innovative Software für Weltraumroboter in der Sahara
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
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
ESROCOS © ESROCOS Consortium 2019, all rights reserved Dissemination Report
END OF DOCUMENT