Opendata, web and dolomites

IMMORTAL project deliverables

The page lists 20 deliverables related to the research project "IMMORTAL".

 List of Deliverables

IMMORTAL: list of downloadable deliverables.
title and desprition type last update

Verification, debugging and testing tools

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

CPS run-time for SW task deployment

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Fault models and reliability metrics

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Dynamic, semi-formal and formal reliability analysis methods

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Cross-layer CPS modelling framework

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Verification, debugging and testing methods

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Dissemination and communication report

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

System-level reliability analysis tools

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

FDIR schemes (incl. reconfiguration, health map, fault classification)

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Status on modelling, fault/reconfiguration modelling and reliability metrics

Status on modelling, fault/reconfiguration modelling and reliability metrics

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Status on fault management

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Reconfiguration modelling

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Online fault detection mechanisms

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Silicon demonstrator for fault management and mixed-signal reliability verification

Demonstrator

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Demonstrators, pilots, prototypes 2019-05-30

Market analysis

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Integrated demonstrator on modelling, verification and reliability analysis

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

Integrated FPGA demonstrator of the fault management framework

Demonstrator

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Demonstrators, pilots, prototypes 2019-05-30

Fault management infrastructure verification tools

Report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30

IMMORTAL Website and factsheet

Website

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Websites, patent fillings, videos etc. 2019-05-30

Dynamic, semi-formal and formal reliability analysis tools

report

Programme: H2020-EU.2.1.1.1. - Topic(s): ICT-01-2014

download deliverable 

Documents, reports 2019-05-30