The resilient embedded systems research area explores the secure and dependable design and implementation of computing systems subject to stringent timing and resource constraints.
Real-time and embedded systems are virtually part of most modern technologies such as cars (e.g., engine control, anti-lock brakes, etc.), airplanes (e.g., fly-by-wire), or robotics (e.g., signal processing, actuator control). In such safety-critical domains, embedded real-time systems must be predictable, dependable and secure in the sense that correct outputs must always be produced at the right time, often under the presence of malicious actions. These requirements must be fulfiled on a tight resource budget, as embedded systems are commonly deployed in environments that impose severe space, weight, cost and power constraints.
Our research spans the entire range from the exploration of fundamental algorithmic issues to actual systems-building, and we particularly emphasize the intersection of both research approaches.