Partners
railML.org
The Heinrich Heine University Düsseldorf is a partner of railML.org since November 2023. We are currently working on importing railML configuration data with the ProB tool (developed at our group) to analyse, validate and animate railML specifications using the formal B method. Validation includes both static aspects, such as checking the input parameters against previously defined rules, and dynamic aspects. The properties of infrastructure and interlocking can be animated and verified in ProB. You can also find detailed information in the corresponding publications.
For enquiries, please contact Prof. Dr. Michael Leuschel and/or Jan Gruteser.