Livrables Demonstrators, pilots, prototypes (10) RCOS Target Source code and binaries (V3) RCOS Target Source code and binaries (version V3) RCOS Target Source code and binaries (V2) RCOS Target Source code and binaries (version V2) RDEV (RCOS development environment) source code and binaries (V1) RDEV (RCOS development environment) source code and binaries (version V1) RCOS Target Source code and binaries (V1) RCOS Target Source code and binaries (version V1) RDEV (RCOS development environment) source code and binaries (V2) RDEV (RCOS development environment) source code and binaries (version V2) RCOS Target Source code and binaries (V0) RCOS Target Source code and binaries (version V0). RDEV (RCOS development environment) source code and binaries (V4) RDEV (RCOS development environment) source code and binaries (version V4) RDEV (RCOS development environment) source code and binaries (V0) RDEV (RCOS development environment) source code and binaries RCOS Target Source code and binaries (V4) RCOS Target Source code and binaries (version V4) RDEV (RCOS development environment) source code and binaries (V3) RDEV (RCOS development environment) source code and binaries (version V3) Documents, reports (16) Detailed Design Document Software detailed design description Exploitation Plan This document describes the foreseen activities to promote and extend the use of the ESROCOS framework within the robotics community. Technology Review Document Technology review and ROCS trade-offs Interface Control Document (v2) Interface control document, detailing the interfaces of the ESROCS constituents, as well as the API. Software Reuse File (v2) 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 Final Report This document shortly reports the achievements of the OG1 activities, the lessons learned and main recommendations for the way forward Software Reuse File Containing the trade-offs w.r.t existing ROCS and the SW to be reused Dissemination Report 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. Dissemination Plan This document includes the description of the dissemination activities planned within OG1. Software Configuration File RCOS System configuration file Software Configuration File (v2) RCOS System configuration file Communication & Outreach Manual 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 Document System requirements derived from the OG1 User requirements Preliminary Design Document Architectural model of the ROCS components Interface Control Document (Preliminary) Preliminary Interface Control Document Product Definition End-to-End RCOS Product Definition Other (1) Publications Any publication to be produced by the project. Publications Book chapters (3) The Refinement Calculus of Reactive Systems Toolset Auteurs: Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis Publié dans: Tools and Algorithms for the Construction and Analysis of Systems, Issue 10806, 2018, Page(s) 201-208, ISBN 978-3-319-89962-6 Éditeur: Springer International Publishing DOI: 10.1007/978-3-319-89963-3_12 Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach Auteurs: Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem Publié dans: 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, ISBN 978-3-030-03423-8 Éditeur: Springer International Publishing DOI: 10.1007/978-3-030-03424-5_11 $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems Auteurs: Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem Publié dans: 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, ISBN 978-3-030-01089-8 Éditeur: Springer International Publishing DOI: 10.1007/978-3-030-01090-4_33 Conference proceedings (3) ESROCOS: a robotic operating system for space and terrestrial applications Auteurs: 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. Publié dans: 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), Issue 2, 2017 Éditeur: ESA Knowledge Based Optimization for Distributed Real-Time Systems Auteurs: Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga Publié dans: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017, Page(s) 751-756, ISBN 978-1-5386-3681-7 Éditeur: IEEE DOI: 10.1109/apsec.2017.106 Mechanically Proving Determinacy of Hierarchical Block Diagram Translations Auteurs: Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis Publié dans: VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Issue 20th, 2019 Éditeur: VMCAI Peer reviewed articles (1) Performance evaluation of stochastic real-time systems with the SBIP framework Auteurs: Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay Publié dans: International Journal of Critical Computer-Based Systems, Issue 8/3/4, 2018, Page(s) 340, ISSN 1757-8779 Éditeur: Inderscience Publishers DOI: 10.1504/ijccbs.2018.096439 Recherche de données OpenAIRE... Une erreur s’est produite lors de la recherche de données OpenAIRE Aucun résultat disponible