industry news
Subscribe Now

ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems

Major new project meets highest levels of safety under CENELEC EN 50128:2011 standard

NEW YORK, January 11, 2022 – AdaCore, a trusted provider of software development and verification tools, today announces that ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions. As part of one of its research and development department projects, ENYSE will use the tool, and the Ada programming language, to build the Radio Block Centre (RBC), a microprocessor-based system that will be the cornerstone of its advanced new rail signaling system.

Following a successful evaluation of GNAT Pro, ENYSE chose to work with AdaCore due to 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 solutions, including static and dynamic analysis tools.

A completely new solution, ENYSE’s RBC generates and transmits signals to trains, providing them with permission to move through particular sections of track. It needs to meet the highest Safety Integrity Level (SIL 4), under EN 50128:2011, as well as the functional requirements of the European Railway Traffic Management System (ERTMS), the pan-European train control and command system. ENYSE is now developing a proof-of-concept demonstrator of its RBC.

“Our new rail signaling 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.”

Demonstrating the scope of the four-year project, it will be delivered by a 70 strong department within ENYSE’s research and development facility in Spain. GNAT Pro will initially be used by 10 team members, covering a wide range of software development activities, from defining requirements to coding.

“ENYSE’s new rail signaling project highlights the changing requirements of mission-critical software today,” said Jamie Ayre, Commercial Director at AdaCore. “Not only do these systems have to meet safety-critical standards and ensure reliability over the long-term but they must also deliver state-of-the-art functionality. We look forward to working closely with the expanding ENYSE team to help them develop this exciting project.”


Enyse is a Signalling company belonging to the Industrial Services division of the ACS group.

For Enyse, the success of their projects is based on a high level of adaptation to functional and operational needs of the various railways – flexibility is the key word. In an industry increasingly integrating technology standards, the required Reliability, Availability, Maintainability and Safety standards not only apply to system design level, but are the actual premises to properly implementing and commissioning turn-key Signalling projects.

Enyse has the ability to work in all phases of a project, from conception and design to manufacturing and maintenance of Safety installations, both for proprietary and subcontracted technologies.

ACS Industrial Services is making a determined push in the railway sector, where Spain is an active international player. To this effect, it has taken Enyse under its direct realm, making strong investments in both human resources and technical developments. Within this context, Enyse has moved its headquarters and factory to a new venue in Alcobendas, Madrid.

Enyse’s human capital, track record and relationship with the ACS railway companies make it capable of offering a wide range of systems and services including Signalling but also power, telecomms or the maintenance of all electromechanical systems along any type of railway line – conventional, freight, high speed etc.

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.

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, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Leave a Reply

featured blogs
Jan 18, 2022
This column should more properly be titled 'Danny MacAskill Meets Elvis Presley Meets Bollywood Meets Cultural Appropriation,' but I can't spell '˜appropriation.'...
Jan 18, 2022
Authors: D. Eržen, M. Andre jaÅ¡ič, R. Lapuh, J. Tomažič and Č. Gorup - Pipistrel Vertical Solutions d.o.o., Slovenia T. Kosel '“ Faculty of Mechanical Engineering, Slovenia The first electric aircraft... [[ Click on the title to access the full blog on the...
Jan 13, 2022
See what's behind the boom in AI applications and explore the advanced AI chip design tools and strategies enabling AI SoCs for HPC, healthcare, and more. The post The Ins and Outs of AI Chip Design appeared first on From Silicon To Software....

featured video

Synopsys & Samtec: Successful 112G PAM-4 System Interoperability

Sponsored by Synopsys

This Supercomputing Conference demo shows a seamless interoperability between Synopsys' DesignWare 112G Ethernet PHY IP and Samtec's NovaRay IO and cable assembly. The demo shows excellent performance, BER at 1e-08 and total insertion loss of 37dB. Synopsys and Samtec are enabling the industry with a complete 112G PAM-4 system, which is essential for high-performance computing.

Click here for more information about DesignWare Ethernet IP Solutions

featured paper

Clinical-Grade AFE Measures Four Vital Signs for Remote Patient Monitoring Devices

Sponsored by Analog Devices

Simplify the design of wearable remote patient monitoring devices by measuring four vital signs with one triple-system vital signs AFE. This single-chip AFE integrates three measurement systems (optical, ECG and bio-impedance) to obtain four common vital signs: electrocardiogram, heart rate, blood-oxygen saturation, and respiration rate.

Find Out More

featured chalk talk

Using Intel FPGA to Develop Video and Vision Solutions

Sponsored by Mouser Electronics and Intel

Today’s video applications require enormous amounts of compute performance on small power budgets. And, the wide variety of specifications, rates, and resolutions makes flexibility a key design requirement. In this episode of Chalk Talk, Amelia Dalton chats with Omi Oliyide of Intel about how Intel FPGAs are ideal to take on even the most challenging video and vision designs, and explain how you can get started with this exciting technology in your next project.

More information about Intel Arria® 10 GX FPGA Development Kit