In European Union's Horizon 2020 Research & Innovation Action IMMORTAL (Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems) a consortium of leading European academic and industrial players aim at combining their expertise in developing an integrated, cross-layer modeling based tool framework for fault management, verification and reliable design of dependable Cyber-Physical Systems (CPS).
Recently, the world has seen emerging Cyber-Physical System (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 (i.e. design error localisation and correction) aspects. The main aim of IMMORTAL 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 analogue mixed-signal circuits, hardware architecture, firmware, operating system and application layers. In addition, a holistic fault model for representing 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 a 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 architectures that are expected to be increasingly adopted in the coming years.
As a result, the project will enable the development of dependable CPSs with improved reliability and extended effective life-time, which is a particular concern in emerging nanoelectronics technologies that are becoming increasingly vulnerable to disturbances, ageing and process variations. The tool framework to be developed within IMMORTAL 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.
Project Fact Sheet
- Budget: 4 MEUR
- Duration: March, 2015 – February, 2018
- Partners: Tallinn University of Technology (Estonia), German Aerospace Center (DLR) (Germany), Graz University of Technology (Austria), University of Twente (Netherlands), IBM (Israel), Testonica Lab, Recore Systems (Netherlands)
- Contract Number: 644905 - IMMORTAL - H2020-ICT-2014
- Project page: http://h2020-immortal.eu