Brückenbildung zwischen Hardware- und Software-Analyse

• Antragsteller: Professor Dr. Dirk Beyer; Nian-Ze Lee, Ph.D.
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Elektronische Halbleiter, Bauelemente und Schaltungen, Integrierte Systeme, Sensorik, Theoretische Elektrotechnik
• Förderung: Förderung seit 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 536040111

Unsere Gesellschaft und Wirtschaft sind auf korrekte Computersysteme angewiesen, die aus Hardware- und Softwarekomponenten bestehen, und die Analyse von Computersystemen ist unerlässlich, um ihre korrekte Funktionalität zu gewährleisten. Die formale Überprüfung wird von immer mehr Anwendern genutzt, darunter auch die führenden Technologieunternehmen, um die Korrektheit ihrer Systeme mit mathematischer Rigorosität zu garantieren. Es gibt getrennte Forschungsgemeinschaften für Hardware und Software, die jeweils ihre eigenen Techniken und Werkzeuge entwickeln. Eine solche Unterscheidung schafft eine Wissensbarriere und hindert die eine Gemeinschaft daran, von den Fortschritten der anderen zu profitieren. Aufgrund dieser Barriere kann das Potenzial der Nutzung von Techniken aus verwandten Bereichen übersehen werden, um den Stand der Technik zu verbessern. Wir schlagen vor, Technologien zu entwickeln, die diese Barriere überbrücken und Wissen und wissenschaftliche Ergebnisse aus dem Hardwarebereich für den Softwarebereich nutzbar zu machen und umgekehrt. Die drei Ziele unseres Vorschlags sind: (1) Optimierung der Anwendbarkeit von Software-Werkzeugen auf Hardware-Designs, (2) ein Rahmenwerk zu konstruieren, das die Nutzung von Standard-Hardware-Werkzeugen für Software erleichtert, und (3) Wissen für Hardware und Software zu kombinieren, um praktische Probleme zu lösen. Unsere Methoden umfassen Transformation und Informationsaustausch, Kombination von Werkzeugen, umfangreiche Experimente für Leistungsvergleiche und Fallstudien. Alle unsere Software und Daten werden öffentlich zugänglich gemacht.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: USA
• Kooperationspartner: Alan Mishchenko, Ph.D.