HITACHI Rail STS Chooses AdaCore’s GNAT Pro Software Development Environment for New Rail Safety Platform
Summary
NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced that HITACHI Rail STS (Signaling and Transportation Systems) has selected AdaCores 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. 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 an ARM Cortex-A53 processor in the Programmable Logic part. In major international railway projects, in particular in Europe, Asia, Africa and South America, clients have called on Hitachi Rail STS France for its ability to deliver fail-safe systems on time and on budget. Being in close proximity to its clients, relying on an international presence in Western and Northern Europe and Asia, Hitachi Rail STS France can manage projects efficiently and accept their challenges, anticipating needs and offering innovative solutions. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, railway, automotive, space, defense systems, air traffic management/control, medical devices, and financial services.
Classifications
AskAI Classifications
LabelsLinked Companies
