Modeling for Semantic Verification - Enhancement of Railway Infrastructure Planning

Planning a railway infrastructure is an extensive process. Placement and interaction of all infrastructural elements including security components like signals and level crossings has to be considered. Verifying the railway infrastructure against legal guidelines is an important task within this planning process. The verification purpose is to ensure a safe operation on the infrastructure. During the verification it is ensured e.g. that all elements are in correct positions, the spaces among them are sufficient and the alignment is correct. Today this verification task is mostly performed manually without any computer aid. The efforts presented in this exposé have the intention to automate the railway infrastructure verification process and formalize the exchange of railway planning data among different tools and authorities. Our focus lies on the development of a semantic model specifying railway infrastructure elements and their interrelations.