3.1
Import
Not certified
ProB
railML® compatibility
Infrastructure
3.2
Import
Not certified
Interlocking
3.1
Import
Not certified
3.2
Import
Not certified
Contact:
Heinrich-Heine-Universität Düsseldorf
Michael Leuschel
Universitätsstrasse 1
40225 Düsseldorf
Germany
Details:
The ProB validation tool is developed by the STUPS group at the Heinrich Heine University Düsseldorf.
ProB is an animator, constraint solver and model checker that targets high-level formal specification languages (like B and TLA+).
ProB has been certified as a tool of class T2 for various data validation applications.
In that context it is being used by several firms worldwide, such as Alstom, CLEARSY, Thales and Siemens.
The B language is rooted in predicate logic, arithmetic and set theory and provides support for data structures such as (higher-order) relations, functions and sequences.
We are currently adding features to read in, validate and animate railML configuration data using the formal B method.
License:
academic
In use by the following partners:
Alstom Rail Sweden 
Clearsy 
Hitachi Rail STS Germany (Thales) 
Siemens Mobility Germany (Rail Infrastructure) This data is provided by the railML partner and under their responsibility.