PikeOS Certified Hypervisor


What's new with PikeOS 5?

PikeOS Certified Hypervisor


What's new with PikeOS 5?

Real-time operating system PikeOS 5 for Safe & Secure Embedded Systems

The Safe & Secure hypervisor-based RTOS for the industry: PikeOS 5 meets the high demands of critical embedded system infrastructure in various environments. Aerospace & Defense, Railway & Transportation, Automotive, Industrial Automation and Medical industry benefit from Avionics grade Safety and Common Criteria Security.

PikeOS 5 improved functionality delivers outstanding performance and reliability:

  • Safe & Secure European real-time operating system
  • Easily certifiable up to the highest industry-specific standards such as DO178C up to DAL A, ISO 26262 up to ASIL-D, EN 50128 up to SIL 4 and many more
  • Software architecture-based on separation kernel hypervisor
  • Stunning performance by highly improved multi-core support

Embedded Software Developer-friendly Environment

PikeOS 5 simplifies developing for and setting up a virtualization platform with several partitions such as operating systems and applications. The revised Eclipse-based integrated development environment CODEO 7 makes it a cakewalk for embedded software engineers to develop safe, secure and reliable products that are easy to certify.

It has a user-friendly interface and convenience functionalities such as the project configurator, which now supports multi-core handling at time-partition configuration level. The IDE checks for inconsistencies during the development phase and simplifies the integration of the entire system. Projects can be easily defined with the help of reusable templates and distributed to development groups.

With PikeOS 5, the configuration builder has become a qualified tool, simplifying the certification process.

Learn more about CODEO

 

The PikeOS hypervisor provides multiple, safely isolated partitions, which may contain different applications with their respective operating system.

Hypervisor-based System Architecture

PikeOS 5’s hypervisor-based architecture enables developers to consolidate multiple embedded systems into a single hardware system by means of virtualization. This helps reducing space, weight and power consumption. The Safe & Secure operating system enforces strict separation of memory and time resources, effectively allowing the implementation of numerous use cases, even with mixed-criticality.

The use of hardware-based virtualization provides direct hardware access to guest operating systems and applications for faster performance without the need for software modification. Communication between those partitions can nevertheless be activated and is controlled in a way that there are effectively no unwanted interferences.

Security by Design – Multiple Independent Level of Security Architecture

The PikeOS separation kernel architecture is fully compliant to the Multiple Independent Level of Security (MILS) architecture. The multilayer Security architecture is based on data and application separation in time and space. Yet it provides many features that are incorporated while PikeOS 5 is in the process of Security certification.

PikeOS features certified process control, memory management, a broad range of communication services such as controlled information flow and encryption, the utilization of libc and much more.

We know how to certify Software

In order to greatly reduce effort, time and thus save money to have an embedded system certified according to various standards, SYSGO has created a consolidated environment for workflows and documentation of all processes including the build process. This also allows to integrate applications into customer build environments.

For Avionics applications PikeOS offers ARINC 653 - APEX SMP. PikeOS provides compliance to ARINC 653 Part 1 supplement 4 and additionally provides SMP (Symmetric Multi-Processor) services.

Convenient Eclipse-based CODEO Tool

The configuration of a virtualization platform with several operating system instances or partitions can be complex. The project configurator, available in code line or Eclipse form, checks for inconsistencies during the development phase and simplifies the integration of the entire system. Projects can be easily defined with the help of reusable templates and distributed to the development groups. VMIT and loadable file system editors as well as graphic enhancements for multicore configurations have been added or optimized to allow review and modification of the loadable target and its configuration; from OS to partition level.

Learn more about CODEO

Latest Multi-Core Hardware with higher Performance

SYSGO has vastly improved PikeOS 5’s application performance in multi-core environments. Fine-grained kernel locking enables all cores to continue their processes even when entering kernel space simultaneously. PikeOS 5 therefore fulfils an important prerequisite for certification according to the DO-178C standard with regards to CAST-32A multi-core guidelines.

The new release supports a wide range of multicore CPUs, including ARM v7 and v8, 32- and 64-bit PowerPC and 32 and 64-bit x86 and SPARC Leon. Board Support Packages (BSPs) are available for a wide selection of silicon vendors like NXP/Freescale, Renesas, Intel or Xilinx.

Go to Board Support Packages

PikeOS is a real-time operating system and hypervisor built to help you in creating safe and secure smart devices for the Internet of Things and for Industry 4.0.

Read more why you should use PikeOS