Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon ter Braak; Sergei Devadze; Goerschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkoff; Robert Könighofer; Jan Malburg; Shiri Moran; Jaan Raik; Gerard Rauwerda; Heinz Riener; Franz Röck; Konstantin Shibin; Kim Sunesen; Jinbo Wan; Yong Zhao

doi:10.1109/FDL.2016.7880382

Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

CPS, 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.

Original language	English
Title of host publication	2016 Forum on Specification and Design Languages (FDL)
Number of pages	8
DOIs	https://doi.org/10.1109/FDL.2016.7880382
Publication status	Published - 2016
Event	FDL'16 - Forum on Specification and Design Languages - Bremen, Germany Duration: 14 Sept 2016 → 16 Sept 2016

Conference

Conference	FDL'16 - Forum on Specification and Design Languages
Country/Territory	Germany
City	Bremen
Period	14/09/16 → 16/09/16

Access to Document

10.1109/FDL.2016.7880382

designing_reliable_cyber_physical_systemsSubmitted manuscript, 2.23 MBLicence: CC BY 4.0

Cite this

Aleksandrowicz, G., Arbel, E., Bloem, R., Braak, T. T., Devadze, S., Fey, G., Jenihhin, M., Jutman, A., Kerkoff, H. G., Könighofer, R., Malburg, J., Moran, S., Raik, J., Rauwerda, G., Riener, H., Röck, F., Shibin, K., Sunesen, K., Wan, J., & Zhao, Y. (2016). Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16. In 2016 Forum on Specification and Design Languages (FDL) https://doi.org/10.1109/FDL.2016.7880382

Aleksandrowicz, G, Arbel, E, Bloem, R, Braak, TT, Devadze, S, Fey, G, Jenihhin, M, Jutman, A, Kerkoff, HG, Könighofer, R, Malburg, J, Moran, S, Raik, J, Rauwerda, G, Riener, H, Röck, F, Shibin, K, Sunesen, K, Wan, J & Zhao, Y 2016, Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16. in 2016 Forum on Specification and Design Languages (FDL). FDL'16 - Forum on Specification and Design Languages, Bremen, Germany, 14/09/16. https://doi.org/10.1109/FDL.2016.7880382

@inproceedings{cc6af37ecb2b4198b89df9ca3437eef0,

title = "Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL{\textquoteright}16",

abstract = "CPS, 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.",

author = "Gadi Aleksandrowicz and Eli Arbel and Roderick Bloem and Braak, {Timon ter} and Sergei Devadze and Goerschwin Fey and Maksim Jenihhin and Artur Jutman and Kerkoff, {Hans G.} and Robert K{\"o}nighofer and Jan Malburg and Shiri Moran and Jaan Raik and Gerard Rauwerda and Heinz Riener and Franz R{\"o}ck and Konstantin Shibin and Kim Sunesen and Jinbo Wan and Yong Zhao",

year = "2016",

doi = "10.1109/FDL.2016.7880382",

language = "English",

booktitle = "2016 Forum on Specification and Design Languages (FDL)",

note = "FDL'16 - Forum on Specification and Design Languages ; Conference date: 14-09-2016 Through 16-09-2016",

}

TY - GEN

T1 - Designing Reliable Cyber-Physical Systems

T2 - FDL'16 - Forum on Specification and Design Languages

AU - Aleksandrowicz, Gadi

AU - Arbel, Eli

AU - Bloem, Roderick

AU - Braak, Timon ter

AU - Devadze, Sergei

AU - Fey, Goerschwin

AU - Jenihhin, Maksim

AU - Jutman, Artur

AU - Kerkoff, Hans G.

AU - Könighofer, Robert

AU - Malburg, Jan

AU - Moran, Shiri

AU - Raik, Jaan

AU - Rauwerda, Gerard

AU - Riener, Heinz

AU - Röck, Franz

AU - Shibin, Konstantin

AU - Sunesen, Kim

AU - Wan, Jinbo

AU - Zhao, Yong

PY - 2016

Y1 - 2016

N2 - CPS, 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.

AB - CPS, 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.

U2 - 10.1109/FDL.2016.7880382

DO - 10.1109/FDL.2016.7880382

M3 - Conference paper

BT - 2016 Forum on Specification and Design Languages (FDL)

Y2 - 14 September 2016 through 16 September 2016

ER -

Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

Abstract

Conference

Access to Document

Fingerprint

Cite this