Railroad Signaling

Railroad Signaling
Author: Brian Solomon
Publisher: Voyageur Press
Total Pages: 160
Release: 2003-11-01
Genre: Transportation
ISBN: 1616738979

From the 1830s to today, the railroad industry has developed myriad complex mechanisms to help keep North America’s railroad rights-of-ways safe, efficient, and relatively accident-free. In this paperback rerelease of the successful 2003 title, the otherwise-arcane world of railroad signaling is explained in concise language and brought to life with nearly 200 fantastic photographs that depict signaling history and all aspects of modern operations. Author and photographer Brian Solomon brings his wealth of knowledge and photographic talent to a subject that has not often been tackled in book form, yet is integral to the American railroad experience.

FORMS/FORMAT 2010

FORMS/FORMAT 2010
Author: Eckehard Schnieder
Publisher: Springer Science & Business Media
Total Pages: 247
Release: 2011-02-10
Genre: Technology & Engineering
ISBN: 3642142613

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

Track Design Handbook for Light Rail Transit

Track Design Handbook for Light Rail Transit
Author:
Publisher: Transportation Research Board
Total Pages: 695
Release: 2012
Genre: Technology & Engineering
ISBN: 0309258243

TCRP report 155 provides guidelines and descriptions for the design of various common types of light rail transit (LRT) track. The track structure types include ballasted track, direct fixation ("ballastless") track, and embedded track. The report considers the characteristics and interfaces of vehicle wheels and rail, tracks and wheel gauges, rail sections, alignments, speeds, and track moduli. The report includes chapters on vehicles, alignment, track structures, track components, special track work, aerial structures/bridges, corrosion control, noise and vibration, signals, traction power, and the integration of LRT track into urban streets.

Signals and Interlockings for Your Model Railroad

Signals and Interlockings for Your Model Railroad
Author: Dave Abeles
Publisher:
Total Pages: 144
Release: 2021-03-31
Genre:
ISBN: 9781627008259

Perfect for those who want to incorporate signals and interlockings in their next layout, this all-new book will allow people to understand how prototype systems work, and give them enough information to design a system that best suits their needs.

Operating Rules and Interoperability in Trans-National High-Speed Rail

Operating Rules and Interoperability in Trans-National High-Speed Rail
Author: Simon Collart-Dutilleul
Publisher: Springer Nature
Total Pages: 251
Release: 2021-07-29
Genre: Technology & Engineering
ISBN: 3030720039

This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.

Electronic Interlocking on Indian Railways

Electronic Interlocking on Indian Railways
Author: Purnachandra Rao Vallabhaneni
Publisher: Notion Press, Incorporated
Total Pages: 246
Release: 2018-06-11
Genre:
ISBN: 9781643242712

Microprocessor controlled railway signaling or commonly termed Electronic Interlocking is in operation from the late 1980s on the World Railways and introduced in India in the 1990s.It has replaced older relay based and electro-mechanical systems in phases. As software is present extensively in such systems, safety is of prime concern to the users, in addition to the requirements of reliability. Methods of ensuring safety and preventing hazards have been covered extensively in the book. -Details of all the types of Electronic Interlocking systems installed on Indian Railways are illustrated. -The advantage of a single processor with concurrent error detection compared to two out of two and two out of three modular systems in the matter of reliability, safety and economy has been discussed. -Some methods of hazard analysis relevant to electronic systems have been dealt, with suggestions for improvement of components for safety and reliability. -Verification of hardware and software with computer aided methods along with simulation has been described. -Formal verification of railway interlocking with the application of theoretical computer science and software tools has been explained. -Application of systems engineering to the operation and maintenance of electronic interlocking system for enhancing safety is covered in a separate chapter.