Embedded Systems
„Ziel unserer Forschung ist es, eingebettete Computer Systeme – egal ob in unserem Fahrzeugen, Robotern oder Handys – sicher, verlässlich und performant zu machen.” Prof. Dr. Sebastian Altmeyer
Ihr Partner für eingebettete und cyberphysische Systeme
Unsere Kompetenzen:
- Design und Verifikation von eingebetteten und cyberphysischen Systemen
- Vertrauenswürdige und Smarte Eingebettete Systeme
- Analyse extra-funktionaler Systemeigenschaften
- Hardware-nahe Systementwicklung
Unser Team ...
... verfügt über Expertise rund um Embedded Systems und Prozessortechnologie. In unserem EmbSys-Labor können wir Analysen und Messung an vorhanden Systemen durchführen, aber auch eigene Prototypen entwickeln.
Unsere Angebote für Sie:
- Unterstützung bei der Entwicklung (sicherheitskritischer) eingebetteter und cyberphysischer Systeme vom Systementwurf bis hin zur Verifikation und Zertifizierung
- Auswahl geeigneter Systemkomponenten wie Sensoren, Aktuatoren sowie Prozessoren für eingebettete Systeme
- Analyse und Verifikation extra-funktionaler Systemeigenschaften wie dem Echtzeitverhalten, der Sicherheit, dem Energiebedarf und der Fehlertoleranz
- Integration eingebetteter Systeme in Produktionsabläufe und Prozesse zum Messen, Regeln und Steuern
- Entwicklung von FPGA-basierten Prototypen
Projektbeispiele/ Referenzen (Auswahl):
-
Adaptivität cyberphysischer Systeme zum Schutz gegen Systemfehler und Cyberangriffe
-
Verifikation des Echtzeitverhaltens komplexer Mehrkernprozessoren mittels statischer Analyse
-
Entwicklung und Einsatz vorhersagbarer Manycore-Prozessoren für sicherheitskritische Eingebettete Systeme
-
Autonome und ressourcenbewusste Fahr- und Flugzeuge, die sich selbsttätig auf Umgebungsparameter und Missionsziele einstellen und anpassen