Embedded Systems
"The goal of our research is to make embedded computing systems - whether in our vehicles, robots or cell phones - safe, reliable and performant." Prof. Dr. Sebastian Altmeyer
your partner for embedded and cyberphysical systems
Our competences:
- Design and verification of embedded and cyber-physical systems
- Trustworthy and Smart Embedded Systems
- Analysis of extra-functional system properties
- Hardware-related system development
Our Team ...
... has expertise around embedded systems and processor technology. In our EmbSys lab, we can perform analysis and measurement on existing systems, but also develop our own prototypes.
Our offerings for you
- Support for the development of (safety-critical) embedded and cyber-physical systems from system design to verification and certification
- Selection of suitable system components such as sensors, actuators as well as processors for embedded systems
- Analysis and verification of extra-functional system properties such as real-time behavior, safety, power requirements and fault tolerance
- Integration of embedded systems into production workflows and processes for measurement, control and regulation
- Development of FPGA-based prototypes
Projects
-
Adaptivity of cyber-physical systems to protect against system failures and cyber attacks.
-
Verification of real-time behavior of complex many-core processors using static analysis.
-
Development and deployment of predictable many-core processors for safety-critical embedded systems.
-
Autonomous and resource-aware driving and flying vehicles that self-adjust and adapt to environmental parameters and mission objectives.
