Tag Archives: High-Integrity

AdaCore GNAT Pro for SYSGO PikeOS

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.

Continue reading