A.E. Haxthausen

L.-H. Eriksson

Anne E. Haxthausen

Crossref

Automated Generation of Safety Requirements from Railway Interlocking Tables

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

Automated Generation of Safety Requirements from Railway Interlocking Tables

Abstract

Similar works

Full text

Available Versions

Crossref

Online Research Database In Technology