Umfang

Dieses Thema kann als Masterarbeit bearbeitet werden.

Empfohlene Vorkenntnisse

  • gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
  • Kenntnisse der B Sprache sind erwünscht (zB. durch Besuch der Veranstaltung “Sicherheitskritische Systeme”)

Problem

ProB ist ein Werkzeug zur Validierung formaler Spezifikationen. Diese Software hat viele Parameter und viele Validierungstechniken. In dieser Arbeit soll ein SICStus Prolog-Interpreter für die formale Sprache Lustre (https://en.wikipedia.org/wiki/Lustre_(programming_language)) erstellt werden und in ProB eingebunden werden.

Minimalanforderungen

  • funktionsfähiger Prolog Interpreter für eine Untermenge von Lustre

Erweiterungen

  • Einbindung in ProB
  • Erstellung oder Einbindung eines Parsers für Lustre
  • ausführliche empirische Evaluierung
  • gute Darstellung von Lustre Zuständen im ProB Animator

Kontakt

Professor Michael Leuschel
Raum 25.12.02.60 · michael.leuschel@hhu.de