Railway safety, reliability, and security : technologies and systems engineering

• Other Authors: Flammini, Francesco
• Format: Electronic eBook
• Language: English
• Published: Hershey, PA : Information Science Reference, ©2012.
• Subjects: Railroads > Safety measures.; Railroads > Security measures.; elektronické knihy; electronic books
• ISBN: 9781466616448; 146661644X; 9781621989448; 1621989445; 9781466616431; 1466616431; 9781466616455; 1466616458
• Physical Description: 1 online resource (xxii, 463 pages) : illustrations

"This book 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 transportati...

Table of Contents:

• U.S. regulatory requirements for positive train control systems / Mark Hartong, Duminda Wijesekera
• The model-driven openETCS paradigm for secure, safe and certifiable train control systems / Jan Peleska, Johannes Feuser, Anne E. Haxthausen
• Semi-quantitative risk assessment of technical systems on European railways / Jens Braband
• The ForMoSA approach to qualitative and quantative model-based safety analysis / Axel Habermaier ... et al.
• Verification and validation of interoperability / Lars Ebrecht, Michael Meyer zu Hörste
• Fault injection for on-board ERTMS/ETCS safety assessment / Almir Villaro Arriola, Jon Mendizabal Samper, Juan Meléndez Lagunilla
• Impact of electromagnetic environment on reliability assessment for railway signalling systems / Iñigo Adin, Jaizki Mendizabal, Jon del Portillo
• Mívtha : a framework for auto-programming and testing of railway controllers for varying clients / Jörn Guy Süss ... et al.
• Software-based self-test for reliable applications in railway systems / Alferdo Benso, Stefano Di Carlo, Alessandro Savino
• Real-time hardware-in-the-loop in railway : simulations for testing control software of electromechanical train components / Silvio Baccari ... et al.
• Hardware-in-the-loop testing of on-board subsystems : some case studies and applications / Luca Pugi, Benedetto Allotta
• The role of formal methods in software development for railway applications / Alessandro Fantechi
• Symbolic model checking for interlocking systems / Kirsten Winter
• Designing usable interactive systems within the railway domain : a human factors approach / Nina Jellentrup, Michael Meyer zu Hörste
• Integration of human factors to safety assessments by human barrier interaction / Markus Talg, Malte Hammerl, Michael Meyer zu Hörste
• Advanced techniques for monitoring the condition of mission-critical railway equipment / Clive Roberts, Joe Silmon
• Security of railway infrastructure / A, Di Febbraro, F. Papa, N. Sacco
• ETCS developing and operation : Italian experience
• Adoption of low-cost rail level crossing warning devices : an Australian case study / Christian Wullems, George Nikandros.