Growing populations and urban densification compel modern cities to develop efficient and environmentally friendly urban rail systems for mass transportation. Real time software is an integral part of these rail systems. The rail industry is constantly improving its performance by integrating intelligent, connected autonomous systems. While increasing efficiency these features also increase the complexity of the software and make 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 formal methods to demonstrate confidence in the statistical algorithms used to predict train movement.