The new relationship allows Rapita Systems to support PikeOS, SYSGO’s SSV (Safe and Secure Virtualization) Tool in their Rapita Verification Suite (RVS) tools. PikeOS is a real-time operating system (RTOS) with a virtualization platform and an Eclipse-based integrated development environment (IDE) for embedded systems. It enables multiple operating system interfaces, called Guest OS, to work safely and securely on separate sets of resources within a single machine.
Providing an RVS Integration Guide Annex (IGA) for PikeOS makes it easier for customers to get the maximum benefits of using RVS for on-target verification and optimization on applications that use PikeOS. Using RVS with PikeOS means that customers can measure worst-case execution times and code coverage on applications running under PikeOS.
“We believe combining the benefits of SYSGO tools with our Rapita Verification Suite is the most logical way to meet customer needs”, said Guillem Bernat, CEO, Rapita Systems. “SYSGO’s commitment in delivering useful features required by different industry sectors makes us very proud to have them on board with our company.”
Both Rapita and SYSGO work in safety-critical industries with certification needs, such as Aerospace, Automotive, Consumer Electronic, Defense, Industrial Automation, Medical, Network Infrastructure and Transportation. This built the foundation of their partnership and will help both companies to provide better solutions to their common customers as they work on the same projects.
“We are pleased to work closely with an on-target verification specialist. The collaboration with Rapita Systems will help our customers to optimize their projects by combining the unique features of our PikeOS with the Rapita Verification Suite”, said Jacques Brygier, VP Marketing at SYSGO.
The PikeOS microkernel architecture allows it to be used in cost sensitive, resource constrained devices as well as large, complex systems. It is certifiable to safety standards like DO-178B, IEC 61508 or EN 50128, is MILS compliant, and has achieved the First Level of Security Certification delivered by the French Network and Information Security Agency.
PikeOS has the largest range of supported Guest OS of the market, including PikeOS Native, ARINC 653, Linux, POSIX®, Certified POSIX®, Android™, RTEMS, and many others (for example an AUTOSAR Guest OS is available through our partner OpenSynergy). It also supports many different single- and multi-core processor architectures such as x86, PowerPC, ARM, MIPS, SPARC/LEON or SH.
The IGA for PikeOS is just the beginning of greater collaboration between Rapita Systems and SYSGO and will bring the benefits of the combined solutions to a larger range of customers.
More informationen at www.rapitasystems.com
More informationen at www.sysgo.com/pikeos