Reinhard Wilhelm, emeritierte Informatik-Professor der Universität des Saarlandes, wurde mit dem ACM SIGBED Technical Achievement Award 2025 verliehen. In der Laudatio wurde Professor Wilhelm für seine grundlegenden und bahnbrechenden Arbeiten zur Worst-Case-Execution-Time-Analyse (WCET), zur Timing-Vorhersagbarkeit und zur statischen Programmanalyse in eingebetteten und cyber-physikalischen Systemen geehrt.
Seine Forschungen legten die theoretischen und praktischen Grundlagen für die Abschätzung sicherer Obergrenzen für die Ausführungszeiten von Aufgaben in sicherheitskritischen Echtzeitsystemen – eine Fähigkeit, ohne die die Planung und Zertifizierung dieser Systeme schlichtweg nicht möglich wäre, so die Laudatoren.
ACM SIGBED steht für die Fachgruppe für "Embedded Systems" innerhalb der weltweit größten Fachgesellschaft für Informatik, der US-amerikanischen Association für Computing Machinery (ACM). Diese betonte bei der Preisverleihung, dass Professor Wilhelms Karriere Jahrzehnte der Führungsarbeit und Innovation umfasste. Von 1978 bis 2014 hatte er den Vorsitz für Programmiersprachen und Compilerbau an der Universität des Saarlandes inne und leistete in dieser Zeit wichtige Beiträge in den Bereichen Programmiersprachen, Compiler, statische Programmanalyse und Echtzeitsysteme. Von 1990 bis 2014 war er Gründungsdirektor des Leibniz-Zentrums für Informatik (Schloss Dagstuhl).
Weitere Informationen:
https://sigbed.org/2025/11/25/sigbed-early-career-award-2025-announcement/
Foto: Raphael Reischuk