The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project
نویسندگان
چکیده
منابع مشابه
The Application of Automation Theory to Railway Signaling Systems: the Turkish National Railway Signaling Project Otomasyon Teori̇si̇ni̇n Demi̇ryolu Si̇nyali̇zasyon Si̇stemleri̇ne Uygulanmasi: Ulusal Demi̇ryolu Si̇nyali̇zasyon Projesi̇
Ö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 ...
متن کاملRapid Risk Assessment of Technical Systems in Railway Automation
The European Railway Agency (ERA) has the challenging task of establishing Common Safety Targets and Common Safety Methods throughout Europe. In this context, the harmonization of risk assessment methods is also discussed. The purpose of this paper is to present a new approach to risk assessment of technical systems in railway automation, which allows a rapid risk assessment while at the same t...
متن کاملModeling Guidelines for Code Generation in the Railway Signaling Context
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
متن کاملProposed Cdma-qam Modulation Method and Application to High-speed Rail Transmission Technology for Railway Signaling
In this paper, we propose a new modulation method combining code-division multiple access (CDMA) and quadrature amplitude modulation (QAM), called CDMAQAM. It transmits QAM symbols allocated based on a CDMA signal, and it has the benefit that QAM errors can be recovered if they are in a range where they can be absorbed by CDMA demodulation. We applied the method to railway signaling and develop...
متن کاملA Formal Verification Environment for Railway Signaling System Design
A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a mathematical way to specify and analyze the behavior of a system, together with the related support tools can successfully be applied in the formal proof that a system is safe. However, the complexity of real systems is such that automated tools ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pamukkale University Journal of Engineering Sciences
سال: 2013
ISSN: 1300-7009,2147-5881
DOI: 10.5505/pajes.2013.14633