PikeOS offers strict partitioning and strong separation to provide built-in Security by design.
Extreme flexibility provides independence from suppliers in the choice of hardware architectures.
Use of COTS
The benefit of using Commercial-Off-The-Shelf (COTS) components is to lower overall costs for applications.
SYSGO offers the right certification kit in order to help facing the certification authorities.
PikeOS 5.1.3 is certified according to Common Criteria EAL5+ to fast-forward the approval processes.
As an European company, our products have no export restrictions and are therefore ITAR free.
PikeOS RTOS & Hypervisor
PikeOS is a real-time operating system that offers a separation kernel-based hypervisor with multiple partitions for many other operating systems and applications.
It enables you to build devices for environments with strong demands for Safety and Security.
PikeOS is available for x86, ARM v7 v8, SPARC/LEON v8, PowerPC and RISC-V.
Security - A universal Requirement
Due to its separation kernel approach, PikeOS is the first choice for systems which demand protection against Cyber-Security attacks. In addition to the broad usage within millions of IoT and edge systems, it has also been deployed within various high critical communication infrastructures.
Virtualization & Real-Time
PikeOS brings together virtualization and real-time by means of unique and never seen before technologies. It allows the migration numerous complex embedded circuit boards in to a single hardware. Furthermore, new hardware concepts such as Big SoCs (Systems-on-a-Chip) with multiple heterogeneous processor cores are supported, as well.
The PikeOS native API is primarily designed to build para-virtualized guest operating systems. It provides a small but complete set of low-level system calls that are optimized for performance, robustness, Safety and Security.
The PikeOS native API is also the first choice when it comes to software to be certified at the highest certification levels.
ARINC 653 (aka APEX)
The PikeOS ARINC 653 is built upon the PikeOS native API and provides a complete and fully functional APEX API target for Avionics systems, in particular with respect to Integrated Modular Avionics (IMA).
The ARINC 653 guest operating system can be certified according to DO-178C DAL A.
The POSIX API implements a subset of the PSE52 real-time controller system profile. It is a good choice for medium Safety-critical systems where a huge number of operating system services are required, but the use of Linux would still be too risky. It is often used for Automotive projects that require compliance to ISO 26262.
The POSIX API is the backbone of the AUTOSAR adaptive solution.
ELinOS Embedded Linux
Our ELinOS distribution offers the most straight forward integration into a PikeOS virtual machine as well as dedicated extensions to directly use enhanced PikeOS features. Linux operating system partitions are often used alongside a POSIX or ARINC 553 partition, setting up an overall system with mixed criticality. The PikeOS hypervisor technology ensures that a running Linux has no impact on the certification aspects of an API with a higher degree of criticality. Linux operating systems can be run in hardware as well as para-virtualized mode.
We provide two types of product support: The Standard Support covers the basic questions on the product use (installation, tools usage etc.) via E-Mail. The Premium Support offers more customer-specific help with direct contact to a dedicated support engineer.
Life Cycle Updates
Customers can benefit from ongoing improvements by accessing the SYSGO customer portal, where the latest updates of target binaries, new Board Support Packages, and add-ons are available.
Training & Consulting
We want to make building your target devices as convenient as possible. However, SYSGO’s guided trainings boost the skills of your embedded developer team and maximizes the output – for efficient teams that love to develop for embedded devices.
Certifiable IP Stack (CIP)
CIP is a UDP/IP networking stack compatible with the standard RFC specifications. It is available for the POSIX and PikeOS APIs and provides a standard socket interface. CIP is certifiable within the scope of Safety projects.
Certifiable File System (CFS)
The CFS is a PikeOS component that provides a fail-safe file system with more functionality than the PikeOS native file system. In addition to the basic file operations implemented by the internal PikeOS file providers, the CFS can also handle directories and file manipulations. It is still a simplified file system compared to standard Linux file systems and is certifiable within the scope of Safety projects.
Certifiable Math Library (CML)
The CML provides various mathematical functions of the C standard library. CML is certifiable within the scope of Safety projects.
"Avionic Full-Duplex Switched Ethernet" (ARINC 664 Part 7) is a deterministic aircraft data network bus system for Avionics systems. The network is based on standard IEEE802.3 Ethernet technology. SYSGO's implementation is software based and runs on COTS hardware.
Drivers for PikeOS as well as other embedded operating systems (e.g. LynxOS-178, ...) are available. All artefacts required to process a DO-178C certification are available. The currently available documents will cover a certification up to Level A.
The software stack can also be used stand-alone out of the context of an operating system, e.g. on switches.
PikeOS for MPU
Real-Time Partitioning for MPU Architectures
PikeOS for MPU is aiming to provide a safe and secure execution environment for medium-sized hardware platforms which do not provide a memory management unit (MMU) and therefore cannot run the standard PikeOS.
PikeOS for MPU is intended to be used on MPU-based SoCs as well as on heterogeneous SoC implementing MMU and MPU clusters.
AdaCore is the leading provider of commercial software solutions for Ada. They present a variety of products that can be integrated on PikeOS offering highest certification processes with pre-certified compilers.
Aicas offers Java via its “Jamaica” product which requires POSIX or Linux guest operating system on PikeOS. The Java guest OS is implemented on top of PikeOS’s POSIX , i.e. the Java scheduler uses the POSIX scheduler for implementing the necessary real-time Java functionality.
Ansys delivers solutions for Safety-critical environments with its integrated model-based design & development platform. One of many flagship products is SCADE suite which allows model-driven development within a graphical environment. Source code can be directly exported and embedded into a PikeOS application project.
Advanced Graphics & Compute
CoreAVI is the global leader in architecting and delivering Safety-critical graphics, compute, and video drivers, embedded graphics processors, and DO-254/ED-80 certifiable COTS hardware IP.
Control Flow Integrity
Karamba Security offers runtime integrity technology (called XGuard) integrated in selected SYSGO OS products starting with SACoP automotive connectivity platform. The software integrity is required in the UN ECE Feb 2019 draft document and thus a needed requirement.
Data Distribution Service (DDS)
RTI's (Real-Time Innovations) Connext® product enables intelligent architectures by sharing information in real-time, making large applications work together as one and offers to configure a variety of virtual partitions.
Compiler & Library Testing
Solid Sands offers compiler validation, code qualification and high Safety certification requirements for the PikeOS development environment.
AUTOSAR Adaptive & Classic
Available via the SYSGO/Vector Joint Venture which offers Automotive certification ISO 26262 up to ASIL D. It runs on PikeOS with POSIX partitions. PikeOS can also support AUTOSAR classic running in one of the PikeOS partitions.
SSL, TLS, MQTT
wolfSSL offers different Security elements with an emphasis on speed, size, portability, features, and standards compliance that can be sold as a bundle with SYSGO OS solutions.
|Product||Version||Linked ELinOS Version||Release||EOL|
|PikeOS||3.4 (non cert)||5.2||2013-07||Since 2017-12|
|PikeOS||3.4 (cert)||5.2||2013-07||LTS on x86|
|PikeOS||3.5||6.0, 6.1||2015-01||Since 2017-12|
|PikeOS||4.0||6.0, 6.1||2016-03||Since 2019-06|
|PikeOS||4.2 (non cert)||6.2||2017-01||Candidate|
|PikeOS||5.0 (non cert)||7.0, 7.1||2020-06||Current|
|PikeOS||5.0 (cert)||7.0, 7.1||2020-08||Current|
|PikeOS||5.1 (non cert)||7.1||2021-01||Current|
About SYSGO's Roadmap
For standard products like PikeOS, SYSGO is performing continuous product development following the product roadmap as well as error corrections and feature enhancements. We provide customers regular product releases and updates as described in our roadmap.
Product versions and releases are identified by three-digit number A.B.C:
A = Major Release, B = Minor Release, C = Service Release
- “Candidate” means that we are discussing currently when and how to start EOL process for this version
- “LTS” means long-term support available
- “Current” means current version
PikeOS End-of-Life (PDF)
Multi-Core & Fine-Granular Locking
Quicker and more deterministic multi-core handling via fine-granular locking on kernel-specific threads
More flexibility via a broad support of architectures and guest OS types
Safety & Security Bulletins / Patches
Step by step we enlarge Security add-on technologies, such as TSL, SSL or encryption libraries to help making systems more secure
Benefit from best-in-class ARINC 653, Part 1 + Part 2 and ARINC 664
Wide support of Linux open source, via SYSGO’s own Linux distribution ELinOS or vendor-specific or Yocto kernels
PikeOS native API
Enhanced PikeOS native API allows migration from software running on proprietary operating systems as well as usage of open-source projects
Less export compliance issues with PikeOS
Trainings & Support
User-oriented consulting to combine your acquired PikeOS and tools knowledge with your actual project requirements