Railway Safety, Reliability, and Security: Technologies and Systems Engineering
Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Author: Flammini, Francesco

Publisher: IGI Global

Published: 2012-05-31

Total Pages: 487

ISBN-13: 146661644X

DOWNLOAD EBOOK

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on the modern railways and have created disastrous consequences. To protect civilians against both intentional and unintentional threats, rail transportation has become increasingly automated. Railway Safety, Reliability, and Security: Technologies and Systems Engineering provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of ‘real-time safety-critical’ railway control systems, as well as the protection of rail transportation infrastructures.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Author: Thierry Lecomte

Publisher: Springer

Published: 2016-06-14

Total Pages: 261

ISBN-13: 3319339516

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016. The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.

Railway Transportation Systems
Railway Transportation Systems

Author: Christos N. Pyrgidis

Publisher: CRC Press

Published: 2016-04-21

Total Pages: 580

ISBN-13: 1498788157

DOWNLOAD EBOOK

Incorporates More Than 25 Years of Research and ExperienceRailway Transportation Systems: Design, Construction and Operation presents a comprehensive overview of railway passenger and freight transport systems, from design through to construction and operation. It covers the range of railway passenger systems, from conventional and high speed inter