KaydedilenlerDerginizi ekleyin

Dergiler / 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
Sayfa
216–223
Yayın Tarihi
2013-05-01
DOI
—
🏛️Bu makalenin bibliyografik verileri ve tam metin bağlantısı DergiPark üzerinden sağlanmıştır.
DergiPark Kaydı ↗
✨

Yapay Zeka Hızlı Bakış & Çıkarımlar

AI Insight
⚡ TL;DR(1 Cümlede Hızlı Çıkarım)

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

📌 3 Maddede Bu Makale

🎯
Amaç & Hipotez:When compared with the other transportation systems, railway systems are economical, safer and more environment friendly.
📊
Temel Bulgular & Veri: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.
💡
Sonuç & Katkı:Especially, the software development process and the use of several programming techniques in determination of the software architectures are discussed.
🔬Tür:Araştırma Makalesi
📍Kapsam:Genişletilmiş Akademik Örneklem
⚙️Değişkenler:Railway signaling system · Railway interlocking system · Functional safety

Ö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.

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.

🔖

Bu Makaleye Atıf Yap

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

📄 Tam Metin PDF Okuyucu

📄

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

Kaynakça (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