GNAT Pro for PikeOS
16 February 2010
Safety-critical RTOS platform for GNAT pro high-integrity edition.
AdaCore and SYSGO have further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO's PikeOS platform, a safety-critical real-time operating system (RTOS).
GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS.
PikeOS has been gaining popularity with avionics developers as a next-generation RTOS for ARINC-653; with Ada's and AdaCore's track record in the safety-critical market, including avionics and rail transportation, GNAT Pro is a natural match. 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 to allow developers to choose the one best suited to their application requirements.
PikeOS provides an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualisation (SSV) technology allows multiple operating system APIs, called ‘Personalities’, to run concurrently on one machine, for example an ARINC-653 application together with Linux. GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.
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 suitable 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.
"With new certifiable run-times and qualifiable tools, AdaCore has been strengthening its offering dedicated to the development of safety-critical systems," said Michaël Friess, AdaCore EU Sales and Business Development Manager. "SYSGO has rapidly gained renown and trust in the safety-critical market. It was a natural choice for AdaCore to expand our GNAT Pro High-Integrity Edition family to the PikeOS platform, foster the fruitful partnership with SYSGO, and provide our joint customers a flexible and efficient solution."
Contact Details and Archive...
Related Articles...
Most Viewed Articles...
