Case Study: CSEE Transport achieves rapid, automated verification of 15,000 lines of Ada code with MathWorks Polyspace

CSEE Transport Ensures Reliability of High-Speed Rail Software

CSEE Transport, a world leader in high-speed rail signaling and part of Ansaldo Signal NV, needed to ensure the reliability of Ada-based security software used in TGV systems where safety is critical. Verification of the system historically required three to four months of manual code review and security analysis, so CSEE Transport engaged MathWorks and its Polyspace products (Polyspace Bug Finder and Polyspace Code Prover) to automate run-time error detection and speed validation.

MathWorks’ Polyspace tools were used to perform static, non‑execution analysis of 15,000 lines of Ada code, automatically detecting issues such as uninitialized variables, divisions by zero, out-of-bounds accesses, and concurrency errors. The result: verification that once took months was completed in hours, freeing engineers to focus on enhancing security and uncovering hidden defects that conventional techniques had missed.

CSEE Transport