elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Designing Reliable Cyber-Physical Systems

Aleksandrowicz, Gadi and Arbel, Eli and Bloem, Roderick and ter Braak, Timon and Devadze, Sergeij and Fey, Görschwin and Jenihhin, Maksim and Jutman, Artur and Kerkhoff, Hans G. and Könighofer, Robert and Koyfman, Shlomit and Malburg, Jan and Moran, Shiri and Raik, Jaan and Rauwerda, Gerard and Riener, Heinz and Röck, Franz and Shibin, Konstantin and Sunesen, Kim and Wan, Jinbo and Zhao, Yong (2017) Designing Reliable Cyber-Physical Systems. In: Forum on Specification and Design Languages, 454, pp. 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

Full text not available from this repository.

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

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

Item URL in elib:https://elib.dlr.de/115773/
Document Type:Conference or Workshop Item (Other)
Title:Designing Reliable Cyber-Physical Systems
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Aleksandrowicz, GadiUNSPECIFIEDUNSPECIFIED
Arbel, EliUNSPECIFIEDUNSPECIFIED
Bloem, RoderickUNSPECIFIEDUNSPECIFIED
ter Braak, TimonUNSPECIFIEDUNSPECIFIED
Devadze, SergeijUNSPECIFIEDUNSPECIFIED
Fey, GörschwinGoerschwin.Fey (at) dlr.deUNSPECIFIED
Jenihhin, MaksimUNSPECIFIEDUNSPECIFIED
Jutman, ArturUNSPECIFIEDUNSPECIFIED
Kerkhoff, Hans G.UNSPECIFIEDUNSPECIFIED
Könighofer, RobertUNSPECIFIEDUNSPECIFIED
Koyfman, ShlomitUNSPECIFIEDUNSPECIFIED
Malburg, JanUNSPECIFIEDUNSPECIFIED
Moran, ShiriUNSPECIFIEDUNSPECIFIED
Raik, JaanUNSPECIFIEDUNSPECIFIED
Rauwerda, GerardRecore SystemsUNSPECIFIED
Riener, HeinzHeinz.Riener (at) dlr.deUNSPECIFIED
Röck, FranzUNSPECIFIEDUNSPECIFIED
Shibin, KonstantinUNSPECIFIEDUNSPECIFIED
Sunesen, Kimrecore systemsUNSPECIFIED
Wan, JinboUNSPECIFIEDUNSPECIFIED
Zhao, YongUNSPECIFIEDUNSPECIFIED
Date:11 November 2017
Journal or Publication Title:Forum on Specification and Design Languages
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
Volume:454
DOI :10.1007/978-3-319-62920-9_2
Page Range:pp. 15-38
Editors:
EditorsEmail
Fummi, FrancoUNSPECIFIED
Wille, RobertUNSPECIFIED
Publisher:Springer International Publishing AG
Series Name:Lecture Notes in Electrical Engineering
ISSN:1876-1100
ISBN:978-3-319-62919-3
Status:Published
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
Event Title:Lecture Notes in Electrical Engineering book series
Event Location:Book
Event Type:Other
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Systemtechnologien
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Malburg, Jan
Deposited On:09 May 2018 10:10
Last Modified:09 May 2018 10:10

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.