NEW YORK–(BUSINESS WIRE)– #ARMCortexA53–HITACHI Rail STS chooses AdaCore’s GNAT Pro software development environment for new rail safety platform