AdaCore 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 on PikeOS.

Customer Added Value

  • GNAT-Pro with Ravenscar profile, fully tested on PikeOS 4.2 and 5.0 native (tested and available on ARMv7, PPC 32bit, ARM v8 on demand after 3 months)

  • GNAT-Pro with zero footprint profile, supported as bare metal available off the shelf for PikeOS 5.0 and 4.2 (for example for APEX)

  • “GNAT-Pro Cross Linux” is available for ELinOS 6.2 (awareness on Linux is depending on the version of GLibC)

Logo AdaCore

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.