This project has received funding from the EUs Horizon 2020 programme for research, technological development and demonstration under grant agreement no 644905.
The IMMORTAL consortium is organizing a special session at the FDL 2016 - Forum on specification & Design Languages, September 14-16, 2016, Bremen, Germany.
The special session titeled "Designing Reliable Cyber-Physical Systems" will be chaired by Goerschwin Fey (DLR).
Cyber-Physical Systems (CPS), that consist of a cyber part a computing system and a physical part the system in the physical environment, are omnipresent in our daily lives. The application in the physical environment drives the overall requirements that must be respected when designing the computing system. Here, reliability is a core aspect to ensure dependable operation where some of the most pressing design challenges are
ensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment,
monitoring failures throughout the computing system, and
determining the impact of failures on the application constraints.
The session will discuss techniques to tackle these challenges throughout the system stack of the computing system while tightly coupling the design methodology to the physical requirements.