PikeOS

from Wikipedia, the free encyclopedia
This article needs to be revised: Not neutral.
Please help to improve it , and then remove this flag.

PikeOS
developer SYSGO GmbH
License (s) Proprietary
Current  version 5.0 (February 2020)
Kernel Microkernel
Others Real-time operating system for safety-critical applications
www.sysgo.com

PikeOS is a real-time operating system (RTOS - Real Time Operating System) that offers a hypervisor based on a separation kernel with several partition types for many other operating systems (so-called guest operating systems / guest OS) and applications. It enables users to create certifiable IoT smart devices according to the quality and safety standards of different industries.

PikeOS architecture

Details

PikeOS combines a real-time operating system with a virtualization platform and an Eclipse- based integrated development environment (IDE - Integrated Development Environment) for embedded systems . The PikeOS real-time operating system was developed for safety-critical applications with certification requirements in the fields of aerospace / defense, automotive and transportation, industrial automation & medicine, network infrastructure and consumer electronics.

PikeOS can run applications with different security levels at the same time securely on the same platform thanks to the strict spatial and temporal separation using software partitions. A software partition can be viewed as a container with pre-assigned authorizations that can have access to memory, CPU time, inputs / outputs, but also to a predefined list of PikeOS services. At PikeOS, the term “application” refers to an executable program that is linked to the PikeOS API library (API - Application Programming Interface) and is executed as a process within a partition. Thanks to the PikeOS API, applications can range from simple control loops to complete paravirtualized guest OS such as Linux or hardware-virtualized guest OS.

Example of resource and time partitioning

Software partitions are also referred to as virtual machines ( VMs ) because it is possible to implement a complete guest OS in a partition that runs independently of other partitions and can therefore handle use cases with mixed criticality . PikeOS can be viewed as a Type 1 hypervisor.

Supported toolchain / CODEO-IDE

The Eclipse-based CODEO IDE supports system architects with the help of graphical configuration tools that provide all the components that software engineers need to develop embedded applications, as well as comprehensive wizards for time-saving and cost-effective integrated project development:

  • Guided configuration
  • Remote debugging (down to the level of hardware instructions)
  • Target (target hardware) monitoring
  • Deployment of remote applications
  • Timing analysis

Thanks to several special views for graphic editing, the system integrator always has an overview of important aspects of the PikeOS system configuration. Partition types, termination, communication channels, shared memory and I / O device configuration within partitions are displayed. Projects can easily be defined using reusable templates and distributed to the development groups. Users can use predefined components for their project in the development process and also define and add other components.

Main advantages

  • Real-time operating system including type 1 hypervisor
  • Hypervisor in PikeOS 4.2.3 (S5577) certified by the Federal Office for Information Security (BSI) according to Common Criteria EAL 3+
  • SIL 2 certified for the rail-specific standard DIN EN 50128
  • Certified as SEooC (Safety Element Out Of Context) to ASIL B (Automotive Safety Integrity Level) in the ISO 26262 standard
  • Certified according to Safety Integrity Level 2 (SIL 2) of IEC 61508 for safety-relevant electrical and electronic systems
  • Supports fast or protected boot processes
  • Supports mixed criticality via separation kernel in a single system
  • Configuration of partitions with time and hardware resources
  • Supports kernel drivers and userspace drivers
  • Hardware independence between processor types and families
  • Easy migration and high portability on single and multi-core systems
  • Developed to support certification according to various security standards
  • Standard development and verification tools reduce time-to-market
  • Wide range of guest operating system types (APIs) supported
  • No export restriction (European solution)

Certification standards supported for PikeOS

Safety:

Security:

Partner system

The following manufacturers support PikeOS (extract):

  • Board suppliers: Curtiss-Wright Controls Embedded Computing, Kontron, MEN, ABACO
  • Silicon suppliers: NXP, Renesas, TI, Xilinx, Infineon, Nvidia, Intel
  • Software partners: CoreAVI, Aicas, AdaCore, ANSYS, RTI, PrismTech, Datalight, Systerel, Imagination Technologies, RAPITA
  • Tool partners: Lauterbach, Vector Software, Rapita, iSYSTEM
  • Supported architectures: ARM, PPC, X86, SPARC

Supported Guest OS

End-of-life overview PikeOS

End-of-life overview PikeOS

Web links