This project has received funding from the EUís Horizon 2020 programme for research, technological development and demonstration under grant agreement no 644905.


Recently, the world has seen emerging CPS modeling 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 modeling.

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 ultrafast 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.

IMMORTAL will enable development of dependable CPSs with improved reliability and extended effective lifetime, aging and process variations. 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.