Prolog Interpreter für Lustre
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 LeuschelRaum 25.12.02.60 · michael.leuschel@hhu.de