European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Secure and Safe Multi-Robot Systems

Rezultaty

Safety Analysis Concept and Methodology for EDDI development (Initial Version)

This deliverable will report on the relevant stateoftheart in safety analysis and will provide an initial version of 1 safety EDDI a generic toolagnostic concept for safety analysis that enables efficient MRS safety analysis at designtime and runtime and 2 a safety analysis methodology for applying the concept

Security-Targeted ODE and EDDI Specification

This deliverable will present the extensions to the ODE metamodel with securityspecific concerns for MRS This work is performed in Task 52

Safety-Security Co-Engineering Framework

This report will describe the co engineering process of design artefacts ExSce with safety and security analysis artefacts EDDIs

Architectural Guidelines Report

This deliverable will detail the core design decisions and architectural guidelines that will ensure that the contributions of WP27 will be interoperable by construction

Safety-Targeted ODE and EDDI specification

This deliverable is an extended version of the ODE metamodel that will address the issues mentioned in the Task 42 The metamodel will be accompanied by appropriate documentation and relevant digital artefacts

Tailorability of EDDIs

This deliverable will report the results of Task 53 including the techniques developed for making EDDIs tailorable and reusable in different applications and operational domains

Evaluation Method Establishment

This deliverable will present the methodology for evaluation of SESAME solutions within use cases defined criteria and KPIs

Executable Scenarios Workbench (Initial Version)

This deliverable will present the metamodels for scenario-based design from Task 3.2 and an initial version of the scenario workbench from Task 3.3.

Tools for Generation of Runtime EDDIs

This deliverable will report the transformation and code generation tools developed to support the semi-automatic generation of runtime EDDIs in Task 7.2.

Tools for Automated Security Analysis of MRS and for Production of EDDIs

This deliverable will provide an initial version of the techniques and tools developed in Task 5.5 for vulnerability scanning and intrusion detection through incoming packet inspection for MRS.

Tools for Automated Quality Assurance of EDDI-Supported MRS (Initial Version)

This deliverable will provide an initial version of the SESAME quality assurance toolset. The toolset will support testing of data-generating and learning components of MRS and robustness and fuzzing testing for EDDIs.

Tools for Automated Safety Analysis of MRS and for Production of EDDIs (Initial Version)

The deliverable will detail the initial version of EDDI-specific tool extensions in HiP-HOPS and safeTbox.

Project Website

A public website describing the project objectives ap proach partners involved and expected results in the initial version Later updates will include announcements of workshops and conferences downloadable papers and articles and the public deliverables from the project The website will be updated periodically

Project Presentation and Brochure

Materials to present the project to interested parties including details on the technical challenges and the approaches being developed within the project to address the challenges the expected impact from both a technical and societal standpoint and where to obtain further information and details concerning the project research and development work

Data Management Plan

Report documenting the consortiums data management plan in compliance with the guidelines provided in Annex 2 of the EC Guidelines on Data Management in Horizon 2020 document More specifically the deliverable will outline how research data will be collected handled and made available to the community during and after the lifespan of SESAME This will be a live document that will evolve beyond its delivery and capture the current status of each data set used in the project including its name and description any standards that it conforms to a description of how it is shared with the community or why it cannot be shared and a plan for long term archiving and preservation

Publikacje

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems

Autorzy: Armengaud, E.; Schneider, D.; Reich, J.; Sorokos, I.; Papadopoulos, Y.; Zeller, M.; Regan, G.; Macher, G.; Veledar, O.; Thalmann, S.; Kabir, Sohag
Opublikowane w: Proceedings of the 2021 Design, Automation & Test in Europe (DATE 2021), 2021
Wydawca: IEEE
DOI: 10.23919/date51398.2021.9474049

Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation

Autorzy: Salman Omar Sohaily, Alex Mitrevskiyx, Nico Hochgeschwendery, and Paul G. Ploger
Opublikowane w: Proceedings 10th European Conference on Mobile Robots, 2021, ISBN 978-1-6654-1213-1
Wydawca: IEEE Explore
DOI: 10.1109/ecmr50962.2021

Maximum Likelihood Uncertainty Estimation: Robustness to Outliers

Autorzy: Deebul S. Nair, Nico Hochgeschwender, Miguel A. Olivares-Mendez
Opublikowane w: Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022), Numer 16130073, 2022, ISSN 1613-0073
Wydawca: CEUR-WS.org

Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud Practical Experience Report

Autorzy: Schmidt, Andreas & Reich, Jan & Sorokos, Ioannis
Opublikowane w: Proceedings 17th European Dependable Computing Conference (EDCC), 2021
Wydawca: IEEE Explore
DOI: 10.1109/edcc53658.2021.00016

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Autorzy: Simos Gerasimou; Javier Cámara; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang
Opublikowane w: IEEE International Conference on Automated Software Engineering (ASE), 2022
Wydawca: IEEE
DOI: 10.1109/ase51524.2021.9678727

Towards Online System Identification: Benchmark of Model Identification Techniques for Variable Dynamics UAV Applications

Autorzy: Junlin Song; Pedro J. Sanchez-Cuevas; Miguel Olivares-Mendez
Opublikowane w: Proceedings 2022 International Conference on Unmanned Aircraft Systems (ICUAS), 2022
Wydawca: IEEE
DOI: 10.1109/icuas54217.2022.9836134

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

Autorzy: James Harbin; Simos Gerasimou; Nicholas Matragkas; Athanasios Zolotas; Radu Calinescu
Opublikowane w: Proceedings of ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021
Wydawca: IEEE
DOI: 10.1109/models50736.2021.00040

RAUM-VO: Rotational Adjusted Unsupervised Monocular Visual Odometry

Autorzy: Claudio Cimarelli, Hriday Bavle, Jose Luis Sanchez-Lopez and Holger Voos
Opublikowane w: Sensors - Special Numer - Aerial Robotics: Navigation and Path Planning, Numer 14248220, 2022, ISSN 1424-8220
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s22072651

A Hybrid Modelling Approach for Aerial Manipulators

Autorzy: Paul Kremer; Jose Luis Sanchez-Lopez; Holger Voos
Opublikowane w: Journal of Intelligent & Robotic Systems, Numer 15730409, 2022, ISSN 1573-0409
Wydawca: Springer
DOI: 10.48550/arxiv.2206.08644

A Lightweight Universal Gripper with Low Activation Force for Aerial Grasping

Autorzy: P. Kremer, H. R. Nohooji, J. L. Sánchez-López, H. Voos
Opublikowane w: IEEE Access, Numer 21693536, 2022, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.48550/arxiv.2208.10768

A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare Alternative Flare Gas Recovery Systems

Autorzy: Soheyl Moheb Khodayee, Ferdinando Chiacchio, Yiannis Papadopoulos
Opublikowane w: IEEE Access, Numer 21693536, 2021, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2021.3069807

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników