Hitachi Rail STS (Signalling and Transportation Systems) France has selected an Ada runtime and a compiler targeting ARM processors from AdaCore for its CSD (Calculator of Available Safety) rail safety platform. Hitachi Rail STS specializes in the design of systems ensuring the safe circulation of trains on railway lines and metro networks.