A traffic control system tcs combines interlockings with abs and traffic locking traffic locking locks the direction of travel in a track when an interlocking clears a signal to that track, and it prevents the interlocking in the other end of the track from sending trains onto that track. Railway signalling principles of interlocking and standards interlocking. Installing signals for an interlocking plant model. Modeldriven engineering of a railway interlocking system fabio scippacercola 1, roberto pietrantuono, stefano russo, andras zentai. The use of a plc can be varied up to the requirements. Recently, the use of computer systems in very vital areas has. Next, a generic and compact modelling framework is introduced, in which the. Model based system engineering for safety of railway. Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. In order to develop a new interlocking system, in addition to study the interlocking. In this paper we describe an industrial application of formal methods. In railway signalling, an interlocking ixl is a system composed by a set of signal apparatus that prevents trains from conflicting movements through only allowing trains to receive authority to proceed, when routes have been set, lock and detected in safe combinations. Automated verification of signalling principles in railway interlocking systems 1 karim kanso 2 faron moller 3 anton setzer 4 dept. Each interlocking makes use of particular data, called application data, that re.
Please read more here, however text relevant to the question is being pasted. In the work done so far, there has been little common ground apart from basic principles. Substantial reserves of oil, gas and minerals exist within the gab and combined with industrial. Microprocessor or micro controllers are used in eis. Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Automated verification of signalling principles in railway. This system can bring the evolution of a train traffic control in a station. Pdf analysis of railway interlocking systems sandeep. Automatabased railway signaling and interlocking system design. In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to.
Verifying the accuracy of interlocking tables for railway. What is a standard 3 interlocking system in a railway. This module assume the task of locking and unlocking the subroutes and the points when a route is commanded and ran through by a train. The formal model is structured to retain the reusability and scalability properties of the system being modelled. It stands directly adjacent to the old relay building.
Interlocking rail definition of interlocking rail by. There is the physical interlock via a mechanical link which duplicates in model form the interlocking system used with the old mechanical signal boxes and there are various electrical methods which duplicate the functionality of the more modern power signal boxes. As there are few drawbacks in the indian railways can be rectified by using an automated railway signalling and interlocking system by using a plc. Cenelec 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verification and. Railway signalling electrical point machine railway. The system, required to be cenelec sil4 compliant, has been provided by the hungarian company prolan co. We show the bene ts of the approach with reference to a pilot project that is part of a railway interlocking system. Generally speaking current systems are safe due to the processes that signalling. The rotary motion of the motor is transmitted through the reduction gears and transmission assembly and converted through linear movement of a toothed rack through a pinion.
In railway signalling, an interlocking is an arrangement of signal apparatus that prevents conflicting movements through an arrangement of tracks such as junctions or crossings. Signals interlocking blocks the track circuit track circuit block unoccupied track circuit block occupied multiaspect signals fouraspect signalling a safe braking distance the overlap background signalling is one of the most important parts of the many which make up a railway system. An interlocking is an arrangement of signal apparatus that prevents conflicting movements through an arrangement of tracks such as junctions or crossings. An interlocking specification language an important factor for the success of practical use of formal methods is the availability of generally accepted description languages, methods, and tools. Analysis of railway interlocking systems from the desk of sandeep patalay analysis of railway interlocking systems sandeep patalay senior systems. Principles of train working and need for signalling all over the world railway transportation is increasingly used, as this mode of transport is more energy efficient and environmentally friendly than road transportation. Modelintheloop testing of a railway interlocking system. Interlocking system used mechanical device both to operated the signaling device and ensure their safe operation. Formal verification of a railway interlocking system using. The interlocking system is a mix of the mechanical interlocking system and the relay interlocking system see section 2. Report of a comparative analysis of the interlocking. Route relay interlocking rri is the system used in large and busy stations that have to handle high volumes o. Railways are considered safest of all in land transport system, yet this safety is due to a complex system of interlocking which ensures the safe train movements on track. Introduction signalling is the device by which the movement of trains is controlled highly important in terms of safety trains can be operated efficiently, utilization of tracks and tracks can be done at maximum levels signalling includes signals, points, blocks and other equipment.
Electrical relay based interlocking systems are widely used by banedanmark. Railway signalling electrical point machine an electrical point machine is an electrically driven motor used for operation of points in railway yards. Referring to the signalling field, a railway interlocking is a set of signal apparatus placed on the track in order to prevent conflicting movements among trains, through an arrangement of. Ei is a computer based electronic interlocking system, used for controlling points, signals, level crossing gates etc, through a centralized control panel or through vdu, like existing relay based mechanical interlocking systems. Report of a comparative analysis of the interlocking systems executive summary signaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In the railway domain, an interlocking is the system ensuring a safe train traffic inside a station by controlling its active elements such as the signals or the points. Railway signalling principles of interlocking and standards. The purpose of railway interlocking system is to prevent trains from collisions and derailing while at the same time allowing normal trains movement. Principles of railway interlocking is a huge and hard topic. The railway signalling domain is a safety critical domain, where safety is given utmost importance.
The signalling appliances and tracks are sometimes collectively referred to as an interlocking plant. Oct 27, 2016 railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. This article looks at four tools that ensure railway safety in japan. Railway interlocking systems and grobner bases sciencedirect.
Installing approach signals for an interlocking plant. Trains move on steel rail tracks and wheels of the railway vehicle are also flanged steel wheels. Jul 19, 2015 its a type of electrically operated interlocking like panel interlocking pi is the system used in most mediumsized stations on ir. There are various types of interlocking systems, in practice, varying from purely mechanically operated to stateoftheart computerized. Train working a standard iii interlocked station has points and signals that are either interconnected mechanically within the same mechanis. There are two basic ways of providing interlocking.
Verification of railway interlocking systems arxiv. Model based system engineering for safety of railway critical. All translation steps have been implemented and tested on a realworld example of a railway interlocking system. Means an arrangement of signals, points and other appliances, operated from a panel or from lever frame, so interconnected by mechanical locking or electrical locking or both that their operation must take place in proper sequence to ensure safety.
May 18, 2016 please read more here, however text relevant to the question is being pasted. The railway signalling domain is mostly operated using traditional technology, which is considered safe and time proven. This rule requires that a signal be provided to govern train movements into and through interlocking limits except over electrically locked handoperated switch equipped with either a pipeconnected derail or independentlyoperated electrically locked derail. Electro mechanic interlocking systems were implemented in the railway network from around 1915 until 1950. Pdf a model pattern of railway interlocking system by petri nets. External components such as points and signals were now controlled by relays instead of wire pulls. Entranceexit interlocking nx was the original brand name of the first generation relaybased centralized traffic control ctc interlocking system introduced in 1936 by grs represented in europe by metropolitanvickers. Referring to the signalling field, a railway interlocking is a set of signal apparatus placed on the track in order to prevent conflicting movements among trains, through an arrangement of track devices such as junctions, derails and crossings once a route is set and a train is given a signal to proceed over that route, all movable devices belonging to the route are. Apr 21, 2017 installing approach signals for an interlocking plant. Modeldriven engineering of a railway interlocking system. Modeling of a reliable interlocking has become a challenging problem due to its. Feb 24, 2014 principles of signalling railway interlocking, points and other issues related to the signalling systems, in order to ensure the safe operation of trains. Railway interlocking, application data, automatic verification, model checking.
This module is a straight emanation from the application data. Automated railway signalling and interlocking system design. Cenelec 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verification and testing stages of control algorithms. Abstract the paper is the design of automated railway signalling and interlocking system using plc and scada. In 2, the authors analyze the safety of a real computer interlocking system, for the control of railway stations. The systems architecture is based on redundancy and is composed of a central nucleus connected to peripheral posts for the control of physical devices. Pdf the railway interlocking system ris is one of the crucial parts of the railway transit safety. Automated railway signalling and interlocking system. Report of a comparative analysis of the interlocking systems. Interlocking meaning in the cambridge english dictionary. Railway interlocking systems are designed to prevent conflicting actions related to the position of switches and signals during everyday railway exploitation.
We have used model checking techniques to model and formally verify a rather complex software, i. Abstract railway interlocking is designed to prevent trains from colliding. The great artesian basin gab is a vast subterranean thermal aquifer system underlying over 20% of the australian continent. The advent of all electric interlocking technology allowed for more automated route setting procedures as opposed to having an operator line each part of. It is more specially a signalling subsystem that controls the routes, the points and. Sep 28, 2014 an interlocking is an arrangement of signal apparatus that prevents conflicting movements through an arrangement of tracks such as junctions or crossings.
Data related to interlockings for a railway track is stored manually in long tabular forms, which is a time consuming and resource. Modelling and verification of relay interlocking systems. A formal model of the systems safety logic was developed in verus. The levers that operate switches, derails, signals or other appliances are connected to the bars running in one direction. The control cabinets for the interlocking system are housed in the new building fig. Folder example on the cd contains behaviourexample. The advent of all electric interlocking technology allowed for more automated route setting procedures as opposed to. The development of a mathematical model of a railway interlocking system and the translation from ladder logic into this model. Pdf analysis of railway interlocking systems sandeep patalay. Its a type of electrically operated interlocking like panel interlocking pi is the system used in most mediumsized stations on ir. What is route relay interlocking system in indian railways.
Railway technology today 8 edited by kanji wako signalling systems for safe railway transport tetsuo takashige introduction trains could not run safely without signalling devices. Installing signals for an interlocking plant model railroad. Mar 10, 2015 principles of railway interlocking is a huge and hard topic. Modelling interlocking systems for railway stations dtu. Modelling interlocking systems for railway stations. Interlocking rail synonyms, interlocking rail pronunciation, interlocking rail translation, english dictionary definition of interlocking rail. A decision model independent from the topology of the station based on the use of polynomial ideals and grobner bases is presented. For the eurolocking pilot project at the santpoort noord site, an interlocking building was erected with the designation rh110 fig. On my model railroad of the bluff city southern there is a bottleneck, but its a fun bottleneck. In mechanical interlocking plants, a locking bed is constructed, consisting of steel bars forming a grid. Railway interlocking, application data, automatic veri.
1080 452 582 266 70 1423 269 730 181 224 1142 1047 254 1070 268 574 1173 1044 1062 407 178 1292 812 1404 83 690 464 943 509 1061 1414