SYSGO released version 3.4 of their PikeOS real-time operating system. The new RTOS extends SMP functionality, supported multi-core platforms and safety certification capabilities. The PikeOS v3.4 will be available this month.
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.