TITLE

Promotion of Local to Global Operation in Train Control System

AUTHOR(S)
Sher Afzal Khan; Zafar, Nazir A.
PUB. DATE
August 2007
SOURCE
Journal of Digital Information Management;Aug2007, Vol. 5 Issue 4, p231
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
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 achieving this goal is by using formal methods, which are mathematically based languages, techniques and tools used for specifying and verifying such systems. This paper provides the control of trains in a sector of moving block interlocking system using the approach of promotion. The promotion is the approach used to link the local state with a global state in Z specifications. The control comprises three components, i.e. sector, trains and security of a train in a sector.
ACCESSION #
26265707

 

Related Articles

  • Automated generation of formal safety conditions from railway interlocking tables. Haxthausen, Anne // International Journal on Software Tools for Technology Transfer;Nov2014, Vol. 16 Issue 6, p713 

    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...

  • Control update.  // Railway Gazette International;Aug2010, Vol. 166 Issue 8, p17 

    The article reports that the mechanical train stops on the Berlin S-Bahn network in Germany will be replaced by DB Netz with electronic speed supervision using balises.

  • Czech Railways Keep Pace with Europe in Safety.  // Czech Business & Trade;2013, Issue 3, p20 

    An interview with Zdeněk Chrdle, general director of transport control, signalling and interlocking system in railway supplier AŽD Praha, is presented. When asked about reason for train accident in Santiago de Compostela, Spain, he refers to no installation of curve in safety signalling...

  • Forum. POYNTER, BOB; CUDWORTH, SHAUN; CRIBBENS, ALAN; OWEN, PETER; ARCHIBALD, HARRY; MACPHERSON, IAN; DOLAN, JOHN // Modern Railways;Feb2009, Vol. 66 Issue 725, p38 

    Several letters to the editor are presented in response to articles in previous issues including one by Alan Williams on the open access operators on the East Coast main line, "SSI Triumphant" and another by Ian Walmsley on train liveries.

  • Prototype junctions.  // Model Railroader;Jan2011, Vol. 78 Issue 1, p45 

    The article offers information on railroad junctions in the U.S. It says that junctions are locations where two or more railroad lines intersects and train movements in these crossings are protected by tower operators through lever-operated interlocking systems which aligns and locks train...

  • 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...

  • End of the line.  // Railway Gazette International;Aug2010, Vol. 166 Issue 8, p71 

    The article reports that the purely mechanical interlockings are no longer used on the U.S. main rail network, after over 150 years of operation.

  • New England tower survivor.  // Trains;Dec2012, Vol. 72 Issue 12, p14 

    A photograph of the Boston & Maine interlocking tower in Waltham, Massachusetts is presented.

  • Developing a locking chart. D. B. // Model Railroader;Feb2015, Vol. 82 Issue 2, p48 

    The article offers step-by-step instructions for how to develop a locking chart.

Share

Read the Article

Courtesy of VIRGINIA BEACH PUBLIC LIBRARY AND SYSTEM

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

Try another library?
Sign out of this library

Other Topics