Aktuelles

Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Marcel Schaible

Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik zur mündlichen Prüfung im Rahmen des o. g. Promotionsverfahrens für Freitag, den 25.09.2026, um 15:00 Uhr in den Raum H 006 im Erdgeschoss des Informatikzentrums (Gebäude 3), Universitätsstr. 11 in Hagen bzw. zu einem Zoom-Meeting mit den folgenden Zugangsdaten:

https://fernuni-hagen.zoom-x.de/j/64473986289?pwd=ofkbmSbyNjcLmBQ8QT2w3C2aiZVgb9.1

Meeting-ID: 644 7398 6289

Kenncode: 06342816

ein. Bitte beachten Sie, dass Sie voraussichtlich nicht vor der o. g. Uhrzeit eingelassen werden, da unmittelbar vor der Prüfung noch eine Sitzung der Promotionskommission stattfindet. Direkt im Anschluss an den öffentlichen Vortrag und die öffentliche Diskussion über den Vortrag findet ein Kolloquium statt, an welchem alle Prüfungsberechtigten gemäß § 2 der Promotionsordnung sowie alle Mitglieder von Promotionsausschuss und -kommission teilnehmen dürfen.

Thema des Vortrags wird sein:

"Sicherheitsgerichteter Entwurf eines konsensual verifizierbaren Prozessors"

Zusammenfassung:

Ausgehend von einer Kritik aktueller Hochleistungsprozessoren, deren nur im zeitlichen Durchschnitt leistungssteigernde Architekturmerkmale ihre Zertifizierbarkeit gemäß der Norm IEC 61508 beeinträchtigen, sowie bisher verwendeter Ansätze zur Prozessorverifikation wird eine Verifizierbarkeit als zentrales Entwurfsprinzip verfolgende Prozessorarchitektur für sicherheitsgerichtete Echtzeitsysteme vorgestellt. Ein VLIW-artiges monomorphes Befehlsformat und wenige atomare Elementaroperationen ermöglichen gesonderte Korrektheitsbeweise der einzelnen Prozessorbausteine. Aufgefasst als Entscheidungstabelle lässt sich insbesondere eine Bitmatrix äußerst leicht verifizieren, auf deren Zeilen die verschiedenen

Befehlswortsegmente unmittelbar verweisen und deren Inhalte die internen Steuersignale des Prozessors aktivieren. Eine gestufte Verifikationsmethodik stellt sicher, dass unabhängig voneinander arbeitende Prüfer ohne Einsatz von Spezialwerkzeugen zwingend zu gleichen Urteilen gelangen.

Die Promotion wird befürwortet von Herrn Prof. Dr. Dr. Wolfgang A. Halang.