AdaCore has released a development environment for Sysgo, its long-time partner in the embedded market. With the GNAT Pro 17.1, Ada users targeting Sysgo's PikeOS will see a number of upgrades to the underlying code generator and debugger technologies (to GCC 6 and GDB 7.10, respectively), better elaboration order handling, improved stubbing in GNATtest and enhanced debugger support in the GNAT Programming Studio (GPS) IDE, according to the AdaCore.

Featuring a configurable run-time capability and high-integrity profiles, GNAT Pro for PikeOS is especially suited for high-assurance embedded applications, AdaCore said. Its Zero Footprint (ZFP) profile minimises and, in fact, generally eliminates completely all code in the executable other than the compiler-generated code for the application, and applications needing concurrency support can take advantage of both simple and extended versions of the Ravenscar tasking profile.

The GNAT Pro development environment for Ada is a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability, according to the company.

AdaCore products are open source and come with expert online support provided by the developers themselves.