The EN 5012x series of functional safety standards (EN 50126, EN 50128, EN 50129) have become the dominant railway functional safety reference. Its requirements and processes are becoming increasingly familiar across the world. Gain an introductory insight into how the key software development and verification process activities required by the standards, and how the automation offered by the LDRA tool suite can assist in proving compliance in a cost-effective manner.