Eingebettete Systeme
In den letzten zwei Jahrzehnten hat sich eine bemerkenswerte Entwicklung bei Computersystemen, insbesondere bei eingebetteten Systemen, vollzogen. Solche Systeme sind in der Regel in größeren elektronischen Geräten verborgen und erfüllen eine bestimmte Funktion, die möglicherweise von entscheidender Bedeutung für Geld oder Menschenleben ist. Beispiele für solche Systeme sind Smartphones, Antiblockiersysteme, Kameras mit Autofokus, Faxgeräte, lebenserhaltende Geräte, Flugmanagementsysteme und Hunderte von anderen Anwendungsfällen, bei denen eingebettete Systeme vom Benutzer des Geräts nicht erkannt werden.
Eingebettete Systeme ermöglichen die Echtzeit-Computersteuerung von physischen Geräten und Systemen, was zu einem noch nie dagewesenen Maß an Leistung und Nutzen führt. Die spezifischen Anforderungen, die an eingebettete Systeme gestellt werden, wie z. B. Aktualität, zuverlässiger Betrieb in sicherheitsrelevanten Szenarien, kurze Markteinführungszeit und niedrige Kosten in Verbindung mit dem Druck, die Funktionalität zu erhöhen, führen zu einem enormen und schwierigen Anstieg der Komplexität des Entwurfs auf Systemebene.
Über den Lehrstuhl
Forschung und Lehre
Forschung
- NoC-basierte Multi-Core-Architekturen mit Echtzeitunterstützung, Fehlertoleranz und Energieeffizienz
- Vernetzte eingebettete Systeme einschließlich Systemarchitekturen, zeitgesteuerte Protokolle und Planungsalgorithmen
- Methoden für die Zuverlässigkeit einschließlich Fehlerdiagnose und Fehlertoleranz (z. B. Organic Computing)
- Eingebettete künstliche Intelligenz (KI) einschließlich eingebetteter KI-Modelle und Hardwarebeschleuniger mit Echtzeitunterstützung und Zuverlässigkeit
-
Anwendungsbereiche wie industrielle Steuerung, Automatisierung, Automobilsysteme, Avionik und medizinische Systeme
Lehre
- Grundlegende Informatikkurse (z.B. technische Informatik, objektorientiertes Design)
- Spezialisierte Kurse im Bereich der eingebetteten Systeme (z.B. Embedded System Design mit FPGA, Embedded System)
Forschungsbereiche
Technologien für eingebettete Systeme
Unsere Forschung bietet Lösungen für die anspruchsvollen Probleme bei der Entwicklung eingebetteter Systeme durch bedeutende Fortschritte auf dem Gebiet der verteilten Systemarchitekturen. Eine Systemarchitektur bildet die wissenschaftliche und technische Grundlage für die Konstruktion eingebetteter Systeme.
Die Ziele unserer Forschung sind die Entdeckung von Entwurfsprinzipien und die Entwicklung von Architekturdiensten, die eine komponentenbasierte Entwicklung eingebetteter Systeme ermöglichen, so dass die entstehenden Systeme kostengünstig gebaut werden können und wichtige nichtfunktionale Eigenschaften aufweisen (z. B. Zusammensetzbarkeit, Robustheit, Wartbarkeit).
Unsere Untersuchungen haben zu Beiträgen geführt, die von konzeptionellen Modellen komponentenbasierter Systemarchitekturen über verteilte Algorithmen zur Protokolltransformation und Fehlertoleranz bis hin zu eingebetteten Betriebssystemtechnologien, eingebetteten KI-Technologien und einem Multiprozessor-System-on-a-Chip für sicherheitsrelevante Anwendungen reichen. Wir verfolgen eine ausgewogene Mischung zwischen konzeptioneller Arbeit mit einer soliden theoretischen Basis und prototypischen Implementierungen mit experimentellen Evaluierungen. Aufgrund des interdisziplinären Charakters eingebetteter Systeme arbeiten wir eng mit Forschern aus anderen Bereichen zusammen (z.B. Experten für Hardware-Software-Co-Design, Wissensmanagement, theoretische Informatik, Spezialisten aus den Bereichen Automobil, Eisenbahn, Avionik und industrielle Steuerung). Darüber hinaus liefert unsere enge Zusammenarbeit mit der Industrie reale Anforderungen und Forschungsherausforderungen sowie industrielles Feedback.
Schwerpunkt der Forschung
- Systeme mit gemischter Kritikalität
- Adaptive und verlässliche Echtzeitsysteme
- Vernetzte eingebettete Systeme
- Vorhersagbare Multi-Core-Architektur
- Eingebettete KI
-
Domänenspezifische Architekturen und Plattformen
Listen der Veröffentlichungen
Veröffentlichungen
A Modular Safety Case for an IEC 61508 compliant Generic Hypervisor
A Modular Safety Case for an IEC 61508 compliant Generic Hypervisor
Deterministic OpenFlow: Performance Evaluation of SDN Hardware for Avionic Networks
Deterministic OpenFlow: Performance Evaluation of SDN Hardware for Avionic Networks
Model-based development of systems-of-systems with real-time requirements
Model-based development of systems-of-systems with real-time requirements
Scheduling of Rate-Constrained and Time-Triggered Traffic in Multi-Cluster TTEthernet Systems
Scheduling of Rate-Constrained and Time-Triggered Traffic in Multi-Cluster TTEthernet Systems
Trace-Based Simulation Framework Combining Message-Based And Shared-Memory Interactions In A Time-Triggered Platform
Trace-Based Simulation Framework Combining Message-Based And Shared-Memory Interactions In A Time-Triggered Platform
A Realistic Approach to a Network-on-Chip Cross-Domain Pattern
A Realistic Approach to a Network-on-Chip Cross-Domain Pattern
Minimizing Revalidation and Recertification in Evolutionary Embedded Systems
Minimizing Revalidation and Recertification in Evolutionary Embedded Systems
Optimal SAT-based Scheduler for Time-Triggered Networks-on-a-Chip
Optimal SAT-based Scheduler for Time-Triggered Networks-on-a-Chip
Time-Triggered Extension Layer for On-Chip Network Interfaces in Mixed-Criticality Systems
Time-Triggered Extension Layer for On-Chip Network Interfaces in Mixed-Criticality Systems
A Novel Formal Verification Framework for Future MPSoC Architectures
A Novel Formal Verification Framework for Future MPSoC Architectures
Event-Based Control and Signal Processing
Event-Based Control and Signal Processing
Multi-core architecture for AUTOSAR based on virtual Electronic Control Units
Multi-core architecture for AUTOSAR based on virtual Electronic Control Units