控制器不存在:hitachi-rail-sts-chooses-adacores-gnat-pro-software-development-environment-for-new-rail-safety-platform