Homework
Working at Open Space

Project Results

The following early technical reports addressing Multi-Robot Systems (MRS) development and deployment technologies were completed during the first half of the project and have been made publicly available. Also available are published technical papers and journal articles by visiting our News section and clicking the Tag of interest. Click on any of the reports to download the document.

1. Sensor Fusion and Collaborative Intelligence

Specification of MRS Capabilities

A novel concept of stratagem, which encapsulates the capabilities of individual robots and robotic teams.

Model Identification

Several model identification techniques are developed to be used at run-time by a robot to identify the dynamic and kinematic model of itself or other robots in MRS.

Collaborative Sensor Fusion

Perception and collaborative sensor fusion mechanisms that allow robots to comprehend their environment accurately.


 

2. Executable Scenarios and System Modelling

MRS Design Concept and Methodology

Scientific foundations, concepts and principles of the proposed Executable Scenario (ExSce) methodology for engineering dependable MRS.

Executable Scenarios Workbench (Initial Version)

Two initial tools conforming to the methodology of scenario-based development of multi-robot applications and construction of scenarios.


 

3. Safety-Targeted Executable Digital Dependability Identities

Safety Analysis Concept and Methodology for EDDI development

Safety analysis concept and methodology to be developed in SESAME and how the project intends to integrate key concepts as part of the EDDI.

Safety-Targeted and Security-Targeted ODE and EDDI specification

Specification of the Open Dependability Exchange (ODE) meta model and the new safety and security modifications and extensions for MRS driven EDDIs.

Safety-Security Co-Engineering Framework

A combined safety/security co-engineering framework based on the ODE, the metamodel that serves as a basis for the EDDI dependability management concept.

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

Existing safety analysis tools are targeted to create appropriate system models and safety artefacts, which can be converted to ODE-compliant models via tool adapters and model converters.


 

4. Security-Targeted Executable Digital Dependability Identities

Security Analysis Concept and Methodology for EDDI development

Security assessment concept and methodology that will be used in the SESAME project.

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

Set of tools intended to create system models able to incorporate information about the security status of a given MRS system and support the SESAME security assessment methodology.

Tailorability of EDDIs

Technologies and techniques for adapting EDDI and associated infrastructure to facilitate the deployment and integration of EDDIs to reduce effort and resource investment.

5. MRS-Executable Digital Dependability Identities Quality Assurance

Assurance of Data-Driven and Learning Components of EDDIs

Introduces DeepKnowledge providing a novel test adequacy criterion for testing DL-based systems and providing insights by analysing the generalisation behaviour of Deep Neural Networks (DNN) models under domain shift.

Simulation-Based Testing Methodology for EDDIs

Methodology for simulation-based testing is presented based on the utilisation of a domain-specific language (DSL) to model the space of potential fuzz testing operations upon the MRS.

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

Details on deploying the simulation-based testing platform informed by the safety analysis that underlies the construction of the EDDIs, and the DeepKnowledge framework used to evaluate the quality of the EDDIs.

6. Runtime MRS Dependability Management

Runtime Safety and Security Concept - EDDI Runtime Model Specification

Address dependability of MRS through Executable Digital Dependability Identity (EDDI) runtime components.


Tools for Generation of Runtime EDDIs

Explains the toolchain for the generation of runtime EDDIs. Platform independent and dependent software components are semi-automatically generated, which contain functionality to dynamically supervise dependability properties of an MRS.