EFFRA Innovation Portal

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

Project: SESAME

Updated at: 13-06-2024

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 13-06-2024

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 13-06-2024

Show more information

Project acronym SESAME

Tools for Generation of Runtime EDDIs

Project: SESAME

Updated at: 13-06-2024

Show more information

Project acronym SESAME

Executable Scenarios Workbench (Initial Version)

Project: SESAME

Updated at: 13-06-2024

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

RAUM-VO: Rotational Adjusted Unsupervised Monocular Visual Odometry

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

A Hybrid Modelling Approach for Aerial Manipulators

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Maximum Likelihood Uncertainty Estimation: Robustness to Outliers

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

A Lightweight Universal Gripper with Low Activation Force for Aerial Grasping

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Security-Targeted ODE and EDDI Specification

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

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

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Data Management Plan

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Safety-Targeted ODE and EDDI specification

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Tailorability of EDDIs

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Architectural Guidelines Report

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Safety-Security Co-Engineering Framework

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Evaluation Method Establishment

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Project Presentation and Brochure

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Project Website

Project: SESAME

Updated at: 31-10-2023

Show more information

Project acronym SESAME

Periodic Reporting for period 1 - SESAME (Secure and Safe Multi-Robot Systems)

Project: SESAME

Updated at: 18-07-2023

Show more information

Project acronym SESAME

Resources

Selected filters:

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

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

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

Tools for Generation of Runtime EDDIs

Executable Scenarios Workbench (Initial Version)

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

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

RAUM-VO: Rotational Adjusted Unsupervised Monocular Visual Odometry

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

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

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

A Hybrid Modelling Approach for Aerial Manipulators

Maximum Likelihood Uncertainty Estimation: Robustness to Outliers

A Lightweight Universal Gripper with Low Activation Force for Aerial Grasping

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

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

Security-Targeted ODE and EDDI Specification

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

Data Management Plan

Safety-Targeted ODE and EDDI specification

Tailorability of EDDIs

Architectural Guidelines Report

Safety-Security Co-Engineering Framework

Evaluation Method Establishment

Project Presentation and Brochure

Project Website

Periodic Reporting for period 1 - SESAME (Secure and Safe Multi-Robot Systems)