Gestern hat Aron Schnakenbeck seine Dissertation โStatische Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlernโ erfolgreich verteidigt. In seiner Arbeit zeigt er, wie sich Entwurfsfehler in Steuerungssystemen automatisierter Produktionsanlagen bereits frรผhzeitig erkennen lassen. Der entwickelte Verifikationsansatz auf Basis statischer Analyse von GRAFCET-Spezifikationen ermรถglicht die effiziente รberprรผfung sicherheitsrelevanter Eigenschaften auch bei groรen und komplexen Spezifikationen.
Die Arbeit leistet damit einen wichtigen Beitrag zur Sicherheit moderner Automatisierungssysteme.
Wir danken Prof. Alexander Fay (Erstgutachter), Prof. Stefan Kowalewski (Zweitgutachter) sowie dem Vorsitzenden des Prรผfungsausschusses Prof. Mario Oertel fรผr die Begutachtung und Begleitung des Promotionsverfahrens.
Lieber Aron, herzlichen Glรผckwunsch zur erfolgreichen Verteidigung und zu dieser starken wissenschaftlichen Leistung!
