TY - DATA T1 - Efficient RailML Formalization of Railway Interlocking Data PY - 2021/02/19 AU - Mark Bosschaart (Delft University of Technology) AU - Egidio Quaglietta (Delft University of Technology) AU - Bob Janssen (SIEMENS NL) AU - Rob M.P. Goverde (Delft University of Technology) UR - https://data.4tu.nl/articles/dataset/Efficient_RailML_Formalization_of_Railway_Interlocking_Data/12681368/2 DO - 10.4121/12681368.v2 KW - Knowledge-based railway systems KW - RailML database KW - Railway interlocking KW - Simplification of railway engineering processes KW - UML class diagram KW - master thesis N2 - An XML database of railway interlocking data is provided which efficiently represent the topology and the logic of interlocking systems. The database has been formalized in a standard format widely used in railways, i.e. RailML. Differently from the other previouly proposed interlocking databases, our approach is able to completely map interlocking systems, removing data redundancy and standardizing its representation. The dataset contains the documentation, the xsd and an example database relative to the Dutch station Santpoort-Noord ER -