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

Research output: Contribution to conferencePaperResearchpeer-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 languageEnglish
Publication statusPublished - 2016
EventFDL'16 - Forum on Specification and Design Languages - Bremen, Germany
Duration: 14 Sep 201616 Sep 2016

Conference

ConferenceFDL'16 - Forum on Specification and Design Languages
CountryGermany
CityBremen
Period14/09/1616/09/16

Fingerprint

Monitoring
Cyber Physical System

Cite this

Aleksandrowicz, G., Arbel, E., Bloem, R., Braak, T. T., Devadze, S., Fey, G., ... Zhao, Y. (2016). Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16. Paper presented at FDL'16 - Forum on Specification and Design Languages, Bremen, Germany.

Designing Reliable Cyber-Physical Systems : Overview associated to the Special Session at FDL’16. / Aleksandrowicz, Gadi; Arbel, Eli; Bloem, Roderick; Braak, Timon ter; Devadze, Sergei; Fey, Goerschwin; Jenihhin, Maksim; Jutman, Artur; Kerkoff, Hans G.; Könighofer, Robert; Malburg, Jan; Moran, Shiri; Raik, Jaan; Rauwerda, Gerard; Riener, Heinz; Röck, Franz; Shibin, Konstantin; Sunesen, Kim; Wan, Jinbo; Zhao, Yong.

2016. Paper presented at FDL'16 - Forum on Specification and Design Languages, Bremen, Germany.

Research output: Contribution to conferencePaperResearchpeer-review

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' Paper presented at FDL'16 - Forum on Specification and Design Languages, Bremen, Germany, 14/09/16 - 16/09/16, .
Aleksandrowicz G, Arbel E, Bloem R, Braak TT, Devadze S, Fey G et al. Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16. 2016. Paper presented at FDL'16 - Forum on Specification and Design Languages, Bremen, Germany.
Aleksandrowicz, Gadi ; Arbel, Eli ; Bloem, Roderick ; Braak, Timon ter ; Devadze, Sergei ; Fey, Goerschwin ; Jenihhin, Maksim ; Jutman, Artur ; Kerkoff, Hans G. ; Könighofer, Robert ; Malburg, Jan ; Moran, Shiri ; Raik, Jaan ; Rauwerda, Gerard ; Riener, Heinz ; Röck, Franz ; Shibin, Konstantin ; Sunesen, Kim ; Wan, Jinbo ; Zhao, Yong. / Designing Reliable Cyber-Physical Systems : Overview associated to the Special Session at FDL’16. Paper presented at FDL'16 - Forum on Specification and Design Languages, Bremen, Germany.
@conference{cc6af37ecb2b4198b89df9ca3437eef0,
title = "Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16",
abstract = "CPS, that consist of a cyber part – a computing system– and a physical part – the system in the physical environment – aswell as the respective interfaces between those parts, are omnipresentin our daily lives. The application in the physical environment drivesthe overall requirements that must be respected when designing thecomputing system. Here, reliability is a core aspect where some of themost 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 toapplication-driven requirements rooted in the physical environment.This paper provides an overview of techniques discussed in the specialsession to tackle these challenges throughout the stack of layers of thecomputing system while tightly coupling the design methodology to thephysical 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",
language = "English",
note = "FDL'16 - Forum on Specification and Design Languages ; Conference date: 14-09-2016 Through 16-09-2016",

}

TY - CONF

T1 - Designing Reliable Cyber-Physical Systems

T2 - Overview associated to the Special Session at FDL’16

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 – aswell as the respective interfaces between those parts, are omnipresentin our daily lives. The application in the physical environment drivesthe overall requirements that must be respected when designing thecomputing system. Here, reliability is a core aspect where some of themost 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 toapplication-driven requirements rooted in the physical environment.This paper provides an overview of techniques discussed in the specialsession to tackle these challenges throughout the stack of layers of thecomputing system while tightly coupling the design methodology to thephysical requirements.

AB - CPS, that consist of a cyber part – a computing system– and a physical part – the system in the physical environment – aswell as the respective interfaces between those parts, are omnipresentin our daily lives. The application in the physical environment drivesthe overall requirements that must be respected when designing thecomputing system. Here, reliability is a core aspect where some of themost 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 toapplication-driven requirements rooted in the physical environment.This paper provides an overview of techniques discussed in the specialsession to tackle these challenges throughout the stack of layers of thecomputing system while tightly coupling the design methodology to thephysical requirements.

M3 - Paper

ER -