Methods and Tools for Railway Safety, Reliability and Security

This book provides a set of novel and advanced techniques used in real-world industrial applications to improve the dependability of rail-based transportation systems. The analysis addresses both natural/random and intentional/malicious threats (ranging from human errors, e.g. coding or maintenance mistakes, to terrorist attacks), which can compromise system integrity both at the hardware (control devices, infrastructures) and software (logic code, data network) levels. The book can serve as a useful reference for experts, consultants and railway system engineers who need to perform risk or dependability analyses for development or certification purposes. It also provides a collection of techniques and case-studies for university students dealing with reliability, safety and security of critical systems and infrastructures.