Automated generation of formal safety conditions from railway interlocking tables

Haxthausen, Anne
November 2014
International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p713
Academic Journal
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.


Related Articles

  • Techniques for modelling and verifying railway interlockings. James, Phillip; Moller, Faron; Nguyen, Hoang; Roggenbach, Markus; Schneider, Steve; Treharne, Helen // International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p685 

    We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP $$||$$ B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale...

  • From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. Ferrari, Alessio; Spagnolo, Giorgio; Martelli, Giacomo; Menabeni, Simone // International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p647 

    Communications-based train control (CBTC) systems are the new frontier of automated train control and operation. Currently developed CBTC platforms are actually very complex systems including several functionalities, and every installed system, developed by a different company, varies in extent,...

  • Formal methods for railway control systems. Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania // International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p643 

    The term intelligent transportation systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity,...

  • Dual signalling eases ERTMS roll-out. Utberg, Xaf; Oonincx, Jan // Railway Gazette International;Sep2007, Vol. 163 Issue 9, p570 

    The article reports on the installation of dual signalling system European Train Control System (ETCS) Level 2 and Automatic Train Protection for the Amsterdam--Utrecht main line of ProRail in the Netherlands. It states that the installation of the system will allow the line to be used by both...

  • Promotion of Local to Global Operation in Train Control System. Sher Afzal Khan; Zafar, Nazir A. // Journal of Digital Information Management;Aug2007, Vol. 5 Issue 4, p231 

    Railway interlocking system is a safety critical system. Its failure can cause the loss of human life, severe injuries and loss of money. Therefore the complication of this type of system requires advanced methodologies, which provide complete security and quality of a system. One way of...

  • Interlocking and Train Protection. Macfarlane, Ian // Railway Gazette International;Oct2004, Vol. 160 Issue 10, p716 

    The article offers information on the book "Interlocking and Train Protection," by Ian Macfarlane. Starting with a vivid description of the head-on collision at Harvey, near Chicago, in 1979, the book contains 13 chapters. It traces the development of interlocking and train control technologies...

  • Definition of the Basic Aspects by Development of Universal Interfaces Between Relay and Microprocessor Systems. Mezitis, Mareks; Kamenevs, Olegs // Transport & Engineering;2009, Vol. 32, p111 

    Represented interface model give a possibility to make interconnection between microprocessors interlocking and Auto Block systems. With in interface model will be kept all functional interdependences and safety level. Absence of running cost for interface integration to Auto Block has positive...


    Railway safety interlocking system quality assessment is based on quantitative indicators from EN 50126 (Model RAMS - Reliability, Availability, Maintainability, Safety) and total cost of railway traffic control system, and their impact on goods and passengers freight and average speed of trains...

  • A global railway in the digital age. Herritty, Bob // Modern Railways;Sep2010 Supplement, p3 

    The article discusses the role of information and communications technology (ICT) on the modernization of railways. The author mentions the challenges of overcoming the notion that ICT is a simple utility with a familiar and necessary function and addressing ICT network security issues. It notes...


Read the Article


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

Try another library?
Sign out of this library

Other Topics