Neuigkeiten
PV1000 bei 150 Jahre RWTH – Die Ausstellung
Im Rahmen des Hochschuljubiläums zu „150 Jahren RWTH Aachen“ findet unter anderem eine Ausstellung im Centre Charlemagne statt. Dabei wird unter anderem das am Lehrstuhl Informatik 11 mit entwickelte Pandemie-Beatmungsgerät PV1000 als Initiative aus der RWTH ausgestellt. Vom PV1000 werden aktuell zehn Prototypen für weitere Test im Rahmen der Entwicklung aufgebaut.
Dimitri Bohlender promoviert
Wir gratulieren unserem ehemaligen Kollegen Dimitri Bohlender zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 24.09.2021 zum Thema „Symbolic Methods for Formal Verification of Industrial Control Software“ statt. In dieser Arbeit ging es darum, Software, die in industriellen Steuerungsanlagen läuft, mit spezifisch auf diese Problemdomäne zugeschnittenen Algorithmen zu verifizieren und somit sicherzustellen, dass sich die Steuerung korrekt verhält.
Wir wünschen Herrn Bohlender alles Gute!
David Thönnessen promoviert
Wir gratulieren unserem ehemaligen Kollegen David Thönnessen zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 21.06.2021 zum Thema „Hardware-in-the-Loop-Testen von industriellen Automatisierungssystemen mit SPS-Programmiersprachen“ statt. Hauptaugenmerk dieser Arbeit war es, Entwicklern von SPS-Programmen zu erlauben, Testfälle mithilfe von ihnen bereits bekannten SPS-Sprachen zu spezifizieren anstatt separate Spezifikationssprachen zu verwenden. Dadurch soll es ermöglicht werden, Testbibliotheken schneller und effizienter zu entwickeln.
Wir wünschen Herrn Thönnessen alles Gute!