Partner
railML.org
Die Heinrich-Heine-Universität Düsseldorf ist seit November 2023 Partner von railML.org. Wir arbeiten derzeit am Import von railML-Konfigurationsdaten mit dem an unserem Lehrstuhl entwickelte Werkzeug ProB, um railML-Spezifikationen mithilfe der formalen B-Methode analysieren, validieren und animieren zu können. Die Validierung umfasst sowohl statische Aspekte wie Prüfung der Eingabeparameter (und daraus berechneten Zusammenhängen) gegen zuvor definierte Regeln als auch dynamische Aspekte. Hierbei können Eigenschaften von Infrastruktur und Interlocking in ProB animiert und verifiziert werden. Detaillierte Informationen finden Sie auch in den zugehörigen Veröffentlichungen.
Für Anfragen wenden Sie sich gerne an Prof. Dr. Michael Leuschel und/oder Jan Gruteser.