Designing Reliable Cyber-Physical Systems
| Autor: | Aleksandrowicz, Gadi, Arbel, Eli, Bloem, Roderick, ter Braak, Timon D., Devadze, Sergei, Fey, Goerschwin, Jenihhin, Maksim, Jutman, Artur, Kerkhoff, Hans G., Könighofer, Robert, Koyfman, Shlomit, Malburg, Jan, Moran, Shiri, Raik, Jaan, Rauwerda, Gerard, Riener, Heinz, Röck, Franz, Shibin, Konstantin, Sunesen, Kim, Wan, Jinbo, Zhao, Yong, Wille, Robert, Fummi, Franco |
|---|---|
| Přispěvatelé: | Digital Society Institute, Computer Architecture Design and Test for Embedded Systems |
| Rok vydání: | 2017 |
| Předmět: |
Cross-layered fault management
Correctness Adaptive test strategy generation Computer science Embedded systems Gating-aware error injection IDDQ Reliability (computer networking) 02 engineering and technology Fault management infrastructure IEEE 1687 Checker qualification Many core 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 Checker minimization Satisfiability modulo theories 0202 electrical engineering electronic engineering information engineering Concurrent online checkers System on a chip Heterogeneous Fault classification Dependable CPSoC NBTI aging Run-time resource mapping Cyber-physical systems Gradual degradation Cyber-physical system Fault tolerance 020207 software engineering Computing systems Many-core 020202 computer hardware & architecture Systems engineering CPS Resource management software Automatic test case generation Reliability analysis Health monitors Counterexample-guided inductive synthesis Parameter synthesis System-on-chip |
| Zdroj: | Lecture Notes in Electrical Engineering Lecture Notes in Electrical Engineering ISBN: 9783319629193 Lecture Notes in Electrical Engineering-Languages, Design Methods, and Tools for Electronic System Design Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016, 15-38 STARTPAGE=15;ENDPAGE=38;TITLE=Languages, Design Methods, and Tools for Electronic System Design-Selected Contributions from FDL 2016 |
| ISSN: | 1876-1100 1876-1119 |
| Popis: | 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.) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|