A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Automated Verification of Signalling Principles in Railway Interlocking Systems
2009
Electronical Notes in Theoretical Computer Science
In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translation from ladder logic into this model. 2. The development of verification conditions guaranteeing
doi:10.1016/j.entcs.2009.08.015
fatcat:vowdvpkpnrdv3nwtjj6cerju5a