منابع مشابه
Railway Signalling since the birth to ERTMS
Railway signalling can be defined as all systems used to control railway traffic safely, essentially to prevent trains from colliding. Over the years knoledgment and technology able to satisfy this issue have been implemented. After a long period during which each European nation used its own system (with the conseguent absence of interoperabilty among them), ERTMS/ETCS is currently the most co...
متن کاملFailure Mode and Effect Analysis of Indian Railway Signalling System
Signalling, a complex system is one of the most important infrastructures of railway service. The performance of railway signalling system depends on the functioning of a number of subsystems, such as panel, cable, relay, point and point machine, trackcircuit, signal, back indication, point-drive card, signal-drive card, and level crossing gate. Railway signalling system plays an important role...
متن کاملOn the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings
Railway signalling systems have received a great deal of attention from the formal methods community. One reason for this is that the domain is relatively accessible; another is that the safety analyses to be undertaken are often highly parallelizable. In this paper we describe a ‘cloud interface’ for the refinement checker, Failures Divergences Refinement (FDR), which has been motivated and va...
متن کاملAdoption of Code Generation by a Railway Signalling Manufacturer
This dissertation is the result of a three years research experience at General Electric Transportation Systems (GETS), Intelligent Systems division of Florence. GETS is a well known railway signalling manufacturer that started practicing formal methods in 2002, with exploratory projects performed in collaboration with the Computer Engineering department (D.S.I. Dipartimento di Sistemi e Inform...
متن کاملAutomated Verification of Signalling Principles in Railway Interlocking Systems
In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Minutes of the Proceedings of the Institution of Civil Engineers
سال: 1901
ISSN: 1753-7843
DOI: 10.1680/imotp.1901.18831