As part of Ansaldo Signal NV, a subsidiary of the Finmeccanica group, CSEE Transport is a world leader in signaling and control-command systems for high-speed rail transport. The TGV (train à grande vitesse, or “high-speed train”) in France relies on CSEE Transport technology, as do Belgian, English, and Korean TGV trains. CSEE Transport also develops subway monitoring and control systems and the shuttles for the Channel Tunnel, which links England and France by rail.
In France, high-speed TGV trains operate at 300 kilometers per hour and run just three minutes apart. In this environment, even a minor signaling malfunction can be disastrous. Because passenger safety is paramount, software reliability and security are a top priority. For fast trains such as the Paris subway, CSEE Transport is subject to security regulations as strict as those imposed in the nuclear industry.
To ensure safe operation of the trains, CSEE Transport engineers often spend months verifying their code. CSEE Transport used Polyspace® products for Ada to automate tasks in this labor-intensive process and detect a wide range of run-time defects.