Designing Reliable Cyber-Physical Systems

Aleksandrowicz, Gadi und Arbel, Eli und Bloem, Roderick und ter Braak, Timon und Devadze, Sergeij und Fey, Görschwin und Jenihhin, Maksim und Jutman, Artur und Kerkhoff, Hans G. und Könighofer, Robert und Koyfman, Shlomit und Malburg, Jan und Moran, Shiri und Raik, Jaan und Rauwerda, Gerard und Riener, Heinz und Röck, Franz und Shibin, Konstantin und Sunesen, Kim und Wan, Jinbo und Zhao, Yong (2017) Designing Reliable Cyber-Physical Systems. In: Forum on Specification and Design Languages, 454, Seiten 15-38. Springer International Publishing AG. Lecture Notes in Electrical Engineering book series, Book. doi: 10.1007/978-3-319-62920-9_2. ISBN 978-3-319-62919-3. ISSN 1876-1100.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: https://link.springer.com/chapter/10.1007/978-3-319-62920-9_2

Kurzfassung

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, and *ensuring 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.)

elib-URL des Eintrags:

https://elib.dlr.de/115773/

Dokumentart:

Konferenzbeitrag (Anderer)

Titel:

Designing Reliable Cyber-Physical Systems

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Aleksandrowicz, Gadi	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Arbel, Eli	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Bloem, Roderick	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
ter Braak, Timon	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Devadze, Sergeij	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fey, Görschwin	Goerschwin.Fey (at) dlr.de	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Jenihhin, Maksim	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Jutman, Artur	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Kerkhoff, Hans G.	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Könighofer, Robert	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Koyfman, Shlomit	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Malburg, Jan	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Moran, Shiri	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Raik, Jaan	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Rauwerda, Gerard	Recore Systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Riener, Heinz	Heinz.Riener (at) dlr.de	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Röck, Franz	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Shibin, Konstantin	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Sunesen, Kim	recore systems	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Wan, Jinbo	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Zhao, Yong	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

11 November 2017

Erschienen in:

Forum on Specification and Design Languages

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

In ISI Web of Science:

Nein

Band:

454

DOI:

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

Seitenbereich:

Seiten 15-38

Herausgeber:

Herausgeber	Institution und/oder E-Mail-Adresse der Herausgeber	Herausgeber-ORCID-iD	ORCID Put Code
Fummi, Franco	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Wille, Robert	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Verlag:

Springer International Publishing AG

Name der Reihe:

Lecture Notes in Electrical Engineering

ISSN:

1876-1100

ISBN:

978-3-319-62919-3

Status:

veröffentlicht

Stichwörter:

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

Veranstaltungstitel:

Lecture Notes in Electrical Engineering book series

Veranstaltungsort:

Book

Veranstaltungsart:

Andere

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Raumfahrt

HGF - Programmthema:

Technik für Raumfahrtsysteme

DLR - Schwerpunkt:

Raumfahrt

DLR - Forschungsgebiet:

R SY - Technik für Raumfahrtsysteme

DLR - Teilgebiet (Projekt, Vorhaben):

R - Systemtechnologien (alt)

Standort:

Bremen

Institute & Einrichtungen:

Institut für Raumfahrtsysteme > Avioniksysteme

Hinterlegt von:

Malburg, Jan

Hinterlegt am:

09 Mai 2018 10:10

Letzte Änderung:

20 Jun 2021 15:50

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags