Relevant bibliographies by topics / Railway interlocking system

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Railway interlocking system'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Railway interlocking system.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Railway interlocking system"

1

Nzama, Sipho, and Arnesh Telukdarie. "Digitalization of Interlocking System to Optimize Logistics in Railway Transportation." International Journal of Business Analytics 7, no. 1 (January 2020): 24–36. http://dx.doi.org/10.4018/ijban.2020010102.

Full text
Abstract:
Effective logistics management plays a crucial role in the railway industry for transporting goods and people. There is a need to improve the railway infrastructure to meet today's increasing demand for railway transportation. Digitalising the railways help improve the old dilapidated infrastructure which could cause train delays in railway logistics. Interlocking testing is a priority, requiring stringent procedures guided by rail safety regulations. Historically interlocking testing required significant protocols and effort resulting in expensive resource allocation in the form of personnel, equipment, and time. This study examines modernised technology that presents the new configuration setup and improves processes that can potentially replace traditional methods. The findings of this study prove that the use of this new technology in railways can significantly reduce the amount of time spent on this process, increase the reliability, and save on human resources.
APA, Harvard, Vancouver, ISO, and other styles
2

Lebid, Iryna, Dmitrii Shevchenko, Irina Kravchenya, Nataliia Luzhanska, Georgii Prokudin, and Myroslav Oliskevych. "Rationing of the number of signals and interlockings in the operational stock of railway stations." MATEC Web of Conferences 294 (2019): 05007. http://dx.doi.org/10.1051/matecconf/201929405007.

Full text
Abstract:
The operational stock of signals and interlockings is necessary to ensure the uninterrupted operation of the electric interlocking systems in the event of their component failure. The existing standards for the composition and number of signals and interlockings available in the operational stock of railway stations are not mathematically based. It is considered the task of justifying the number of signals and interlockings in the operational stock of railway stations, and the factors affecting its quantity are indicated. It is proposed the mathematical model for rationing the amount of equipment necessary to ensure the uninterrupted operation of station signals and interlocking systems with a specified probability. The process of using and replenishment of reserve equipment is described using the the single-channel Markov queuing system model with a limited queue. The proposed probabilistic methodology approbation for the rationing of the amount of reserve equipment was carried out at the stations of the two Belarusian Railway divisions totaling to 58 stations equipped with relay and computer-based electric interlocking. It is shown the efficiency of the calculated amount of equipment in comparison with the existing values.
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Zhi Gang. "The Risk Management of the Life Cycle of Computer-Based Interlocking System." Advanced Materials Research 926-930 (May 2014): 4053–56. http://dx.doi.org/10.4028/www.scientific.net/amr.926-930.4053.

Full text
Abstract:
Computer-based interlocking system is the product of the development of information technology, computer technology and communication technology. With the railway station personnel controlling all the signal interlocking systems around the station, computer-based interlocking system could take better control of the station and train branches. This paper introduces the development of computer-based interlocking system in China, presents its advantages and disadvantages, and gives a brief analysis of risk management of its life cycle.
APA, Harvard, Vancouver, ISO, and other styles
4

Hernando, Antonio, Roberto Maestre, and Eugenio Roanes-Lozano. "A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess." Mathematical Problems in Engineering 2018 (October 1, 2018): 1–14. http://dx.doi.org/10.1155/2018/4982974.

Full text
Abstract:
The safety of railway networks is a very important issue. Roughly speaking, it can be split into safety along lines and safety of railway facilities such as stations, junctions, yards, etc. In modern networks the safety along lines is controlled by automatic block systems that do not give clearance to trains to enter a section (block) until the latter is detected to be unoccupied. Meanwhile, the safety within railway facilities is supervised by railway interlocking systems. Decision making in a railway interlocking is a very important issue which is considered to be very labour-intensive. Decision-making in both automatic block systems and railway interlocking systems, unlike road traffic light systems, is not based on time (they are not scheduling problems) but in space. Basically, two different trains should never be allowed to access the same section (whatever time has passed). There are many different approaches to automate decision-making in railway interlocking systems. The classic approaches are offline: only certain routes are allowed and their compatibility is decided in advance. Meanwhile, modern approaches make decisions in real time and are independent from the topology of the railway network, but can be applied only to small or medium size railway networks. Nevertheless, these last approaches have the following drawbacks: the performances are very dependent on the number of trains in the railway network; and are unsuitable to large networks since they take long time to be run. On the other hand, algebraic approaches based on computer algebra concepts have been used in artificial intelligence for implementing expert systems. In this paper we present a completely new algebraic model, based on these concepts of computer algebra that overcomes these drawbacks: the performance of our approach is independent of the number of trains in the railway network and also is suitable for large railway networks.
APA, Harvard, Vancouver, ISO, and other styles
5

Wang, Hai Qun, and Wen Jun Xue. "Development and Application of the Railway Transportation Management Information System." Applied Mechanics and Materials 385-386 (August 2013): 1848–51. http://dx.doi.org/10.4028/www.scientific.net/amm.385-386.1848.

Full text
Abstract:
The railway transportation management information system regards the control and management of metallurgical enterprise railway transportation as the object, integrates railway signaling computer interlocking, railway transportation dispatching jobs plan, railway logistics tracking management information and other systems, applys the advanced technology of railway transportation informatization management system, to realize remote control of railway signaling in plant, train management, current car management, locomotive management, statistics management, etc. The system realizes the centralized management and control of railway transportation, meets the requirements of production organization and improve the transportation efficiency.
APA, Harvard, Vancouver, ISO, and other styles
6

Martin Nicolas, Menendez, Larosa Facundo Santiago, Ghignone Ramiro Adrian, Alvarez Nicolas, and Lutenberg Ariel. "FPGA implementation of a critical railway interlocking system." IEEE Latin America Transactions 18, no. 02 (February 2019): 288–94. http://dx.doi.org/10.1109/tla.2019.9082240.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Martin Nicolas, Menendez, Larosa Facundo Santiago, Ghignone Ramiro Adrian, Alvarez Nicolas, and Lutenberg Ariel. "FPGA implementation of a critical railway interlocking system." IEEE Latin America Transactions 18, no. 02 (February 2020): 288–94. http://dx.doi.org/10.1109/tla.2020.9085282.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Akita, Katsuji, Toshikatsu Watanabe, Hideo Nakamura, and Ikumasa Okumura. "Computerized Interlocking System for Railway Signaling Control: SMILE." IEEE Transactions on Industry Applications IA-21, no. 3 (May 1985): 826–34. http://dx.doi.org/10.1109/tia.1985.349503.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Haifeng, Tianhua Xu, and Tangming Yuan. "Novel Online Safety Observer for Railway Interlocking System." Journal of Transportation Engineering 139, no. 7 (July 2013): 719–27. http://dx.doi.org/10.1061/(asce)te.1943-5436.0000554.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

He, Tao, and Jian Xin Ren. "Research of RAM on the All-Electronic Computer Interlocking System." Applied Mechanics and Materials 511-512 (February 2014): 719–26. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.719.

Full text
Abstract:
High levels of reliability and high security are the basic characteristics and requirements of railway signal systems. So, reliability, availability and maintainability (RAM) are necessarily analyzed before the computer interlocking system will be adopted. The All-electronic Computer Interlocking System, which is a new kind of interlocking system, still needs to analyze its RAM before being put to use. In this paper, the reliability methods and Markov model are adopted to analyze the RAM indexes of the All-electronic Computer Interlocking System when its execution layer equipped with the single configuration or the dual-redundant configuration, the paper also compares the indexes with that of the traditional computer-based interlocking system. Finally, the paper will briefly include suggestions on how the All-electronic Computer Interlocking System’s RAM indexes may be increased and also, how the system may be used practically.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Railway interlocking system"

1

Sun, Pengfei. "Ingénierie de modèle pour la sécurité des systèmes critiques ferroviaires." Thesis, Ecole centrale de Lille, 2015. http://www.theses.fr/2015ECLI0018/document.

Full text
Abstract:
Le développement et l’application des langages formels sont un défi à long terme pour la science informatique. Un enjeu particulier est l’acceptation par l’industrie. Cette thèse présente une approche pour la modélisation et la vérification des postes d’aiguillage français. La première question est la modélisation du système d’enclenchement par les réseaux de Petri colorés (RdPC). Un cadre de modélisation générique et compact est introduit, dans lequel les règles d’enclenchement sont modélisées dans une structure hiérarchique, tandis que les installations sont modélisées dans une perspective géographique. Ensuite, un patron de modèle est présenté. C’est un modèle paramétré qui intègre les règles nationales françaises qui peut être appliquée pour différentes gares. Puis, un concept basé sur l’événement est présenté dans le processus de modélisation des parties basses des postes d’aiguillage. La deuxième question est la transformation des RdPCs en machines B, qui va aider les concepteurs sur la route de l’analyse à application. Tout d’abord, une méthodologie détaillée, s’appuyant sur une table de correspondance, du RdPCs non-hiérarchiques vers les notations B est présentée. Ensuite, la hiérarchie et la priorité des transitions du RdPC sont successivement intégrées dans le processus de mapping, afin d’enrichir les possibilités de types de modèles en entrées de la transformation. Les machines B produites par la transformation permettent la preuve automatique intégrale par l’Atelier B. L’ensemble de ces travaux, chacun à leur niveau, contribuent à renforcer l’efficacité d’un cadre global d’analyse sécuritaire
Development and application of formal languages are a long-standing challenge within the computer science domain. One particular challenge is the acceptance of industry. This thesis presents some model-based methodologies for modelling and verification of the French railway interlocking systems (RIS). The first issue is the modellization of interlocking system by coloured Petri nets (CPNs). A generic and compact modelling framework is introduced, in which the interlocking rules are modelled in a hierarchical structure while the railway layout is modelled in a geographical perspective. Then, a modelling pattern is presented, which is a parameterized model respecting the French national rules. It is a reusable solution that can be applied in different stations. Then, an event-based concept is brought into the modelling process of low-level part of RIS to better describe internal interactions of relay-based logic. The second issue is the transformation of coloured Petri nets into B machines, which can help designers on the way from analysis to implementation. Firstly, a detailed mapping methodology from non-hierarchical CPNs to abstract B machine notations is presented. Then the hierarchy and the transition priority of CPNs are successively integrated into the mapping process, in order to enrich the adaptability of the transformation. This transformation is compatible with various types of colour sets and the transformed B machines can be automatically proved by Atelier B. All these works at different levels contribute towards a global safe analysis framework
APA, Harvard, Vancouver, ISO, and other styles
2

Niedecken, Timon. "Optimized maintenance budget planning for DB Cargo locomotives." Thesis, KTH, Spårfordon, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-299366.

Full text
Abstract:
In a regional railway signalling system, object controllers are the devices responsible for controlling Track Side Equipment and act as interfaces for TSE with the interlocking computer and the Traffic control system. However, associated cabling (signal and power cabling) and civil works pose a major capital investment and it is a source of significant Capital and Operational expenses, particularly in rural areas, where accessibility andconnectivity to power grid and to the interlocking are a problem. Furthermore, cables/signalling equipment are exposed to sabotage and theft in such areas. This can increase the total Life Cycle Cost even further. The Shift2Rail research programme, which was initiated by the European Union and railway stakeholders, tries to address this issue, and revamp the Object Controller concept through the project “TD2.10 Smart radio connectedwayside object controller”, where the aim is to develop a Smart Wayside Object Controller (SWOC). A SWOC is capable of wireless communication between central interlocking and TSE as well as decentralization of interlocking logic. These innovations can reduce the cabling required, increase the availability of diagnostic data, thus reducing maintenance and operational costs and can lead to power saving by utilizing local power sources. The most important impact of the SWOC is a significant reduction of CAPEX, OPEX and of total LCC for an installation utilizing SWOCs, instead of typical OCS.  This work focuses on estimating the LCC of a SWOC system and to compare it with a conventional OCS by developing an LCC model that covers both cases, as well as to use this model to examine when it is more profitable to implement a SWOC, instead of an OCS system. This is done by utilizing LCC analysis and combining a variety of methods in a parametric study. To that extend, a thorough analysis of a modern regional railway signallingsystem, as well as the basis for LCCA are being discussed. At the same time, both OC and SWOC systems are being described and factors affecting their cost discussed.  The methodology is comprised of the LCC modelling part as well as the collection of methods and techniques used to calculate the LCC of OC/SWOC systems and to estimate the costs of different sub-models and parameters of the process. For the modelling process, the station of Björbo was chosen, which operates under ERTMS-R system, but for the sake of the analysis it is assumed that the typical base system in place is an OCS and together withthe existing track layout and equipment it is used as the basis of the analysis. Finally, the formed LCC model is being used in a parametric study to examine how the LCC is affected by using OC or SWOC as well as how LCC responds to changes in parameters such as number of OC/SWOC, traffic density and local power installation cost for the Björbo station.
I ett regionalt järnvägssignalsystem är utdelar de enheter som ansvarar för att kontrollera spårutrustning och fungerar de som gränsyta för spårutrustning med ställverksdatorn och tågtrafikledning systemet. Dock, tillhörande kablar (signalkablar ock kraftkablar), samt anläggningsinfrastruktur utgör en stor kapitalinvestering och de är en källa till märkbar kapitalkostnad och driftskostnader, särskilt på landsbygdsområden, där tillgänglighet och anslutning till elnätet och ställverket är problematisk. Dessutom, kablar och signalutrustning utsätts för stöld och sabotage i sådana områden. Detta kan öka den totala livscykelkostnaden ytterligare. Shift2rail forskningsprogram, som genomförs av EU och järnvägsintressenter, försöker att ta itu med problemet och modernisera utdelar konceptet genom projektet “TD2.10 Smart Radio Connected Wayside Object Controller”, där målet är att utveckla en Smart Spårutrustning Utdelar, så kallade SWOC. En SWOC har kapacitet för trådlös kommunikation mellan central ställverket och spårutrustning, samt decentralisering av satällverkslogiken. Dessa innovationer kan minska nödvändig kabeldragning, öka tillgängligheten av diagnostiska data, vilket minskar underhålls- och driftskostnader och kan leda till energibesparing genom att använda lokala kraftkällor. Den viktigaste effekten av SWOC är en betydande minskning av kapitalkostnader, driftskostnader och totala livscykelkostnaden för en installation som använder SWOC istället för typiska utdelningsystemet. Detta examensarbete fokuserar på att uppskatta LCC för ett SWOC-system och jämföra det med en konventionell utdelingsystem genom att utveckla en LCC-modell som täcker båda fallen, samt att använda denna modell för att undersöka när det är mer lönsamt att implementera en SWOC istället av ett typiskt utdelingsystem. Detta görs genom att använda LCC-analys och kombinera en mängd olika metoder i en parametrisk studie. För att göradetta genomförs en grundlig analys av ett modernt regionalt järnvägssignalsystem, samt grunden för livscykelanalys. Samtidigt beskrivs både ett typiskt utdelingssystem - och SWOC-system samt faktorer som påverkar deras kostnad deskuteras. Metoden består av LCC-modelleringsdelen samt insamling av metoder och tekniker som används för att beräkna LCC för OC / SWOC-system och för att uppskatta kostnaderna för olika delmodeller och parametrar för processen. För modelleringsprocessen valdes stationen i Björbo, som arbetar under ERTMS-R-systemet, men för analysens skull antas att det typiska bassystemet på plats är en typisk OCS och tillsammans med befintlig planritning ochkabelplan är används som grund för analys. Slutligen används den bildade LCC-modellen i en parametrisk studie för att undersöka hur LCC påverkas genom att använda OC eller SWOC samt hur LCC reagerar på förändringar i parametrar såsom antal OC / SWOC, trafiktäthet och lokala kraftinstallationskostnader för Björbo-stationen.
APA, Harvard, Vancouver, ISO, and other styles
3

Zarov, Filipp. "Life Cycle Cost of Smart Wayside Object Controller." Thesis, KTH, Spårfordon, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-299368.

Full text
Abstract:
In a regional railway signalling system, object controllers are the devices responsible for controlling Track Side Equipment and act as interfaces for TSE with the interlocking computer and the Traffic control system. However, associated cabling (signal and power cabling) and civil works pose a major capital investment and it is a source of significant Capital and Operational expenses, particularly in rural areas, where accessibility andconnectivity to power grid and to the interlocking are a problem. Furthermore, cables/signalling equipment are exposed to sabotage and theft in such areas. This can increase the total Life Cycle Cost even further. The Shift2Rail research programme, which was initiated by the European Union and railway stakeholders, tries to address this issue, and revamp the Object Controller concept through the project “TD2.10 Smart radio connectedwayside object controller”, where the aim is to develop a Smart Wayside Object Controller (SWOC). A SWOC is capable of wireless communication between central interlocking and TSE as well as decentralization of interlocking logic. These innovations can reduce the cabling required, increase the availability of diagnostic data, thus reducing maintenance and operational costs and can lead to power saving by utilizing local power sources. The most important impact of the SWOC is a significant reduction of CAPEX, OPEX and of total LCC for an installation utilizing SWOCs, instead of typical OCS.  This work focuses on estimating the LCC of a SWOC system and to compare it with a conventional OCS by developing an LCC model that covers both cases, as well as to use this model to examine when it is more profitable to implement a SWOC, instead of an OCS system. This is done by utilizing LCC analysis and combining a variety of methods in a parametric study. To that extend, a thorough analysis of a modern regional railway signalling system, as well as the basis for LCCA are being discussed. At the same time, both OC and SWOC systems are being described and factors affecting their cost discussed.  The methodology is comprised of the LCC modelling part as well as the collection of methods and techniques used to calculate the LCC of OC/SWOC systems and to estimate the costs of different sub-models and parameters of the process. For the modelling process, the station of Björbo was chosen, which operates under ERTMS-R system, but for the sake of the analysis it is assumed that the typical base system in place is an OCS and together with the existing track layout and equipment it is used as the basis of the analysis. Finally, the formed LCC model is being used in a parametric study to examine how the LCC is affected by using OC or SWOC as well as how LCC responds to changes in parameters such as number of OC/SWOC, traffic density and local power installation cost for the Björbo station.
I ett regionalt järnvägssignalsystem är utdelar de enheter som ansvarar för att kontrollera spårutrustning och fungerar de som gränsyta för spårutrustning med ställverksdatorn och tågtrafikledning systemet. Dock, tillhörande kablar (signalkablar ock kraftkablar), samt anläggningsinfrastruktur utgör en stor kapitalinvestering och de är en källa till märkbar kapitalkostnad och driftskostnader, särskilt på landsbygdsområden, där tillgänglighet och anslutning till elnätet och ställverket är problematisk. Dessutom, kablar och signalutrustning utsätts för stöld och sabotage i sådana områden. Detta kan öka den totala livscykelkostnaden ytterligare. Shift2rail forskningsprogram, som genomförs av EU och järnvägsintressenter, försöker att ta itu med problemet och modernisera utdelar konceptet genom projektet “TD2.10 Smart Radio Connected Wayside Object Controller”, där målet är att utveckla en Smart Spårutrustning Utdelar, så kallade SWOC. En SWOC har kapacitet för trådlös kommunikation mellan central ställverket och spårutrustning, samt decentralisering av satällverkslogiken. Dessa innovationer kan minska nödvändig kabeldragning, öka tillgängligheten av diagnostiska data, vilket minskar underhålls- och driftskostnader och kan leda till energibesparing genom att använda lokala kraftkällor. Den viktigaste effekten av SWOC är en betydande minskning av kapitalkostnader, driftskostnader och totala livscykelkostnaden för en installation som använder SWOC istället för typiska utdelningsystemet. Detta examensarbete fokuserar på att uppskatta LCC för ett SWOC-system och jämföra det med en konventionell utdelingsystem genom att utveckla en LCC-modell som täcker båda fallen, samt att använda denna modell för att undersöka när det är mer lönsamt att implementera en SWOC istället av ett typiskt utdelingsystem. Detta görs genom att använda LCC-analys och kombinera en mängd olika metoder i en parametrisk studie. För att göradetta genomförs en grundlig analys av ett modernt regionalt järnvägssignalsystem, samt grunden för livscykelanalys. Samtidigt beskrivs både ett typiskt utdelingssystem - och SWOC-system samt faktorer som påverkar deras kostnad deskuteras. Metoden består av LCC-modelleringsdelen samt insamling av metoder och tekniker som används för att beräkna LCC för OC / SWOC-system och för att uppskatta kostnaderna för olika delmodeller och parametrar för processen. För modelleringsprocessen valdes stationen i Björbo, som arbetar under ERTMS-R-systemet, men för analysens skull antas att det typiska bassystemet på plats är en typisk OCS och tillsammans med befintlig planritning ochkabelplan är används som grund för analys. Slutligen används den bildade LCC-modellen i en parametrisk studie för att undersöka hur LCC påverkas genom att använda OC eller SWOC samt hur LCC reagerar på förändringar i parametrar såsom antal OC / SWOC, trafiktäthet och lokala kraftinstallationskostnader för Björbo-stationen.
APA, Harvard, Vancouver, ISO, and other styles
4

Pedral, Jacques, and Josef Abriren. "Analys av lågspänningsfördelning till signalanläggningar." Thesis, KTH, Data- och elektroteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192837.

Full text
Abstract:
I denna rapport utreds hur systemdesignen av lågspänningsfördelningen för järnvägen kan kostnadseffektiviseras. I dagsläget har det utarbetats en norm kring systemdesignen som tenderar att efterbildas från år till år vilket har medfört brist på innovation inom området. Syftet med arbetet var att designa två typstationer med signalställverken M11 respektive M95, där placering samt nominell storlek av UPS:er skulle fastställas för att tillhandahålla en kostnadseffektiv lösning. Dessutom skulle kablage dimensioneras för typstationerna samt se över möjligheten att ersätta UPS:er med likriktarsystem. Stationerna baserades på två redan existerande driftplatser, Fagersta C (M11) och Skänninge (M95). Slutligen skulle olika energilagringsalternativ för UPS-system jämföras för att tillhandahålla det lämpligaste alternativet. Genom simuleringar och beräkningar i bland annat datorprogrammet El-Vis har lågspänningsfördelningen dimensionerats för typstationerna. Arbetet visar på att ett distribuerat UPS-system är att föredra ur ett ekonomiskt perspektiv gentemot ett centraliserat UPS-system. Vidare har det konstaterats att likriktarsystemet Rectiverter kan ersätta UPS:er samt att ackumulatorer är det mest passande energilagringsalternativet.
This report identifies how the system design of low voltage power distribution of the railway can be more cost effective. In the current situation there is a norm on the system design that tends to be replicated each year. This has brought a lack of innovation in the field. The purpose of the thesis was to come up with two model stations with the interlocking system M11 respectively M95, where the positioning and nominal size of the UPS:s would be determined to provide a cost effective solution. Furthermore, the cable dimensioning of the model stations was computed as well as the possibility of replacing UPS-systems with rectifier-systems. The model stations were based on two already existing operating sites, Fagersta C (M11) and Skänninge (M95). Lastly, different energy storage alternatives for UPS-systems were compared to acquire the most appropriate choice. Through simulations and calculations in, inter alia, the computer program El-Vis, the low voltage power distribution was dimensioned for the model stations. The thesis shows that a distributed UPS-system is preferred in an economical point of view compared to a centralized UPS-system. Furthermore, the thesis establishes that the rectifier system Rectiverter can replace UPS:s. It also states that accumulators are the most suitable alternative for energy storage.
APA, Harvard, Vancouver, ISO, and other styles
5

Kanso, Karim. "Agda as a platform for the development of verified railway interlocking systems." Thesis, Swansea University, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hon, Yuen Man [Verfasser], and Jörn [Akademischer Betreuer] Pachl. "An Engineering-Oriented Formal Framework for Railway Interlocking Systems Requirements Specifications / Yuen Man Hon ; Betreuer: Jörn Pachl." Braunschweig : Technische Universität Braunschweig, 2009. http://d-nb.info/1175829838/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

BRAGA, Reginaldo Isaias. "Um Controlador de Tráfego Ferroviário Adaptável Simulado com Máquinas de Estado Finitas." Universidade Federal do Maranhão, 2004. http://tedebc.ufma.br:8080/jspui/handle/tede/357.

Full text
Abstract:
Made available in DSpace on 2016-08-17T14:52:53Z (GMT). No. of bitstreams: 1 Reginaldo Isaias Braga.pdf: 1510667 bytes, checksum: 681b1cdce694568db4239625f302fc05 (MD5) Previous issue date: 2004-07-02
This thesis deals with implementation of a railway control interlocking simulator whose functional requirements can be adaptive, that is, modified, complemented or same redefined, through an approach based on Finite State Machines. Depending on its requirements, a controller of rail traffic can assume simple or critics characteristics in terms of safety or fault tolerance. The modeling based on the Finite State Machine approach provides the conditions for the adaptability of some functional requirements. This characteristic is emphasized better when we used automated tools of definition of state machines, which allow the easy integration with the remaining of the software application. A detailed discussion about safety's considerations in design of mission and safety critical systems is presented. Emphasis is given in the subjects related to the safety software. A methodology and tool (SpecTRM-RL) that implements it, derived of recent researches in safety software, is shown. These considerations are fundamental in the design and requirements analysis in railway s interlocking control systems. These kinds of systems can be classified as mission and safety critical and they are progressively migrating for relay based controllers to microprocessor-based controllers where in the whole or partly safety's requirements are implemented by software. Fault tolerance techniques either in software or hardware are fundamental in the context of this work. A selection of the most usual in systems that demand high reliability was detailed with the goal of emphasizing its potential application in the case study of a railway control-interlocking simulator.
Este trabalho trata da implementação de um simulador de controle de tráfego ferroviário cujos requisitos funcionais possam ser adaptáveis, isto é, modificados, complementados ou mesmo redefinidos, através de uma abordagem baseada em máquinas de estado finitas. Dependendo de seus requisitos, um controlador de tráfego ferroviário pode assumir características simples ou críticas em termos de segurança ou tolerância a falhas. A modelagem baseada na abordagem de máquinas de estado provê as condições para a adaptabilidade de alguns requisitos funcionais. Esta característica é melhor enfatizada quando usamos ferramentas automatizadas de definição de máquinas de estado, que permitem a fácil integração com o restante da aplicação. É apresentada uma discussão detalhada sobre as considerações de segurança que devem ser seguidas em um projeto de missão e segurança crítica, onde é dada ênfase nas questões relacionadas à segurança do software. Uma metodologia e ferramenta (SpecTRM-RL) que a implementa, derivada de pesquisas recentes em software de segurança é mostrada. Estas considerações desempenham um papel fundamental no projeto e análise de requisitos em sistemas de controle metroferroviários. Por serem estes classificados como de missão e segurança críticas e principalmente por estarem migrando gradativamente de dispositivos com lógica de controle baseada em relês para controladores microprocessados onde no todo ou em parte os requisitos de segurança são implementados por software. Também de fundamental importância no contexto deste trabalho são as técnicas de tolerância a falha tanto em hardware como em software. Uma seleção das mais usuais em sistemas que demandam elevada confiabilidade foi detalhada com objetivo de enfatizar a aplicabilidade no estudo de caso de um simulador de intertravamento ferroviário.
APA, Harvard, Vancouver, ISO, and other styles
8

De, Almeida Pereira Dalay Israel. "Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais." Thesis, Ecole centrale de Lille, 2020. http://www.theses.fr/2020ECLI0009.

Full text
Abstract:
Les Systèmes d'Enclenchement Ferroviaire (SEF) basés sur des relais sont des systèmes critiques, ils doivent être spécifiés et leur sécurité doit être prouvée afin de garantir l'absence de dangers lors de leurs exécutions. Toutefois, il s'agit d'une tâche difficile, car les SEF à relais ne sont généralement modélisés que de manière structurelle, de sorte que leur analyse comportementale est effectuée manuellement sur la base des connaissances des experts sur le système. Cependant, l'existence d'une description formelle du comportement des SEF est impérative pour pouvoir effectuer des preuves de sécurité. En outre, comme les SEF informatisés ont tendance à être moins chers, plus faciles à entretenir et à faire évoluer, le secteur ferroviaire a intérêt à ce qu'il existe une méthodologie pour transformer des SEF à relais existants en SEF informatisés.Les méthodologies formelles de spécification sont fondées sur des bases mathématiques solides qui permettent de prouver la sécurité des systèmes. En outre, de nombreux langages de spécification formelle prennent en charge non seulement la vérification, mais aussi la mise en œuvre de ces systèmes par un processus de développement formalisé. Ainsi, les méthodes formelles peuvent être la clé pour prouver la sécurité des SEF et les mettre en œuvre en utilisant des technologies informatiques.Cette thèse aborde deux propositions principales. Premièrement, elle présente une analyse des informations des diagrammes à relais et de la formalisation de la structure et du comportement des SEF basés sur des expressions mathématiques afin de créer un certain niveau de formalisation des systèmes. Le modèle résultant peut être étendu et adapté afin de se conformer à différents contextes ferroviaires et il peut aussi être utilisé afin de soutenir la spécification de ces systèmes dans différents langages de spécification formels. Ensuite, cette thèse présente comment le modèle formel des SEF peut être adapté afin de spécifier formellement ces systèmes selon la méthode B, un langage de spécification formel qui a déjà été utilisé avec succès dans le domaine ferroviaire et qui permet de prouver la sécurité du système et de le mettre en œuvre en tant que système informatique.En définitive, cette thèse présente une méthodologie complète pour la spécification et la vérification des Systèmes d'Enclenchement Ferroviaire basés sur des relais, en fournissant un support pour la preuve des systèmes dans différents contextes et pour leur spécification et leur mise en œuvre dans de nombreux langages formels différents
Relay-based Railway Interlocking Systems (RIS) are critical systems and must be specified and safety proved in order to guarantee the absence of hazards during their execution. However, this is a challenging task, since Relay-based RIS are generally only structurally modelled in a way that their behavioural analysis are made manually based on the experts knowledge about the system. Thus, the existence of a RIS behavioural formal description is imperative in order to be able to perform safety proofs. Furthermore, as Computer-based RIS tend to be less expensive, more maintainable and extendable, the industry has interest in the existence of a methodology for transforming the existing Relay-based RIS into Computer-based RIS.Formal specification methodologies are grounded in strong mathematical foundations that allow the systems safety proof. Besides, many formal specification languages support not only the verification, but also the implementation of these systems through a formal development process. Thus, Formal Methods may be the key in order to prove the RIS safety and implement them with computer-based technologies.This thesis addresses two main propositions. Firstly, it presents an analysis of the relay diagrams information and a formalisation of the Relay-based RIS structure and behaviour based on mathematical expressions as a way to create a certain level of formalisation of the systems. The resulting model can be extended and adapted in order to conform to different railway contexts and it can be used in order to support the specification of these systems in different formal specification languages. Then, this thesis presents how the RIS formal model can be adapted in order to formally specify these systems in B-method, a formal specification language with a successful history in the railway field and which allows the system safety proof and implementation as computer-based systems.As a result, this thesis presents a complete methodology for the specification and verification of Relay-based Railway Interlocking Systems, giving support for the systems safety proof in different contexts and for their specification and implementation in many different formal languages
APA, Harvard, Vancouver, ISO, and other styles
9

Hsiao, Cheng-Wei, and 蕭正偉. "Computer Assisted Railway Interlocking System for Taiwan Railways." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/24335037374656199002.

Full text
Abstract:
碩士
國立宜蘭大學
電機資訊學院碩士在職專班
100
Abstract This project is to propose a complete of Railway Signal Relay Interlocking System supports Intelligent Remote Monitoring System. To improve the line relay complex chain of signaling system can not do precision control. Difficult to repair and the fault can not communicate with the computer. Data can not be interpreted through the analysis of storage and to improve system reliability and stability issues, etc. Therefore, How to create intelligent remote monitoring system？Thought has become a major issue.In addition to establishing warning systems to support real-time fault and reduce the workload of maintenance personnel. The system needs to ready：(1) Signal equipment operation record.(2) Electrical life span of the equipment and advise.(3) Analysis of the exception information record. Through the data analysis to reduce the amount of materials and parts inventory.,Reduce the cost of preparation. Through the development of the system can form a complete SCADA system. Several important goals and then achieve the following： (1) Design software and hardware to achieve modular and easy to maintain mining. (2) Enhance the Railway Signal Relay Interlocking System, the reliability and stability. (3) Signaling system to shorten repair time, reduce the time the train delays. (4) Reduce maintenance costs and preparation costs, improve efficiency. Finally, Intelligent remote monitoring system throughout the preliminary design is completed. The second phase of this project will is an example Jiaosi station. Intelligent remote monitoring system will import the Railway Signal Relay Interlockyng System. Finally, statistical analysis methods. To verify the correctness of this project and feasibility of the proposed method. And will increase train punctuality rate and lower equipment failure rates. Key words： SCADA、Interlocking System、Modular、monitoring system
APA, Harvard, Vancouver, ISO, and other styles
10

Chou, Chih-Jen, and 周志仁. "Development of railway safety semaphore electronic interlocking system-for example between Station Taitung and Zhiben." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/uvw7ju.

Full text
Abstract:
碩士
國立宜蘭大學
電機資訊學院碩士在職專班
103
Abstract This study presents an electronic interlock safety aid system design programs to improve and enhance the safety, reliability and stability of the railway signal interlocking system. The existing relay interlocking system semaphore line can not to precision control and maintain, data can not be stored and interpretation analysis, and railway transport system to security is paramount. Therefore, how to combine all of the existing railway station relay interlocking semaphore system, the addition of an electronic interlocking safety system, became an important issue in this article. The system needs to have: (1) Signal equipment operation record. (2) Records of the abnormal information and analysis, through analysis of materials and parts to reduce inventory levels, reduce costs and reduce construction costs preparation reduce testing time of construction. (3) Instant fault alarm system to support maintenance personnel and reduce workload. (4) The age of the equipment, electrical life estimation and alarms. Using Petri Nets based design method, developed above subsystems to complete an "electronic interlocking safety support system" to achieve several important goals: (1) To enhance the security, the reliability and stability of the original interlock semaphore system. (2) To introduce modular ways for software and hardware design, to facilitate future maintenance. (3) To shorten the semaphore system repair, testing process, improve service punctuality of trains. (4) To reduce maintenance time and preparation of construction costs and improve construction efficiency. Once the entire "electronic interlocking safety support system" development is complete, this study will reveal to Station Taitung and Zhiben to the subject, introducing the semaphore station electronic interlocking system to verify that the system can achieve these goals. Finally, demonstrate the performance of the new system with existing systems for cross-comparison analysis and verify the correctness and feasibility of the proposed method. This study can significantly improve the efficiency of train punctuality rate and reduce equipment failure rates. Keywords: electronic interlocking system, Petri Nets, modular design
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Railway interlocking system"

1

Luo, Juan, Shaoying Liu, Yanqin Wang, and Tingliang Zhou. "Applying SOFL to a Railway Interlocking System in Industry." In Structured Object-Oriented Formal Language and Method, 160–77. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57708-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Scippacercola, Fabio, Roberto Pietrantuono, Stefano Russo, and András Zentai. "Model-in-the-Loop Testing of a Railway Interlocking System." In Communications in Computer and Information Science, 375–89. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27869-8_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rástočný, Karol, Aleš Janota, and Jiří Zahradník. "The Use of UML for Development of a Railway Interlocking System." In Integration of Software Specification Techniques for Applications in Engineering, 174–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27863-4_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Laursen, Per Lange, Van Anh Thi Trinh, and Anne E. Haxthausen. "Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL." In Lecture Notes in Computer Science, 415–33. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61467-6_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Buth, Bettina, and Mike Schrönen. "Model-checking the architectural design of a fail-safe communication system for railway interlocking systems." In FM’99 — Formal Methods, 1869. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48118-4_60.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Peleska, Jan, Wen-ling Huang, and Felix Hübner. "A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers." In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 32–49. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33951-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Amendola, Arturo, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, and Matteo Tessi. "A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System." In Lecture Notes in Computer Science, 240–54. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61467-6_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cimatti, Alessandro, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, and Paolo Traverso. "Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System." In Computer Safety, Reliability and Security, 284–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49646-7_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

de Almeida Pereira, Dalay Israel, David Deharbe, Matthieu Perin, and Philippe Bon. "B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution." In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 242–58. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-18744-6_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

de Almeida Pereira, Dalay Israel, Sana Debbech, Matthieu Perin, Philippe Bon, and Simon Collart-Dutilleul. "Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model." In Conceptual Modeling, 338–51. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-33223-5_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Railway interlocking system"

1

Zhang, Lidong. "Railway Signal Interlocking Logic Simulation System." In the 2nd International Conference. New York, New York, USA: ACM Press, 2019. http://dx.doi.org/10.1145/3341016.3341017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Xu, Xiaohui. "Study on Railway Signal Computer Interlocking System." In 2015 International Conference on Management, Education, Information and Control. Paris, France: Atlantis Press, 2015. http://dx.doi.org/10.2991/meici-15.2015.89.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bayley, C. "Modelling interlocking systems with UML." In IEE Seminar on Railway System Modelling-Not Just for Fun. IEE, 2004. http://dx.doi.org/10.1049/ic:20040512.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dobias, Radek, Jan Konarski, and Hana Kubatova. "Dependability Evaluation of Real Railway Interlocking Device." In 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. IEEE, 2008. http://dx.doi.org/10.1109/dsd.2008.122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"Model-Driven Engineering of a Railway Interlocking System." In 3rd International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005244805090519.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Huang, Lujiang. "The Past, Present and Future of Railway Interlocking System." In 2020 IEEE 5th International Conference on Intelligent Transportation Engineering (ICITE). IEEE, 2020. http://dx.doi.org/10.1109/icite50838.2020.9231438.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Hai-feng, and Wei Li. "Component-Based Safety Computer of Railway Signal Interlocking System." In 2008 ISECS International Colloquium on Computing, Communication, Control, and Management. IEEE, 2008. http://dx.doi.org/10.1109/cccm.2008.269.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sun, Pengfei, Simon Collart-dutilleul, and Philippe Bon. "A model pattern of railway interlocking system by Petri nets." In 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS). IEEE, 2015. http://dx.doi.org/10.1109/mtits.2015.7223292.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Khan, Sher Afzal, and Nazir A. Zafar. "Towards the formalization of railway interlocking system using Z-notations." In 2009 2nd International Conference on Computer, Control and Communication (IC$). IEEE, 2009. http://dx.doi.org/10.1109/ic4.2009.4909202.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

KEMING, WANG, WANG ZHENG, and ZHANG CHUANDONG. "FORMAL MODELING AND DATA VALIDATION OF GENERAL RAILWAY INTERLOCKING SYSTEM." In COMPRAIL 2018. Southampton UK: WIT Press, 2018. http://dx.doi.org/10.2495/cr180471.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Railway interlocking system' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography