The Metropolitan Transportation Authority (MTA) has adopted the CLEARSY Data Solver !
In complex rail environments such as New York City, interoperability is a safety-critical challenge. Configuration data is a key factor for systems communication, train movements supervision, speed limits definition, and preventing conflicts. Any inconsistency or hidden error in these datasets can potentially impact operational safety.
By combining SIEMENS’ (Chatillon-Paris and New York) expertise in New York City’s rail systems with CLEARSY’s advanced know-how in formal methods, automatization of the verification has been a success.
Benefits of automating data verification through formal methods are:
- Automated large-scale data verification
- Strengthened confidence in system interoperability
- Improved traceability and compliance with safety standards
- Reduced validation time (median time of 20 seconds for 355 rules)
This project illustrates how formal verification technologies can move beyond theory and deliver tangible safety benefits in one of the world’s most demanding metro networks.