Designing Reliable Cyber-Physical Systems

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

doi:10.1007/978-3-319-62920-9_2

Designing Reliable Cyber-Physical Systems

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

^*Corresponding author for this work

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

4 Citations (Scopus)

5 Downloads (Pure)

Abstract

Cyber-physical systems, 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, andensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment. This chapter gives an overview of the state-of-the-art techniques developed within the Horizon 2020 project IMMORTAL that tackle these challenges throughout the stack of layers of the computing system while tightly coupling the design methodology to the physical requirements. (The chapter is based on the contributions of the special session Designing Reliable Cyber-Physical Systems of the Forum on Specification and Design Languages (FDL) 2016.)

Original language	English
Title of host publication	Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016
Editors	Robert Wille, Franco Fummi
Publisher	Springer
Pages	15-38
Number of pages	24
ISBN (Print)	9783319629193
DOIs	https://doi.org/10.1007/978-3-319-62920-9_2
Publication status	Published - 2018
Event	Forum on specification and Design Languages, FDL 2016 - Bremen, Germany Duration: 14 Sept 2016 → 16 Sept 2016

Publication series

Name	Lecture Notes in Electrical Engineering
Volume	454
ISSN (Print)	1876-1100
ISSN (Electronic)	1876-1119

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

Adaptive test strategy generation
Automatic test case generation
Checker minimization
Checker qualification
Concurrent online checkers
Counterexample-guided inductive synthesis
CPS
Cross-layered fault management
Cyber-physical systems
Dependable CPSoC
Embedded systems
Fault classification
Fault management infrastructure
Fault tolerance
Gating-aware error injection
Gradual degradation
Health monitors
Heterogeneous
IDDQ
IEEE 1687
Many-core
NBTI aging
Parameter synthesis
Reliability analysis
Resource management software
Run-time resource mapping
Satisfiability modulo theories
System-on-chip

Access to Document

10.1007/978-3-319-62920-9_2

Cite this

Aleksandrowicz, G., Arbel, E., Bloem, R., ter Braak, T. D., Devadze, S., Fey, G., Jenihhin, M., Jutman, A., Kerkhoff, H. G., Könighofer, R., Koyfman, S., Malburg, J., Moran, S., Raik, J., Rauwerda, G., Riener, H., Röck, F., Shibin, K., Sunesen, K., ... Zhao, Y. (2018). Designing Reliable Cyber-Physical Systems. In R. Wille, & F. Fummi (Eds.), Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016 (pp. 15-38). (Lecture Notes in Electrical Engineering; Vol. 454). Springer. https://doi.org/10.1007/978-3-319-62920-9_2

@inproceedings{5685fd17fd8c4995ad35b59f0eeff652,

title = "Designing Reliable Cyber-Physical Systems",

abstract = "Cyber-physical systems, 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, andensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment. This chapter gives an overview of the state-of-the-art techniques developed within the Horizon 2020 project IMMORTAL that tackle these challenges throughout the stack of layers of the computing system while tightly coupling the design methodology to the physical requirements. (The chapter is based on the contributions of the special session Designing Reliable Cyber-Physical Systems of the Forum on Specification and Design Languages (FDL) 2016.)",

keywords = "Adaptive test strategy generation, Automatic test case generation, Checker minimization, Checker qualification, Concurrent online checkers, Counterexample-guided inductive synthesis, CPS, Cross-layered fault management, Cyber-physical systems, Dependable CPSoC, Embedded systems, Fault classification, Fault management infrastructure, Fault tolerance, Gating-aware error injection, Gradual degradation, Health monitors, Heterogeneous, IDDQ, IEEE 1687, Many-core, NBTI aging, Parameter synthesis, Reliability analysis, Resource management software, Run-time resource mapping, Satisfiability modulo theories, System-on-chip",

author = "Gadi Aleksandrowicz and Eli Arbel and Roderick Bloem and {ter Braak}, {Timon D.} and Sergei Devadze and Goerschwin Fey and Maksim Jenihhin and Artur Jutman and Kerkhoff, {Hans G.} and Robert K{\"o}nighofer and Shlomit Koyfman 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 = "2018",

doi = "10.1007/978-3-319-62920-9_2",

language = "English",

isbn = "9783319629193",

series = "Lecture Notes in Electrical Engineering",

publisher = "Springer",

pages = "15--38",

editor = "Robert Wille and Franco Fummi",

booktitle = "Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016",

address = "Germany",

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

}

Aleksandrowicz, G, Arbel, E, Bloem, R, ter Braak, TD, Devadze, S, Fey, G, Jenihhin, M, Jutman, A, Kerkhoff, HG, Könighofer, R, Koyfman, S, Malburg, J, Moran, S, Raik, J, Rauwerda, G, Riener, H, Röck, F, Shibin, K, Sunesen, K, Wan, J & Zhao, Y 2018, Designing Reliable Cyber-Physical Systems. in R Wille & F Fummi (eds), Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016. Lecture Notes in Electrical Engineering, vol. 454, Springer, pp. 15-38, Forum on specification and Design Languages, FDL 2016, Bremen, Germany, 14/09/16. https://doi.org/10.1007/978-3-319-62920-9_2

Designing Reliable Cyber-Physical Systems. / Aleksandrowicz, Gadi; Arbel, Eli; Bloem, Roderick et al.
Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016. ed. / Robert Wille; Franco Fummi. Springer, 2018. p. 15-38 (Lecture Notes in Electrical Engineering; Vol. 454).

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

TY - GEN

T1 - Designing Reliable Cyber-Physical Systems

AU - Aleksandrowicz, Gadi

AU - Arbel, Eli

AU - Bloem, Roderick

AU - ter Braak, Timon D.

AU - Devadze, Sergei

AU - Fey, Goerschwin

AU - Jenihhin, Maksim

AU - Jutman, Artur

AU - Kerkhoff, Hans G.

AU - Könighofer, Robert

AU - Koyfman, Shlomit

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 - 2018

Y1 - 2018

N2 - Cyber-physical systems, 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, andensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment. This chapter gives an overview of the state-of-the-art techniques developed within the Horizon 2020 project IMMORTAL that tackle these challenges throughout the stack of layers of the computing system while tightly coupling the design methodology to the physical requirements. (The chapter is based on the contributions of the special session Designing Reliable Cyber-Physical Systems of the Forum on Specification and Design Languages (FDL) 2016.)

AB - Cyber-physical systems, 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, andensuring correctness of the computing system with respect to application-driven requirements rooted in the physical environment. This chapter gives an overview of the state-of-the-art techniques developed within the Horizon 2020 project IMMORTAL that tackle these challenges throughout the stack of layers of the computing system while tightly coupling the design methodology to the physical requirements. (The chapter is based on the contributions of the special session Designing Reliable Cyber-Physical Systems of the Forum on Specification and Design Languages (FDL) 2016.)

KW - Adaptive test strategy generation

KW - Automatic test case generation

KW - Checker minimization

KW - Checker qualification

KW - Concurrent online checkers

KW - Counterexample-guided inductive synthesis

KW - CPS

KW - Cross-layered fault management

KW - Cyber-physical systems

KW - Dependable CPSoC

KW - Embedded systems

KW - Fault classification

KW - Fault management infrastructure

KW - Fault tolerance

KW - Gating-aware error injection

KW - Gradual degradation

KW - Health monitors

KW - Heterogeneous

KW - IDDQ

KW - IEEE 1687

KW - Many-core

KW - NBTI aging

KW - Parameter synthesis

KW - Reliability analysis

KW - Resource management software

KW - Run-time resource mapping

KW - Satisfiability modulo theories

KW - System-on-chip

UR - http://www.scopus.com/inward/record.url?scp=85034454180&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-62920-9_2

DO - 10.1007/978-3-319-62920-9_2

M3 - Conference contribution

AN - SCOPUS:85034454180

SN - 9783319629193

T3 - Lecture Notes in Electrical Engineering

SP - 15

EP - 38

BT - Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016

A2 - Wille, Robert

A2 - Fummi, Franco

PB - Springer

T2 - Forum on specification and Design Languages, FDL 2016

Y2 - 14 September 2016 through 16 September 2016

ER -

Designing Reliable Cyber-Physical Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this