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. Take an in-depth look at 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.