TITLE

Automated generation of formal safety conditions from railway interlocking tables

AUTHOR(S)
Haxthausen, Anne
PUB. DATE
November 2014
SOURCE
International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p713
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
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 SAL model checker tool has been used to check that these conditions were satisfied by a model of the relay circuits implementing the interlocking system at Stenstrup station.
ACCESSION #
98882886

 

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics