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. Kerkhoff; 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. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Computer Architecture Design and Test for Embedded Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › 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)
Publisher	IEEE
ISBN (Electronic)	979-10-92279-17-7
ISBN (Print)	978-1-5090-3086-6
DOIs	https://doi.org/10.1109/FDL.2016.7880382
Publication status	Published - 27 Mar 2017
Event	Forum on specification and Design Languages, FDL 2016 - Bremen, Germany Duration: 14 Sept 2016 → 16 Sept 2016

Publication series

Name	Forum on Specification and Design Languages
ISSN (Print)	1636-9874

Conference

Conference	Forum on specification and Design Languages, FDL 2016
Abbreviated title	FDL 2016
Country/Territory	Germany
City	Bremen
Period	14/09/16 → 16/09/16

Keywords

n/a OA procedure

Access to Document

10.1109/FDL.2016.7880382

Cite this

Aleksandrowicz, G., Arbel, E., Bloem, R., Ter Braak, T., Devadze, S., Fey, G., Jenihhin, M., Jutman, A., Kerkhoff, 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. (2017). Designing reliable cyber-physical systems overview associated to the special session at FDL’16. In 2016 Forum on Specification and Design Languages (FDL) (Forum on Specification and Design Languages). IEEE. https://doi.org/10.1109/FDL.2016.7880382

@inproceedings{3865e9d2193643f7996d3c54062c3131,

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

keywords = "n/a OA procedure",

author = "Gadi Aleksandrowicz and Eli Arbel and Roderick Bloem and {Ter Braak}, Timon and Sergei Devadze and Goerschwin Fey and Maksim Jenihhin and Artur Jutman and Kerkhoff, {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",

note = "Publisher Copyright: {\textcopyright} 2021 Institute of Electrical and Electronics Engineers Inc.. All rights reserved.; Forum on specification and Design Languages, FDL 2016, FDL 2016 ; Conference date: 14-09-2016 Through 16-09-2016",

year = "2017",

month = mar,

day = "27",

doi = "10.1109/FDL.2016.7880382",

language = "English",

isbn = "978-1-5090-3086-6",

series = "Forum on Specification and Design Languages",

publisher = "IEEE",

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

address = "United States",

}

Aleksandrowicz, G, Arbel, E, Bloem, R, Ter Braak, T, Devadze, S, Fey, G, Jenihhin, M, Jutman, A, Kerkhoff, 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 2017, Designing reliable cyber-physical systems overview associated to the special session at FDL’16. in 2016 Forum on Specification and Design Languages (FDL). Forum on Specification and Design Languages, IEEE, Forum on specification and Design Languages, FDL 2016, Bremen, Germany, 14/09/16. https://doi.org/10.1109/FDL.2016.7880382

Designing reliable cyber-physical systems overview associated to the special session at FDL’16. / Aleksandrowicz, Gadi; Arbel, Eli; Bloem, Roderick et al.
2016 Forum on Specification and Design Languages (FDL). IEEE, 2017. (Forum on Specification and Design Languages).

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

TY - GEN

T1 - Designing reliable cyber-physical systems overview associated to the special session at FDL’16

AU - Aleksandrowicz, Gadi

AU - Arbel, Eli

AU - Bloem, Roderick

AU - Ter Braak, Timon

AU - Devadze, Sergei

AU - Fey, Goerschwin

AU - Jenihhin, Maksim

AU - Jutman, Artur

AU - Kerkhoff, 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 - 2017/3/27

Y1 - 2017/3/27

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.

KW - n/a OA procedure

U2 - 10.1109/FDL.2016.7880382

DO - 10.1109/FDL.2016.7880382

M3 - Conference contribution

AN - SCOPUS:85114874562

SN - 978-1-5090-3086-6

T3 - Forum on Specification and Design Languages

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

PB - IEEE

T2 - Forum on specification and Design Languages, FDL 2016

Y2 - 14 September 2016 through 16 September 2016

ER -

Designing reliable cyber-physical systems overview associated to the special session at FDL’16

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this