This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.
Lecture Notes in Computer Science: Applications and Case Studies, Part II, 2012, p. 261-275
Railways; Interlocking systems; Formal methods; Safety; Verification; Model checking; Interlocking tables; Signal control tables
Main Research Area:
Lecture Notes in Computer Science
5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)Leveraging Applications of Formal Methods, Verification and Validation