By Military1 Staff
AdaCore recently announced that the latest version of its GNAT Pro Safety-Critical Ada Development Environment is now targeted to the LynuxWorks LynxOS 178 V2.2.2 RTOS for PowerPC and supports ARINC-653 APEX partitions and POSIX threads.
In addition to the standard GNAT Pro components, it includes specialized tools and run-time libraries. With the extension of these AdaCore product offerings, developers who must deliver high-assurance applications on LynxOS-178 will have an integrated tool suite that implements all versions of the Ada language, the company said.
AdaCore’s GNAT Pro Safety-Critical has two tools that are valuable in a certification context: GNATstack, which predicts maximum stack usage for each task in an application, and GNATcheck, which enforces a custom set of rules comprising a project-specific coding standard. Additional tools for testing and dynamic analysis are the gdb debugger, the GNATtest unit test harness generator, and the AUnit test framework.