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
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
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.