chapter 1 Introduction to the Requirements of Railway RAM, Safety, and Related General Management / Qamar Mahboob Enrico Zio Pierre Dersin -- chapter 2 Basic Methods for RAM Analysis and Decision Making / Andreas Joanni Qamar Mahboob Enrico Zio -- chapter 3 Advanced Methods for RAM Analysis and Decision Making / Andreas Joanni Qamar Mahboob Enrico Zio -- chapter 4 Safety Integrity Concept / Holger Schult -- chapter 5 SIL Apportionment and SIL Allocation / Hendrik Schäbe -- chapter 6 Prognostics and Health Management in Railways / Pierre Dersin Allegra Alessi Olga Fink Benjamin Lamoureux Mehdi Brahimi -- chapter 7 Human Factors and Their Application in Railways / Birgit Milius -- chapter 8 Individual Risk, Collective Risk, and F-N Curves for Railway Risk Acceptance / Jens Braband Hendrik Schäbe -- chapter 9 Practical Demonstrations of Reliability Growth in Railways / Hendrik Schäbe -- chapter 10 Methods for RAM Demonstration in Railway Projects / Pierre Dersin Cristian Maiorano -- chapter 11 Guide for Preparing Comprehensive and Complete Case for Safety for Complex Railway Products and Projects / Ruben Zocco -- chapter 12 Reliability Demonstration Tests: Decision Rules and Associated Risks / Pierre Dersin Cristian Maiorano -- chapter 13 Hazard Log: Structure and Management in Complex Projects / Rohan Sharma -- chapter 14 Life Cycle Cost in Railway Asset Management with Example Applications / Simone Finkeldei Thomas Grossenbacher -- chapter 15 System Assurance for Railway Mechanical Signaling Products / Kyoumars Bahrami -- chapter 16 Software Reliability in RAMS Management / Vidhyashree Nagaraju Lance Fiondella -- chapter 17 Applications of Formal Methods, Modeling, and Testing Strategies for Safe Software Development / Alessandro Fantechi Alessio Ferrari Stefania Gnesi -- chapter 18 Practical Statistics and Demonstrations of RAMS in Projects / Joerg Schuette -- chapter 19 Proven in Use for Software: Assigning an SIL Based on Statistics / Jens Braband Heinz Gall Hendrik Schäbe -- chapter 20 Target Reliability for New and Existing Railway Civil Engineering Structures / Miroslav Sykora Dimitris Diamantidis Milan Holicky Karel Jung -- section 1 Methodology and Application of RAM Management along the Railway Rolling Stock Life Cycle / Qamar Mahboob Enrico Zio Olga Fink Simone Finkeldei -- chapter 22 IT Security Framework for Safe Railway Automation / Jens Braband -- chapter 23 Reliability Modeling and Analysis of European Train Control System / Yiliu Liu Lei Jiang -- chapter 24 Designing for RAM in Railway Systems: An Application to the Railway Signaling Subsystem 1 / Pierre Dersin Alban Péronne René Valenzuela -- chapter 25 Fuzzy Reasoning Approach and Fuzzy Analytical Hierarchy Process for Expert Judgment Capture and Process in Risk Analysis / Min An Yao Chen -- chapter 26 Independent Safety Assessment Process and Methodology / Peter Wigger -- chapter 27 Application of the Interface and Functional Failure Mode Effects and Criticality Analysis (IFF-MECA) for RAM and Safety Assessment of Rail Electrification / Qamar Mahboob -- chapter 28 RAMS as Integrated Part of the Engineering Process and the Application for Railway Rolling Stock / Georg Edlbacher Simone Finkeldei -- chapter 29 Safety and Security Assurance in Complex Technological Train Control System / Datian Zhou Ali Hessami Xiaofei Yao -- chapter 30 Application of Risk Analysis Methods for Railway Level Crossing Problems / Eric J. Schöne Qamar Mahboob -- chapter 31 Human Reliability and RAMS Management / Malcolm Terry Guy Harris -- chapter 32 Generic Approval Process for Public Transport Systems / Peter Wigger -- chapter 33 Importance of Safety Culture for RAMS Management / Malcolm Terry Guy Harris -- chapter 34 Railway Security Policy and Administration in the United States: Reacting to the Terrorist Threat after September 11, 2001 / Jeremy F. Plant Gary A. Gordon Richard R. Young -- chapter 35 Introduction to IT Transformation of Safety and Risk Management Systems / Coen van Gulijk Miguel Figueres-Esteban Peter Hughes Andrei Loukianov -- chapter 36 Formal Reliability Analysis of Railway Systems Using Theorem Proving Technique / Waqar Ahmad Osman Hasan Sofiène Tahar -- chapter 37 Roles and Responsibilities for New Built, Extension, or Modernization of a Public Transport System: A Walk through the Life Cycle / Peter Wigger -- chapter 38 Holistic View on the Charm and Challenge of CENELEC Standards for Railway Signaling / Attilio Ciancabilla Stephan Griebel.