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 proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

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 languageEnglish
Title of host publicationLanguages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2016
EditorsRobert Wille, Franco Fummi
PublisherSpringer Verlag
Pages15-38
Number of pages24
ISBN (Print)9783319629193
DOIs
Publication statusPublished - 2018
EventForum on specification and Design Languages, FDL 2016 - Bremen, Germany
Duration: 14 Sep 201616 Sep 2016

Publication series

NameLecture Notes in Electrical Engineering
Volume454
ISSN (Print)1876-1100
ISSN (Electronic)1876-1119

Conference

ConferenceForum on specification and Design Languages, FDL 2016
Abbreviated titleFDL 2016
CountryGermany
CityBremen
Period14/09/1616/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

Fingerprint

Dive into the research topics of 'Designing Reliable Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this