Press Releases

Logo AdaCore

AdaCore and SYSGO announce GNAT Pro support for PikeOS

AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS.

PikeOS has been gaining popularity with avionics developers as a next-generation RTOS for ARINC 653; with Ada’s and AdaCore’s proven track record in the safety-critical market, including avionics and rail transportation, GNAT Pro is a natural match. GNAT Pro High-Integrity Edition for PikeOS comes with the Zero Footprint (ZFP) and Ravenscar run-time libraries. The ZFP run-time library of GNAT Pro High-Integrity Edition for DO-178B has been used on multiple safety-critical projects and allows simple sequential application development that eases certification to DO-178B Level A. The Ravenscar run-time library adds support for deterministic multi-tasking. AdaCore provides both run-times libraries to allow developers to choose the one best suited to their application requirements.

PikeOS provides an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology allows multiple operating system APIs, called “Personalities”, to run concurrently on one machine, for example an ARINC 653 application together with Linux. GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.

The PikeOS microkernel architecture supports a range of domains, from cost-sensitive, resource-constrained devices to large, complex systems. Because of its simplicity and compactness, PikeOS is suitable for the most demanding real-time applications. PikeOS is certifiable to safety standards, including DO-178B, IEC 61508 and EN 50128. It is also MILS-compliant.

“AdaCore has created an entire family of products to support development of both safety- and security-critical applications with our GNAT Pro High-Integrity Family,” said Robert Dewar, AdaCore President and CEO. “We strive to continuously expand the number of options available to our customers for safety- and security-critical development. Support for PikeOS is now the latest RTOS addition to our High-Integrity Family of products.”

“With new certifiable run-times and qualifiable tools, AdaCore has been strengthening its offering dedicated to the development of safety-critical systems,” said Michaël Friess, AdaCore EU Sales & Business Development Manager. “SYSGO has rapidly gained renown and trust in the safety-critical market. It was a natural choice for AdaCore to expand our GNAT Pro High-Integrity Edition family to the PikeOS platform, foster the fruitful partnership with SYSGO, and provide our joint customers with a flexible and efficient solution.”

“Our product PikeOS has one of the fastest growth rates in the sectors requiring safety and security critical applications,” declares Jacques Brygier, VP Marketing at SYSGO. “The successful partnership we have built with AdaCore regarding our embedded Linux product ELinOS makes our collaboration in the safety-critical domain even more logical, as both companies have in common an excellent reputation and experience in this very demanding business.”

More information at

More information at

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base.
Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris.

PikeOS RTOS & Hypervisor

RTOS & Hypervisor

Learn more

PikeOS for MPU

PikeOS for MPU

Learn more

ELinOS Embedded Linux

Embedded Linux

Learn more

Need more Information?

Contact us