Zuverlässiges Rechnen

Ein Rechner, der tut, was er soll, auch wenn etwas schiefgeht. Zuverlässige Datenverarbeitung heißt: Ein System funktioniert wie erwartet. Wir beschäftigen uns mit allem, was das gefährdet: Störungen, Fehlern und Ausfällen, und wie man sie überwindet.

Woran wir arbeiten

• Fehler erkennen, eingrenzen und beheben, bevor sie Schaden anrichten
• Widerstandsfähige Systeme, etwa für die Kommunikation in der Industrie
• Zuverlässigkeit von Elektronik und Rechnersystemen bewerten

Zuverlässigkeit früh im Entwurf prüfen

Wir bauen Systemmodelle von Prozessoren und Beschleunigern in SystemC und untersuchen an ihnen die Vertrauenswürdigkeit eines Entwurfs, lange bevor es Hardware gibt:

• wie sich Fehler verhalten und ausbreiten
• welches Sicherheitsniveau ein Entwurf erreicht
• ob der Entwurf funktional sicher (safe) ist

Zuverlässigkeit in der Elektronik

• zuverlässige Beschleuniger auf Basis von RRAM, einem neuartigen resistiven Speicher
• zuverlässige Kryptographie-Beschleuniger
• die Zuverlässigkeit von Systems-on-Chip analysieren und bewerten
• HW/SW-Co-Verifikation für zuverlässige IP-Blöcke und integrierte Schaltungen

Aus der Forschung: Trustworthy Integrated Circuits: From Safety to Security and Beyond (IEEE Access, 2024), Holistic Framework for Evaluating the Trustworthiness of Integrated Circuits und Secure Software/Hardware Hybrid In-Field Testing for System-on-Chip (beide VLSI-SoC 2024).

Die Gruppe leitet Dr.-Ing. Saleh Mulhem.