Den b+m SSEP 2016 erhält Frau Lena Grimm B. Sc. für ihre Bacherlorarbeit mit dem Titel 'Debugging SCCharts' angefertigt bei Prof. Dr. Reinhard von Hanxleden, Leiter der Arbeitsgruppe Echtzeitsysteme und Eingebettete Systeme am Institut für Informatik der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel.

Software ist häufig in technische Systeme eingebettet. Sie steuert Flugzeuge, Airbags, bald ganze Autos, Ampelanlagen, Signalanlagen u.v.a.m.  Sie steuert sicherheitskritische Systeme, von denen Gefahr für unser aller Leib und Leben ausgehen kann. Entsprechend hoch sind die Anforderungen. Nachweise müssen sehr aufwendig geführt werden. Dies kann erst gelingen, wenn zumindest diejenigen, die die Software entwickeln, von deren sicherem und korrektem Verhalten überzeugt sind.

Debugging ist eine wichtige Methode, um Fehler zu lokalisieren. Der Zugang zu Spezifikation und Implementierung eingebetteter sicherheitskritischer Systeme geschieht meist grafisch auf der Basis automatentheoretischer Konzepte. Sequentially Constructive Charts (SCCharts) sind im Kontext des KIELER Projektes der Arbeitsgruppe Echtzeitsysteme und eingebettete Systeme in Kooperation mit Industrie und Forschung gemeinsam entwickeltet worden und anerkannt publiziert. Frau Grimm hat mit ihrer Bachelorarbeit einen in die KIELER Entwicklungsumgebung integrierten Debugger mit grafischem Zugang konzipiert und implementiert, ein wesentlicher, wissenschaftlich fundierter Beitrag, der die Nutzung von SCCharts auch in der industriellen Praxis vorantreiben wird.

Grimm, Lena (2016) Debugging SCCharts (Bachelorarbeit), Kiel University, Kiel, Germany
Download (PDF 1.780 Kb)