AdaCore rolled out the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS safety-critical real-time operating system (RTOS). PikeOS is an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology enables multiple operating system APIs, called “Personalities”, to run concurrently on one machine (ie: ARINC-653 application with Linux). GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.
GNAT Pro High-Integrity Edition for PikeOS comes with the Zero Footprint (ZFP) and Ravenscar run-time libraries. The ZFP run-time library of GNAT Pro High-Integrity Edition for DO-178B has been used on multiple safety-critical projects and allows simple sequential application development that eases certification to DO-178B Level A. The Ravenscar run-time library adds support for deterministic multi-tasking. AdaCore provides both run-times libraries.
The PikeOS microkernel architecture supports a range of domains, from cost-sensitive, resource constrained devices to large, complex systems. Because of its simplicity and compactness, PikeOS is ideal for the most demanding real-time applications. PikeOS is certifiable to safety standards including DO-178B, IEC 61508 and EN 50128. It is also MILS compliant. PikeOS has been gaining popularity with avionics developers as a next-generation RTOS for ARINC-653.
More information: AdaCore