- Autor
- Aleksandrowicz, Gadi
- Arbel, Eli
- Bloem, Roderick
- Braak, Timon ter
- Devadze, Sergei
- Fey, Goerschwin
- Jenihhin, Maksim
- Jutman, Artur
- Kerkhoff, Hans G.
- Könighofer, Robert
- Malburg, Jan
- Moran, Shiri
- Raik, Jaan
- Rauwerda, Gerard
- Riener, Heinz
- Röck, Franz
- TitelDesigning Reliable Cyber-Physical Systems
- Overview associated to the Special Session at FDL’16
- Datei
- DOI10.1109/FDL.2016.7880382
- LicenceCC BY
- Projekt Identifikator
- info:eu-repo/grantAgreement/European Union/H2020/644905/Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems/IMMORTAL
- Konferenz Name2016 Forum on Specification and Design Languages
- Konferenz OrtBremen
- Download Statistik2667
- Peer ReviewJa
- AbstractCPS, that consist of a cyber part – a computing system – and a physical part – the system in the physical environment – as well as the respective interfaces between those parts, 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 where some of the most pressing design challenges are: monitoring failures throughout the computing system, determining the impact of failures on the application constraints, and ensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment. This paper provides an overview of techniques discussed in the special session to tackle these challenges throughout the stack of layers of the computing system while tightly coupling the design methodology to the physical requirements.