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, 2016-09-14 - 2016-09-16, 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: |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Datum: | 11 November 2017 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Erschienen in: | Forum on Specification and Design Languages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Band: | 454 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
DOI: | 10.1007/978-3-319-62920-9_2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Seitenbereich: | Seiten 15-38 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Herausgeber: |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Veranstaltungsbeginn: | 14 September 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Veranstaltungsende: | 16 September 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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: | 04 Jun 2024 13:32 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags