RCOS Target Source code and binaries (version V3)
RCOS Target Source code and binaries (version V2)
RDEV (RCOS development environment) source code and binaries (version V1)
RCOS Target Source code and binaries (version V1)
RDEV (RCOS development environment) source code and binaries (version V2)
RCOS Target Source code and binaries (version V0).
RDEV (RCOS development environment) source code and binaries (version V4)
RDEV (RCOS development environment) source code and binaries
RCOS Target Source code and binaries (version V4)
RDEV (RCOS development environment) source code and binaries (version V3)
Software detailed design description
This document describes the foreseen activities to promote and extend the use of the ESROCOS framework within the robotics community.
Technology review and ROCS trade-offs
Interface control document, detailing the interfaces of the ESROCS constituents, as well as the API.
Second version of this document, including the changes to be performed for the existing elements as well as details of integration in the corresponding ESROCOS framework
This document shortly reports the achievements of the OG1 activities, the lessons learned and main recommendations for the way forward
Containing the trade-offs w.r.t existing ROCS and the SW to be reused
This document reports the activities done for fostering the dissemination of the work done within OG1 and in coordination with other OGs, including workshops and papers submission.
This document includes the description of the dissemination activities planned within OG1.
RCOS System configuration file
RCOS System configuration file
The Communication & Outreach Manual will summarize the communication and outreach strategy and contain all print materials and references to the implementation of online materials listed in WP6100..
System requirements derived from the OG1 User requirements
Architectural model of the ROCS components
Preliminary Interface Control Document
End-to-End RCOS Product Definition
Author(s): Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Published in: Tools and Algorithms for the Construction and Analysis of Systems, Issue 10806, 2018, Page(s) 201-208
Author(s): Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, Issue 11246, 2018, Page(s) 155-171
Author(s): Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 536-542
Author(s): Muñoz Arancón, M.; Montano, G.; Wirkus, M.; Hoeflinger, K.; Silveira, D.; Tsiogkas, N.; Hugues, Jérôme; Bruyninckx, H.; Dragomir, Iulia; Muhammad, A.
Published in: 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), Issue 2, 2017
Author(s): Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Published in: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017, Page(s) 751-756
Author(s): Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Published in: VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Issue 20th, 2019
Author(s): Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
Published in: International Journal of Critical Computer-Based Systems, Issue 8/3/4, 2018, Page(s) 340, ISSN 1757-8779