In der Vorlesung von Formale Methoden für Steuerungssoftware am 19.1.2016 berichtete Stefan Hauck-Stattelmann vom ABB-Forschungszentrum in Ladenburg über Methoden zur Bestimmung der Worst Case Execution Time für sicherheitskritische Systeme. Dabei stellte er eine Methode vor, die auf Abstrakter Interpretation beruht und dafür detaillierteres Wissen über den verwendeten Prozessor voraussetzt. Diese Abschätzung wurde im Airbus A380 eingesetzt. Eine zweite Methode, an der in Ladenburg geforscht wird, kommt mit weniger Wissen über den verwendeten Prozessor aus und kann trotzdem mit guten Ergebnissen bei SPSen eingesetzt werden.
Wir danken Herrn Hauck-Stattelmann für diesen Gastvortrag in unserer Vorlesung.
Dr.-Ing. André Stollenwerk, Akademische Oberrat am Lehrstuhl Informatik
11 wird aus dem Programm RWTH „Start-Up“ gefördert. Ziel dieses
Förderprogramms ist die Stärkung des wissenschaftlichen Nachwuchses.
Im bewilligten Projekt wird die Gruppe von Dr.-Ing. Stollenwerk untersuchen, ob sich die Qualität einer hygienischen Händedesinfektion durch Thermografie feststellen lässt.
Am 6.12.2015 fand der 53. Winterlauf der StädteRegion Aachen statt. Dem windigen Wetter und teilweise matschigen Waldboden trotzten insgesamt 2145 Läuferinnen und Läufer – darunter auch 11 Teilnehmer, die für den i11 Freunde e. V. an den Start gingen. Unter den Läufern des Lehrstuhls war Norbert Wiechowski mit einer Zeit von 1:32:43.2 Stunden auf der 18 km langen Strecke der Schnellste. Wir gratulieren allen Teilnehmern!
Weitere Informationen finden sich auf der Aachener Turn-Gemeinde