Skip to main content
SpringerLink
Log in
Book cover

Analysis and Simulation of Electrical and Computer Systems pp 377–393Cite as

The Reliability of Critical Systems in Railway Transport Based on the Track Rail Circuit

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 452))

Abstract

This paper presents a system for monitoring and control of unoccupied railway track of automatic railway crossing signaling devices. The most important task of this system is to ensure the safety of rail and road traffic. This solution belongs to the class of critical systems, and is particularly important not only for safety reasons to prevent the collision of railway vehicles and road wheeled, but also entails various economic aspects. The first part of the article raises issues related to the safety of rail transport process. It then discusses the possibilities of using rail circuit to determine unoccupied section of the approach and the distance of the rail vehicle from the railroad crossing. Structure and functionality of automatic railway crossing signaling devices on a level crossing were defined. The synthesis of safe measurement control digital system is based on a dynamic model using Petri net. Factors of reliability and discusses the advantages of the proposed system solutions were estimated.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Ali Nur Oz, M., Sener, I., Kaymakci, O.T., Ustoglu, I., Cansever, G.: A tool for automatic formal modeling of railway interlocking systems. In: EUROCON 2015—International Conference on Computer as a Tool (EUROCON), IEEE, pp. 1–4, 8–11 Sept 2015

    Google Scholar 

  2. Bolkowski, S.: Teoria obwodów elektrycznych. WNT, Warszawa (2012)

    Google Scholar 

  3. CENELEC EN 50128. Railway applications—communication, signaling and processing systems. Software for Railway Control and Protection Systems (2011)

    Google Scholar 

  4. David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Berlin (2005)

    MATH  Google Scholar 

  5. Dąbrowa-Bajon, M.: Podstawy sterowania ruchem kolejowym. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa (2002)

    Google Scholar 

  6. Duda, S.: Modelowanie i symulacja numeryczna oddziaływań dynamicznych w układzie napędowym elektrycznych pojazdów szynowych. Eksploatacja i Niezawodność Maintenance and Reliability 15(4), 343–348 (2013)

    Google Scholar 

  7. Guzowski, S., Michnej, M.: Influence of technological methods increasing surface layer durability on axles fretting wear in railway wheel sets. Eksploatacja i Niezawodność Maintenance and Reliability 18(1), 1–9 (2016)

    Article  Google Scholar 

  8. Hei, X., et al.: Modeling and analyzing component-based distributed railway interlocking system with Petri nets. IEEJ Trans. Ind. 129(5), 455–461 (2009)

    Article  Google Scholar 

  9. Hruz, B., Zhou, M.C.: Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and other Tool. Springer, Berlin (2007)

    MATH  Google Scholar 

  10. Jacobsen, L., Jacobsen, M., Moller, M.H., Srba, J.: Verification of timedarc Petri nets. Lect. Notes Comput. Sci. 6543, 46–72 (2011)

    Google Scholar 

  11. Jakubas, W., Zając, W.: Indukcyjne oddziaływania zakłócające pojazdów szynowych na obwody torowe. Praca zbiorowa pod redakcją A. St. Jagiełły Elektrotechnika w zastosowaniach trakcyjnych, Monografia nr 450, Politechnika Krakowska, s. s167–177 (2014)

    Google Scholar 

  12. Lebedevas, S., Dailydka, S., Jastremskas, V., Vaičiūnas, G.: Research of the rational operational load of diesel locomotives. Eksploatacja i Niezawodność Maintenance and Reliability 16(4), 545–553 (2014)

    Google Scholar 

  13. Lin, J., Asplund, M.: Comparison study of heavy haul locomotive wheels’ running surfaces wearing. Eksploatacja i Niezawodność Maintenance and Reliability 16(2), 276–287 (2014)

    Google Scholar 

  14. Mielnik, R.: Petri nets in the engineering project of measurement-control systems in critical applications. Praca zbiorowa pod redakcją A. St. Jagiełły – Elektrotechnika w zastosowaniach trakcyjnych, Monografia nr 450, Politechnika Krakowska, s. 295–308 (2014)

    Google Scholar 

  15. Mielnik, R.: Synteza sterownika urządzeń sygnalizacji przejazdowej z wykorzystaniem sieci Petriego oraz modułu Statecharts środowiska LabVIEW. Materiały konferencyjne XVI Ogólnopolskiej Konferencji Naukowej Trakcji Elektrycznej, SEMTRAK 2014, Zakopane, październik 2014, Wydaw. PiT, s. 409–418 (2014)

    Google Scholar 

  16. Płaczek, M., Buchacz, A., Wróbel, A.: Use of piezoelectric foils as tools for structural health monitoring of freight cars during exploitation. Eksploatacja i Niezawodność Maintenance and Reliability 17(3), 443–449 (2015)

    Article  Google Scholar 

  17. Qiang, W., Xin, Z., Yan, W., Naizhang, F., Yi, S., Rail defect detection based on vibration acceleration signals. In: Instrumentation and Measurement Technology Conference (I2MTC), 2013 IEEE International, pp. 1194–1199, 6–9 May 2013

    Google Scholar 

  18. Rozporządzenie Ministra Transportu i Gospodarki Morskiej z dnia 26 lutego 1996 r. w sprawie warunków technicznych, jakimi powinny odpowiadać skrzyżowania linii kolejowych z drogami publicznymi i ich usytuowanie. Dz. U. Nr 33, poz. 144

    Google Scholar 

  19. Szkoda, M.: Assessment of reliability, availability and maintainability of rail gauge change systems. Eksploatacja i Niezawodność Maintenance and Reliability 16(3), 422–432 (2014)

    Google Scholar 

  20. Szmuc, T., Szpyrka M.: Formal methods—support or scientific decoration in software development? In: Mixed Design of Integrated Circuits & Systems (MIXDES), 2015 22nd International Conference, pp. 24–31, 25–27 June 2015

    Google Scholar 

  21. Szpyrka, M.: Sieci Petriego w modelowaniu i analizie systemów współbieżnych. WNT Warszawa (2008)

    Google Scholar 

  22. Winiecki, W.: Organizacja komputerowych systemów pomiarowych. Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa (2006)

    Google Scholar 

  23. Xinhong, H., Lining, C., Weigang, M., Jinli, G., Guo, X., Automatic transformation from UML statechart to Petri nets for safety analysis and verification. In: Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE), 2011 International Conference on, pp. 948–951, 17–19 June 2011

    Google Scholar 

  24. Xiukun, W., Hai, L., Yong, Q.: Fault diagnosis of rail vehicle suspension systems aby using GLRT. In: Control and Decision Conference (CCDC), 2011 Chinese, pp. 1932–1936, 23–25 May 2011

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Electromechanical Energy Conversion, Cracow University of Technology, Cracow, Poland

    Ryszard Mielnik & Maciej Sulowicz

  2. Faculty of Electrical Engineering, Automatic Control and Computer Science, Kielce University of Technology, Kielce, Poland

    Krzysztof Ludwinek

  3. Faculty of Mechatronics and Mechanical, Kielce University of Technology, Kielce, Poland

    Marek Jaskiewicz

Authors
  1. Ryszard Mielnik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maciej Sulowicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Krzysztof Ludwinek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marek Jaskiewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ryszard Mielnik .

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering Fundamentals, Rzeszów University of Technology, Rzeszów, Poland

    Damian Mazur

  2. Department of Electrical and Computer Engineering Fundamentals, Rzeszów University of Technology, Rzeszów, Poland

    Marek Gołębiowski

  3. Department of Electrical and Computer Engineering Fundamentals, Rzeszów University of Technology, Rzeszów, Poland

    Mariusz Korkosz

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Cite this chapter

Mielnik, R., Sulowicz, M., Ludwinek, K., Jaskiewicz, M. (2018). The Reliability of Critical Systems in Railway Transport Based on the Track Rail Circuit. In: Mazur, D., Gołębiowski, M., Korkosz, M. (eds) Analysis and Simulation of Electrical and Computer Systems. Lecture Notes in Electrical Engineering, vol 452. Springer, Cham. https://doi.org/10.1007/978-3-319-63949-9_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-63949-9_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-63948-2

  • Online ISBN: 978-3-319-63949-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation