Skip to main content

Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems

Objective

In IMMORTAL, a consortium of leading European academic and industrial players aim at combining their expertise in developing an integrated, cross-layer modelling based tool framework for fault management, verification and reliable design of dependable Cyber-Physical Systems (CPS).
Recently, the world has seen emerging CPS modelling frameworks addressing various design aspects such as control, security, verification and validation. However, there have been no considerations for reliability and automated debug aspects of verification. The main aim is to fill this gap by introducing reliable design and automated system debug into CPS modelling. To reach this aim, the project will develop a cross-layer CPS model spanning device (analogue and digital), circuit, network architecture, firmware and software layers. In addition, a holistic fault model for fundamentally different error sources in CPSs (design bugs, wear-out and environmental effects) in a uniform manner will be proposed. Moreover, IMMORTAL plans to develop fault management infrastructure on top of the reliable design framework that would allow ultra-fast fault detection, isolation and recovery in the emerging many-core based CPS networked architectures that are expected to be increasingly adopted in the coming years.
As a result, the project will enable development of dependable CPSs with improved reliability and extended effective life-time, ageing and process variations. In line with the expected impacts of the Call, the project will have a significant impact in development time as well as maintenance costs of dependable cyber-physical systems.
The tool framework to be developed will be evaluated on a clearly specified real-world use-case of a satellite on-board-computer. However, since the results are more general and applicable to many application domains, including avionics, automotive and telecommunication, demonstration of the framework tools will be applied to CPS examples from other domains as well.

Call for proposal

H2020-ICT-2014

See other projects for this call

Sub call

H2020-ICT-2014-1

Coordinator

TALLINNA TEHNIKAÜLIKOOL
Net EU contribution
€ 377 750,00
Address
Ehitajate Tee 5
12616 Tallinn
Estonia

See on map

Region
Eesti Eesti Lõuna-Eesti
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00

Participants (6)

DEUTSCHES ZENTRUM FUR LUFT - UND RAUMFAHRT EV
Germany
Net EU contribution
€ 777 270,00
Address
Linder Hohe
51147 Koln

See on map

Region
Nordrhein-Westfalen Köln Köln, Kreisfreie Stadt
Activity type
Research Organisations
Non-EU contribution
€ 0,00
TECHNISCHE UNIVERSITAET GRAZ
Austria
Net EU contribution
€ 669 375,00
Address
Rechbauerstrasse 12
8010 Graz

See on map

Region
Südösterreich Steiermark Graz
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
UNIVERSITEIT TWENTE
Netherlands
Net EU contribution
€ 490 245,00
Address
Drienerlolaan 5
7522 NB Enschede

See on map

Region
Oost-Nederland Overijssel Twente
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
IBM ISRAEL - SCIENCE AND TECHNOLOGY LTD
Israel
Net EU contribution
€ 799 625,00
Address
94 Derech Em-hamoshavot
49527 Petach Tikva

See on map

Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
OÜ TESTONICA LAB
Estonia
Net EU contribution
€ 305 512,50
Address
Akadeemia Tee 15a
12618 Tallinn

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
Eesti Eesti Põhja-Eesti
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00
RECORE SYSTEMS BV
Netherlands
Net EU contribution
€ 576 875,00
Address
Colosseum 1
7521 PV Enschede

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
Oost-Nederland Overijssel Twente
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Non-EU contribution
€ 0,00