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

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

Francesco Flammini (IEEE Computer Society, Italy)
Release Date: May, 2012|Copyright: © 2012 |Pages: 487
ISBN13: 9781466616431|ISBN10: 1466616431|EISBN13: 9781466616448|DOI: 10.4018/978-1-4666-1643-1


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.

Topics Covered

The many academic areas covered in this publication include, but are not limited to:

  • Automatic Train Operation (ATO)
  • Computer Dependability
  • Driverless Systems
  • Formal Methods in Software Development
  • High-Assurance Systems Engineering
  • Human Machine Interaction and Human Factors
  • Innovative Railway Control and Monitoring Systems
  • Protocols for Real-Time Distributed Systems
  • Railway Interoperability
  • Risk Assessment and Hazard Analysis

Table of Contents and List of Contributors

Search this Book:
Editorial Advisory Board
Table of Contents
Odd Nordland
Stephan Jubin
Francesco Flammini
Chapter 1
Mark Hartong, Duminda Wijesekera
Positive Train Control (PTC) Systems are a type of Communications Based Train Control System (CBTC) designed to enhance railroad safety. As a... Sample PDF
U.S. Regulatory Requirements for Positive Train Control Systems
Chapter 2
Jan Peleska, Johannes Feuser, Anne E. Haxthausen
A novel approach to managing development, verification, and validation artifacts for the European Train Control System as open, publicly available... Sample PDF
The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems
Chapter 3
Jens Braband
The European Railway Agency (ERA) has the challenging task of establishing common safety targets and common safety methods throughout Europe. In... Sample PDF
Semi-Quantitative Risk Assessment of Technical Systems on European Railways
Chapter 4
Axel Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
This chapter presents ForMoSA (FORmal MOdels and Safety Analysis), an integrated approach for the safety assessment of safety-critical embedded... Sample PDF
The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
Chapter 5
Lars Ebrecht, Michael Meyer zu Hörste
The chapter shows an approach to use existing test methods to prove technical as well as operational interoperability. The first kinds of tests are... Sample PDF
Verification and Validation of Interoperability
Chapter 6
Almir Villaro Arriola, Jon Mendizabal Samper, Juan Meléndez Lagunilla
On-Board ERTMS/ETCS equipment performs safety related functions where the tolerable hazard rate is kept below 10-9 f/h. Safety standards such as... Sample PDF
Fault Injection for On-Board ERTMS/ETCS Safety Assessment
Chapter 7
Iñigo Adin, Jaizki Mendizabal, Jon del Portillo
The electromagnetic interferences (EMI) are threats that affect the reliability of the railway signalling systems. Consequently, the identification... Sample PDF
Impact of Electromagnetic Environment on Reliability Assessment for Railway Signalling Systems
Chapter 8
Jörn Guy Süß, Neil Robinson, David Carrington, Paul Strooper
Implementation of railway controller application logic is a highly safety-critical and time-consuming task carried out individually for each client... Sample PDF
Mίνθa: A Framework for Auto-Programming and Testing of Railway Controllers for Varying Clients
Chapter 9
Alfredo Benso, Stefano Di Carlo, Alessandro Savino
The very strict safety standards, which must be guaranteed in a railway system, make the testing of all electronic components a unique and... Sample PDF
Software-Based Self-Test for Reliable Applications in Railway Systems
Chapter 10
Silvio Baccari, Giulio Cammeo, Christian Dufour, Luigi Iannelli, Vincenzo Mungiguerra, Mario Porzio, Gabriella Reale, Francesco Vasca
The increasing complexity of modern ground vehicles is making crucial the role of control for improving energetic efficiency, comfort and... Sample PDF
Real-Time Hardware-in-the-Loop in Railway: Simulations for Testing Control Software of Electromechanical Train Components
Chapter 11
Luca Pugi, Benedetto Allotta
In this chapter some case-studies, based on typical topics of industrial research for railways, are introduced in order to emphasize some aspects of... Sample PDF
Hardware-In-the-Loop Testing of On-Board Subsystems: Some Case Studies and Applications
Chapter 12
Alessandro Fantechi
Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter... Sample PDF
The Role of Formal Methods in Software Development for Railway Applications
Chapter 13
Kirsten Winter
Our results yield a verification tool suitable for use in industry. Sample PDF
Symbolic Model Checking for Interlocking Systems
Chapter 14
Nina Jellentrup, Michael Meyer zu Hörste
Train drivers as well as signallers interact with several computer based information and communication systems to ensure safe and effective train... Sample PDF
Designing Usable Interactive Systems within the Railway Domain: A Human Factors Approach
Chapter 15
Markus Talg, Malte Hammerl, Michael Meyer zu Hörste
Human factors have a strong impact on railways safety. However, the assessments of these factors still follow traditional and inadequate approaches.... Sample PDF
Integration of Human Factors to Safety Assessments by Human Barrier Interaction
Chapter 16
Clive Roberts, Joe Silmon
This chapter provides an overview of advanced techniques for monitoring the condition of mission-critical railway assets. The safe operation of... Sample PDF
Advanced Techniques for Monitoring the Condition of Mission-Critical Railway Equipment
Chapter 17
A. Di Febbraro, F. Papa, N. Sacco
The chapter is organized as follows: In section 1, the basic definitions of the security risk analysis and the characteristics of the railway... Sample PDF
Security of Railway Infrastructures
Chapter 18
Raffaele Malangone, Fabio Senesi
This testing process in ETCS laboratories has been useful not only before the putting the ETCS in service but also for the reconfiguration of the... Sample PDF
ETCS Developing and Operation: Italian Experience
Chapter 19
Christian Wullems, George Nikandros
The objective of this chapter is to provide rail practitioners with a practical approach for determining safety requirements of low-cost level... Sample PDF
Adoption of Low-Cost Rail Level Crossing Warning Devices: An Australian Case Study
About the Contributors

Author(s)/Editor(s) Biography

Francesco Flammini got with honours his laurea (July 2003) and doctorate (December 2006) degrees in Computer Engineering from the University Federico II of Naples.From October 2003 to January 2007, he has worked in Ansaldo STS (Finmeccanica) as a Software/RAMS Engineer in the Verification & Validation unit. He has been involved in several ERTMS/ETCS (European Railway Traffic Management System / European Train Control System) related projects, both for the on-board and the trackside systems. In particular, he has specialized in functional testing of critical control systems. Since February 2007, after moving to the Innovation & Competitiveness unit, he has worked on critical infrastructure protection, transportation security and several interdisciplinary research projects. In particular, he has worked on risk assessment and design of security management systems. He has won company innovation awards in 2005 (Automatic Train Control System based on ERTMS/ETCS L3), 2007 (Subway Tunnel Protection System) and 2009 (PIEZORAIL Project). His main research interests are about dependability and security of critical systems and infrastructures, including multi-paradigm modeling approaches. He is author of more than 35 scientific papers published in international journals, book chapters and conference proceedings. He has been awarded a grant as the "Best Ph.D. student paper" at the Dependability of Computer System Conference in 2006. He has classified 3rd at the business-plan competition Start Cup Federico II 2008 with the project "N-Enterprise".He has served as a chairman, a member of the International Program Committee and a reviewer for several international conferences and IEEE journals. He is Vice-Chair of the IEEE Computer Society Italy and partecipates to several Technical Committees, including Software Engineering and Fault Tolerant Computing. He is also member of the European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS TC7), FME (Formal Methods Europe), ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), ESRA TC on Operational Safety and Security of Interconnected Critical Infrastructures, and IEEE SMC TC on Homeland Security. He is Editor in Chief of the "International Journal of Critical Computer-Based Systems" (IJCCBS, Inderscience Publishers).