If software based errors are discovered during equipment cutovers, a signal engineer must identify the source of the problem and correct it. Solid state interlocking ssi is the brand name of the first generation processorbased interlocking developed in the 1980s by british rails research division, gecgeneral signal and westinghouse signals ltd in the uk. Solid state interlocking data link instrumentation and testing. Ssi is the brand name of the first generation microprocessorbased interlocking developed in the 1980s by british rail, gecgeneral signal and westinghouse signals ltd in the uk. Solid state interlocking ssi is the brand name of the first generation processorbased. The software programs resident within these devices are fixed and protected. Software validation for a railway signalling system. Principles of railway interlocking is a huge and hard topic. The solid state interlocking is described, with particular emphasis on the techniques used to ensure safety and reliability, its software and data structures, and the methods used to communicate with trackside equipment. Second generation processorbased interlocking are known by the term computerbased interlocking cbi,8 of which microlok. Conference paperproceedingabstract 437 views 33 downloads.
The current phase of modernization involves the procurement of solid state interlocking ssi systems that are designed to replace relaybased interlockings. What is interlocking and its necessities in railways. The specially developed scheme design language is illustrated and details are given of support facilities such as data. Report of a comparative analysis of the interlocking systems. The solidstate interlocking is described, with particular emphasis on the techniques used to ensure safety and reliability, its software and data structures, and the methods used to communicate. We present a complete methodology for carrying out this verification step in the case of ladder logic programs and give results for real world railway interlockings. Solid state software modules the ti58 and ti59 calculators introduced a novelty, the solid state software modules with up to 5000 program steps. Solid state interlocking data link instrumentation and. Solid state welding ssw types of solid state welding process solid state welding is a welding process, in which two work pieces are joined under a pressure providing an intimate contact between them and at a temperature essentially below the melting point of the parent material. What is ssi soild state interlocking and how does it works youtube. Tagged classification of ssi computer based interlocking signalling system ebilock 950 bombardier sweden features of various ssi systems free wire programming geographical programming railway interlocking system ppt railway signalling solid state interlocking ssi rdso type ssi architecture sicas siemens siemens comp aided sigg simis. Solid state interlocking ssi is the brand name of the first generation processor based. Aug 01, 2018 hello friends in this video i am going to discuss with you about ssi means solid state interlocking this is a new type of interlocking system developed by indian railways. For crossing to become true, a request req to cross must have been made.
Any system of interlocking can be divided into four parts. Railroads, commuter rail, and rail transit systems using solid state interlocking devices face unique signal engineering challenges. Home browse by title proceedings revised selected papers of the sefm 20 collocated workshops on software engineering and formal methods volume 8368 verification of solid state interlocking programs. Nov 20, 2017 latest current affairs in february, 2020 about solid state interlocking system. Report of a comparative analysis of the interlocking. Condition surveys and development of pcis for interlocking concrete pavements rely on astm e2840 standard practice for pavement condition index surveys for interlocking concrete roads and parking lots. Solid state interlocking how is solid state interlocking. Solid state interlocking ssi is the brand name of the first generation processorbased interlocking developed in the 1980s by british rail, gecgeneral signal and westinghouse signals ltd in the uk. Verification of solid state interlocking programs anton, setzer. Interlocking is a railway signal apparatus that prevents conflicting movements of trains through an arrangement of tracks such as junctions or crossings.
Verification of solid state interlocking programs revised. Please tick to consent to your data being used in line with the. A maintaining computer based and solid state interlocking equipment to. The system will enable station masters to set 800 different routes for trains in a matter of minutes. On the backside of the ti5859 youll note a small lid with a place for a module. It is for part of this phase, namely for the correct implementation of a control table in a solid state interlocking, that our paper offers support in terms of a formal method. What is the abbreviation for solid state interlocking. Many translated example sentences containing solid state interlocking frenchenglish dictionary and search engine for french translations. Indian railways installs asias largest solid state. Solid state interlocking is a datadriven signal control system designed for use. A successful approach to solid state interlocking ssi modernisation valerio raimondi smartlock 400 product manager alstom transport joffrey lauthier business development director, signalling alstom transport solid state interlocking is a british design successfully exported to the rail networks of a dozen countries. Verification of solid state interlocking programs faron, moller.
In this video you can only see the instrument used it is more use full for railway construction. The course benefits from significant practical time on a working ssi interlocking at our training centre. Nov 20, 2017 the railways has installed asias largest solid state interlocking ssi system in kharagpur, which will enable station masters to set 800 different routes for trains in a matter of minutes. The solidstate interlocking is described, with particular emphasis on the techniques used to ensure safety and reliability, its software and data structures, and. Discipline engineering standard nsw category signalling title solid state interlocking ssi reference number smp 32 ric standard. The software for such systems, for example the br solid state interlocking ssi and radio electronic token block retb systems may be considered in terms. As this verification step reduces costs for testing, invensys rail is working to include such a verification step into their design process of solid state interlockings. Pdf verification of solid state interlocking programs researchgate. What is ssi soild state interlocking and how does it works. Jul 15, 2015 ssi practice of nwr in which you can see that how does a train run on track using this instrument. The ssi solid state interlocking system being developed by br in cooperation with.
Maintain computer based and solid state interlocking systems as described in 8 and including. Mar 10, 2015 principles of railway interlocking is a huge and hard topic. The essential features of the b7stem are described in more detail by cribbens, furniss and ryland in 1918. This software program provides a data collection sheet that automatically calculates the pci for streets. Interlocking is achieved using in several methods and using various technologies starting from mechanical interlocking to the presently popular solid state interlocking. Crisp news summaries and articles on current events about solid state. Also, the ssi software will detect the routes a particular train can take and inform the station masters working at the panel, bringing down the. Software validation for a railway signalling system sciencedirect. This course is intended for staff who will be required to perform complex health checking and fault diagnosis upon the trackside data links of uk style solid state interlocking systems ssi. Software design of electronic interlocking system based on.
Ssi abbreviation stands for solid state interlocking. Solid state interlocking ssi is the brand name in trade of work of the first generation microprocessorbased interlocking developed in the 1980s by british rail, gec. Software requirements for railway signalling systems iet. The ssi system the ssi solid state interlocking system being developed by br in cooperation with gecgenera1 signal ltd. The new york city transit nyct signal modernization program has been ongoing since the mid1990s. Software programs interlocking concrete pavement institute. Latest current affairs in february, 2020 about solid state interlocking system. Railways installs asias largest interlocking system in. Verification of solid state interlocking programs springerlink.
Solid state interlocking ssi is the brand name in trade of work of the first generation microprocessorbased interlocking developed in the 1980s by british rail, gecgeneral signal and westinghouse signals ltd in the uk. Westlock interlocking wikimili, the free encyclopedia. Solid state interlocking ssi was one of the first microprocessor based system, designed for use in railway signaling installations to compute and execute the signaling interlocking functions. Apr 29, 2019 westlock interlocking is a solid state interlocking ssi product by westinghouse rail systems. Railway signalling solid state interlocking ssi railway. 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. Home browse by title proceedings revised selected papers of the sefm 20 collocated workshops on software engineering and formal methods volume 8368.
Nov 20, 2017 indian railways has installed asias largest solid state interlocking ssi system at kharagpur in west bengal. Solid state interlocking equipments and methods lack the ingredients of any computer based equipments this denying it the opportunity of taking advantage of the large scale developments that take place in the computer industry. The interlocking program contained in each of the mpms interprets this data to allow safe passage of trains through its area of control. British rails solid state interlocking is a data driven controller whose behaviour is governed by rules stored in a geographic database. Pdf verification of solid state interlocking programs. Another type of interlocking program developed in so called safety logic has been verified using the spin model checker 3. The railways has installed asias largest solid state interlocking ssi system in kharagpur, which will enable station masters to set 800 different routes for trains in a matter of. Jan 20, 2020 tagged classification of ssi computer based interlocking signalling system ebilock 950 bombardier sweden features of various ssi systems free wire programming geographical programming railway interlocking system ppt railway signalling solid state interlocking ssi rdso type ssi architecture sicas siemens siemens comp aided sigg simis.
1504 2 685 258 772 671 221 358 164 666 251 94 1453 659 734 360 711 426 957 1358 880 1097 334 41 77 652 1072 542 1434 1117 167 1440 1222 254 1376 1079 656 509 110