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
May 26, 2022
Introducing Synopsys Learning Center, an online, on-demand library of self-paced training modules, webinars, and labs designed for both new & experienced users. The post New Synopsys Learning Center Makes Training Easier and More Accessible appeared first on From Silico...
May 25, 2022
The Team RF "μWaveRiders" blog series is a showcase for Cadence AWR RF products. Monthly topics will vary between Cadence AWR Design Environment release highlights, feature videos, Cadence... ...
May 25, 2022
There are so many cool STEM (science, technology, engineering, and math) toys available these days, and I want them all!...
May 24, 2022
By Neel Natekar Radio frequency (RF) circuitry is an essential component of many of the critical applications we now rely… ...

featured video

Increasing Semiconductor Predictability in an Unpredictable World

Sponsored by Synopsys

SLM presents significant value-driven opportunities for assessing the reliability and resilience of silicon devices, from data gathered during design, manufacture, test, and in-field. Silicon data driven analytics provide new actionable insights to address the challenges posed to large scale silicon designs.

Learn More

featured paper

5 common Hall-effect sensor myths

Sponsored by Texas Instruments

Hall-effect sensors can be used in a variety of automotive and industrial systems. Higher system performance requirements created the need for improved accuracy and more integration – extending the use of Hall-effect sensors. Read this article to learn about common Hall-effect sensor misconceptions and see how these sensors can be used in real-world applications.

Click to read 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