Expertensystem zur Validierung mit ProB
Umfang
Dieses Thema kann als Teil einer Projektarbeit oder 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 Expertensystem erstellt werden, welches
eine Spezifikation (kurz) analysiert dem Benutzer verschiedene Validierungstechniken und Parameterereinstellungen vorschlägt ProB ausführt und dem Benutzer die Ergebnisse der Validierung erklärt. Das Expertensystem kann in Prolog aber auch in Java (oder einer anderen Sprache auf der JVM) erstellt werden.
Minimalanforderungen
- funktionsfähiges Expertensystem
Erweiterungen (für Masterarbeit erforderlich)
- Einbindung in ProB
- ausführliche empirische Evaluierung
- ausführliche Evaluierung an Benutzern
Kontakt
Professor Michael LeuschelRaum 25.12.02.60 · michael.leuschel@hhu.de