Growing populations and urban densification compel modern cities to develop efficient and environmentally friendly urban rail systems for mass transportation. With real-time software integral to these rail systems, safety becomes paramount. CSL’s deep knowledge of formal (mathematical) methods helps address safety challenges at the core of these emergent technologies.

The rail industry is constantly improving its performance by integrating intelligent, connected autonomous systems. While this integration increases efficiency, it also amplifies the complexity of the software, making it challenging to satisfy the strict requirements of rail standards for safety and cybersecurity such as CENELEC EN50128.

CSL has extensive knowledge about how to analyze the safety of software in complex systems of systems with many interdependencies. Decades-old conventional technology has very predictable failure modes, while new technologies such as the use of AI/ML and advanced sensors require specialized analysis techniques, including the use of semi-formal reasoning to demonstrate confidence in the statistical algorithms used to predict train movement.