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