AdaCore's mission is to provide the best tools, services and expertise to developers who want to build safe and reliable software.

AdaCore offers a variety of products that can be integrated into PikeOS. Jointly we provide best solutions for customers using ADA or going through highest certification processes with pre-certified compilers.

  • GNAT-Pro with Ravenscar profile, fully tested on some PikeOS versions
  • GNAT-Pro with zero footprint profile, supported as bare metal available off the shelf for PikeOS (in example for APEX)
  • “GNAT-Pro Cross Linux” is available for ELinOS
Logo AdaCore

Customer Added Values


Reduction of time-to-market via pre-integration of AdaCore products


Joint alignment on product and technology roadmap brings pre-vision of technology


GNAT Pro comes with an implementation of the Ravenscar profile as a library that can be certified, thus helps reducing certification effort for customer


Need more Information?

Do you want to know more or have a specific request?

Contact us

Logo AdaCore

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore's flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology, including the SYSGO ELinOS Industrial Grade Linux product. Use of Ada and GNAT Pro continues to grow, especially in high-integrity and safety-critical applications, including commercial and defense aircraft avionics, air traffic control, railroad systems, financial services and medical devices. AdaCore has North American headquarters in New York and European headquarters in Paris.