SavedAdd your journal

Journals / Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi / 2013 / Cilt: 19 - Sayı: 5

The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project

Mustafa Seçkin Durmuş
Uğur Yıldırım
Mehmet Turan Söylemez
Pages
216–223
Publication Date
2013-05-01
DOI
—
🏛️Bibliographic metadata and full text access for this article are provided via DergiPark.
DergiPark Record ↗
✨

AI Summary & Key Takeaways

AI Insight
⚡ TL;DR(Too Long; Didn't Read)

Especially, the software development process and the use of several programming techniques in determination of the software architectures are discussed.

📌 3 Key Takeaways

🎯
Objective & Hypothesis:When compared with the other transportation systems, railway systems are economical, safer and more environment friendly.
📊
Key Findings & Data:One of the main reasons that make a signaling system critical and hard to develop is to satisfy the recommendations of related functional safety standards such as EN 50128 and EN 61508-3.
💡
Conclusion & Impact:Especially, the software development process and the use of several programming techniques in determination of the software architectures are discussed.
🔬Design:Research Article
📍Scope:Comprehensive Sample
⚙️Variables:Railway signaling system · Railway interlocking system · Functional safety

Abstract

When compared with the other transportation systems, railway systems are economical, safer and more environment friendly. Despite all these features, investments on railways in Turkey remained quite restricted in comparison to other European countries. The initial construction costs of railways are high and developing its signaling system also requires a lot of attention. Signaling system is the vital part of a railway system which ensures safe travel and transportation on railways. One of the main reasons that make a signaling system critical and hard to develop is to satisfy the recommendations of related functional safety standards such as EN 50128 and EN 61508-3. In this study, functional safety requirements used in railway signaling systems are stated and the use of recommended methods in the Turkish National Railway Signaling Project (TNRSP) are explained. Especially, the software development process and the use of several programming techniques in determination of the software architectures are discussed.

Özet

When compared with the other transportation systems, railway systems are economical, safer and more environment friendly. Despite all these features, investments on railways in Turkey remained quite restricted in comparison to other European countries. The initial construction costs of railways are high and developing its signaling system also requires a lot of attention. Signaling system is the vital part of a railway system which ensures safe travel and transportation on railways. One of the main reasons that make a signaling system critical and hard to develop is to satisfy the recommendations of related functional safety standards such as EN 50128 and EN 61508-3. In this study, functional safety requirements used in railway signaling systems are stated and the use of recommended methods in the Turkish National Railway Signaling Project (TNRSP) are explained. Especially, the software development process and the use of several programming techniques in determination of the software architectures are discussed.

🔖

Cite This Article

Durmuş, M. S., Yıldırım, U., Söylemez, M. T. (2013). The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project. Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi, Cilt: 19 - Sayı: 5, 216–223. https://ajindex.com/articles/42776

📄 Full Text PDF Viewer

📄

PDF görüntüleyici hazırlanıyor...

References (15)

  1. URL: www.ecopassenger.org. (Reached on: 08.03.2013). [2] URL: http://www.medicine.ox.ac.uk/bandolier/booth/Risk/tr ansporttrav.html. (Reached on: 08.03.2013).
  2. Hall, S., Modern Signalling Handbook, Ian Allan Publishing, England, 2001.
  3. Kuepper, G.J., “150 years of train-disasters - practical approaches for emergency responders”, 9-1-1
  4. Magazine, September/October, 30-33, 1999.
  5. Akita, K., Watanabe, T., Nakamura, H., and Okumura, I., “Computerized Interlocking System for Railway Signalling Control: SMILE”, IEEE Transactions on Industry Applications, Vol. IA-21-4, 826-834, 1985.
  6. Petersen, J.L., “Automatic Verification of Railway Interlocking Systems: A Case Study”, Proc. of the 2nd Workshop on Formal Methods in Software Practice, 1998, 1-6.
  7. Kantz, H. and Koza C., “The ELEKTRA Railway Signalling- System: Field Experience with an Actively Replicated System with Diversity”, Proc. of the 25th International Symposium on Fault-Tolerant Computing, 1995, 453-458.
  8. Rao, V.P. and Venkatachalam, P.A., “Microprocessor-Based Railway Interlocking Control with Low Accident Probability”, IEEE Trans. on Vehicular Technology, Vol. VT- 353, 141-147, 1987.
  9. Hartonas-Garmhausen, V., Campos, S., Cimatti, A., Clarke, E. and Giunchiglia, F., “Verification of a Safety-Critical Railway Interlocking System with Real-time Constraints”, Science of Computer Programming, Vol. 36, 2000, 53-64.
  10. Nakamatsu, K., Kiuchi, Y., Chen, W.Y. and Chung, S.L., “Intelligent Railway Interlocking Safety Verification Based on Annotated Logic Program and its Simulator”, Proc. of the IEEE Int. Conf. on Networking, Sensing&Control, 694- 700, 2004.
  11. Dipoppa, G., D’Alessandro, G., Semprini, R. and Tronci, E., “Integrating Requirements in Railway Interlocking System Design”, Proc. of 6th IEEE Int. Symp. on High Assurance Systems Engineering, 209-219, 2001.
  12. Verification of Safety Roanes-Lozano, E., Roanes-Macias, E. and Laita, L.M., “Railway Interlocking Systems and Gröbner bases”, Mathematics and Computers in Simulation, 51, 473-481, 2000.
  13. She, X., Sha, Y., Chen, Q. and Yang, J., “The Application of Graph Theory on Railway Yard Interlocking Control System”, Proc. of the IEEE Intelligent Vehicles Symposium, 883-888, 2007.
  14. Banci, M., Fantechi, A. and Ginesi, S., “The Role of Formal Methods in Developing a Distributed Railway Interlocking System”, Proc. of the 5th Symp. on Formal Methods for Automation and Safety in Railway and Automotive Systems, 220-230, 2004.
  15. Banci, M., Fantechi, A. and Ginesi, S., “Some Experiences on