AdaCore, a trusted provider of software development and verification tools, today announced that HITACHI Rail STS (Signaling and Transportation Systems) has selected AdaCore’s GNAT Pro Ada development environment targeting ARM processors for the modernization of its CSD (Calculator of Available Safety) rail safety platform, to ensure the safe circulation of trains on railway lines and metro networks.
This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20201013005135/en/
(Graphic: Business Wire)
Read the full case study
Technical challenges of modernization
In March 2017, HITACHI Rail STS rolled out the interlocking management system of the Gare de Lyon in Paris as part of a renovation project commissioned by the French national rail company SNCF. The system, supported by a single safety platform, commands 170 switches, 115 light signals and 800 routes at any time and simultaneously, and thus requires a secure, reliable platform.
In 2018, facing the problem of obsolete equipment and the need for ever greater computing power, HITACHI Rail STS decided to further modernize its safety platform with the ambitious goal of developing a single platform that is also compatible with the constraints of rolling stock and ground signalling.
The first targets were the renovation of the metro lines in the city of Brussels with a Communication Based Train Control (CBTC) system, and the renovation of the interlocking systems of the first 280 mile-long high-speed rail line in France between Paris and Lyon.
HITACHI Rail STS identified 2 key areas of focus in order to achieve its goal:
Conduct logic synthesis on the 68K CPU in order to house the “voter” function of the CSD in the Processing System part of this component, thus making it possible to reuse the coded monoprocessor production chain of the existing voter software,
Port the existing application software, developed in Ada 95, to