SPAIN: ACS Industrial Services is making a ‘determined push’ in the rail sector through its ENYSE signalling business, which has selected AdaCore’s GNAT Pro environment to develop radio block centre software that will be the cornerstone of its future systems.
‘Our new rail signalling project is being created from the ground up, giving us the chance to focus on innovation while still meeting the highest levels of safety’, said Francisco Lozano, Head of R&D at ENYSE. ‘AdaCore’s tools are the perfect fit for the project — they are designed to support safety-critical certification, while giving us the ability to develop leading-edge solutions to meet changing market needs.’
ENYSE said it opted to work with AdaCore because of its certification under the CENELEC EN 50128:2011 railway software safety standard, ability to develop in both the Ada and C programming languages, previous experience and access to a full suite of static and dynamic analysis tools.
