Project Details
SPP 1500: Design and Architectures of Dependable Embedded Systems
Subject Area
Computer Science, Systems and Electrical Engineering
Term
from 2010 to 2020
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 130969381
On an average day, each of us has implicit contact with a large number of electronic systems we are often not even aware of. This is almost independent of what job we have and what lifestyle we live and applies (with variations) to virtually every individual in a highly developed society. Lets, for example, consider one drives a car in morning to work. We require our car to be safe, i.e. we expect our car to take certain actions that ensure avoidance of an accident or, if an accident occurs, we expect it to reduce the negative impact on our health to a minimum. These and diverse other features are facilitated by around 100 electronic systems in a modern car. Another everyday example is healthcare. When one visits a medical doctor one might receive an X-ray screening or other scans. A system might then automatically analyse the scans for potential disease patterns thereby aiding the doctor in a diagnosis. Or, one might carry life sustaining devices like hearing aids, pace makers etc. with us. A further example is our cell phone that we carry with us and probably use multiple times a day to conduct business, to talk to our families etc. What we typically do not think of when we talk via a cell phone is that for a single second of talking time hundreds of millions of computational operations are executed on that cell phone and the backbone infrastructure, which belongs to the most complex technical systems. Again, a large number of electronic systems (most of them are not visible to us and not even part of the cell phone) makes all this possible. But what happens if these systems do not work dependable, if they temporarily or completely fail or simply do not function as specified? If, for example, the ABS (Anti-lock Braking System) of the car is delayed for some milliseconds? If a pace maker is providing the pace at the wrong frequency? If a call is dropped when attempting to make an emergency call via a cell phone? The goal of this Priority Programme is to develop new methods and architectures at system level as to eliminate the effects associated when migrating to new technology nodes like malfunctioning, performance degradation, increased power consumption etc. The five columns of research are Technology Abstraction, Dependable Hardware Architectures, Dependable Embedded Software, Design Methods and Operation, Observation, Adaptation.
DFG Programme
Priority Programmes
International Connection
Austria, United Kingdom
Projects
- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems (Applicant Tahoori, Ph.D., Mehdi B. )
- ASTEROID - An Analyzable, Resilient, Embedded Real-Time Operating System Design (Applicants Ernst, Rolf ; Härtig, Hermann )
- Coordination Funds (Applicant Henkel, Jörg )
- Dependability Aspects in Configurable Embedded Operating Systems -- DanceOS (Applicants Kapitza, Rüdiger ; Lohmann, Daniel ; Spinczyk, Olaf )
- Design of efficient, dependable VLSI architectures based on a cross-layer-reliability approach using wireless communication as application (Applicant Wehn, Norbert )
- Flexible Error Handling for Embedded Real-Time Systems (Applicant Marwedel, Peter )
- Generating and Executing Dependable Application Software on UnReliable Embedded Systems (Get-SURE) - II (Applicants Chen, Jian-Jia ; Shafique, Ph.D., Muhammad )
- Koordinatoren-Antrag SPP 1500 (Applicant Henkel, Jörg )
- Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach (Applicant Schlichtmann, Ulf )
- MixedCoreSoC - A Highly Dependable Self-Adaptive Mixed-Signal Multi-Core System-on-Chip (Applicants Brinkschulte, Uwe ; Hedrich, Lars )
- OTERA-III: Online Test Strategies for Reliable Reconfigurable Architectures - From Reliability to Guaranteed System Performability: A Multi-Layer Approach (Applicants Henkel, Jörg ; Wunderlich, Hans-Joachim )
- PERICES-3: Providing Efficient Reliability in Critical Embedded Systems (Phase 3) (Applicant Tahoori, Ph.D., Mehdi B. )
- Runtime reconfigurable analog circuits and adaptive filter synthesis for compensation of unreliable hardware constraints (Applicant Becker, Joachim )
- Self-adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems (Applicant Rosenstiel, Wolfgang )
- Temperature-driven Thread mapping and Shadowing in Hybrid Multi-cores (SMASH) (Applicant Platzner, Marco )
- VirTherm-3D - Formalization of Multi-Agent System Management and Adaptive Modular Redundancy for Dependable 3D MPSoCs (Applicants Henkel, Jörg ; Herkersdorf, Andreas )
Spokesperson
Professor Dr.-Ing. Jörg Henkel