Felix Frombach, M. Sc.
- Wissenschaftlicher Mitarbeiter
- Gruppe: Prof. Becker
- Raum: 226.1
CS 30.10 - felix frombach ∂does-not-exist.kit edu
- Engesserstr. 5
76131 Karlsruhe
Funktionelle Sicherheit und Verifizierung für AI Hardware
Die Einführung neuer Technologien in Form von eingebetteter Hardware oder KI-Systemen in sicherheitskritischen Bereichen ist vielversprechend. Der Schritt von Forschung und Prototypen zu industriellen und alltäglichen Anwendungen erfordert allerdings, dass das gesamte System zuverlässig und fehlertolerant ist. Lücken in der funktionalen Sicherheit des Designs können zu großem Schaden führen, insbesondere in sicherheitskritischen Bereichen wie autonomem Fahren, Luft- und Raumfahrt oder industrieller Automatisierung. Unser Ziel ist die Vereinfachung, Entwicklung und Verifizierung zuverlässiger Hardware die unter erschwerten Bedingungen sicher funktioniert.
Datenflusskontrolle für Systeme mit hohem Durchsatz
Teilchenbeschleuniger-Experimente produzieren während ihres Betriebs ständig enorme Datenmengen. Dank technologischer Fortschritte ist heute in bestimmten Fällen und Experimenten eine trigger-lose, freie Datenerfassung möglich. Dadurch lässt sich das bestehende Problem, dass die Datenmengen zu groß sind um komplett gespeichert und verarbeitet werden können, umgehen, was eine gründlichere und komplexere Analyse der Daten ermöglicht. Um die Datenintegrität in Systemen mit Durchsatzanforderungen dieser Größenordnung sicherzustellen, entwickeln wir Drosselungsstrategien zur Steuerung des Datenflusses mit dem Ziel, eine hohe Effizienz zu erreichen, ohne wichtige experimentelle Informationen zu verlieren.