<div>This book constitutes the refereed proceedings of the First</div><div>International Conference on Reliability, Safety, and Security of Railway</div><div>Systems, RSSRail 2016, held in Paris, France, in June 2016.</div><div><br></div><div>The 15 revised full papers presented were carefully reviewed and</div><div>selected from 36 initial submissions. The papers cover a wide range of</div><div>topics including failure analysis, interlocking verification, formal</div><div>system specification and refinement, security analysis of ERTMS, safety</div><div>verification, formalisation of requirements, proof automation,</div><div>operational security, railway system reliability, risk assessment for</div><div>ERTMS, and verification of EN-50128 safety requirements.</div>