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.
PikeOS brings together virtualization and real-time by means of unique and never seen before technologies. It allows you to migrate numerous complex embedded circuit boards in to a single hardware. It does not stop when it comes to new hardware concepts such as Big-SoCs with multiple heterogeneous processor cores. Finally, when it comes to certification, SYSGO offers you the right certification kit in order to help you facing the certification authorities.
PikeOS runs on several architectures - supporting processors that come with a memory management unit (MMU) as well as less complex SOCs that contain a memory protection unit (MPU) only. Please refer to the BSP list for more details.
Supported Guest OSs and APIs
The PikeOS native API is primarily designed in order 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.
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.
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 is certifiable according to DO-178C DAL A.
When a large set of features is required, Linux is the operating system of choice. Although PikeOS has no restrictions on the Linux distribution to be hosted, the in-house ELinOS is recommended. It offers the most straight forward integration into a PikeOS virtual machine as well as dedicated extensions in order to directly use enhanced PikeOS features. Linux operating system partitions are often used alongside a POSIX or ARINC 553 partition, setting up a an overall system with mixed criticality. The PikeOS hypervisor technology ensures that a running Linux OS 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.
Additional Products and Libraries
Certifiable File System (CFS)
The Certifiable File System (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. Learn more
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. Learn more
Certifiable Math Library (CML)
The CML provides various mathematical functions of the C standard library. CML is certifiable within the scope of Safety projects. Learn more
"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.
PikeOS as well as LynxOS-178 drivers 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.
Further Software Partner Add-Ons
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.
ANSYS delivers solutions for safety critical environments with its integrated model based design & development environment. One of their 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.
Java via Aicas “Jamaica” product. 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.
AUTOSAR Adaptive is offered via the SYSGO/Vector Joint Venture solution and is able to offer automotive certification ISO 26262 up to ASIL D. It runs on PikeOS with POSIX partitions.
Control Flow Integrity
Karamba 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.
|Product Type||Product Version||Linked CODEO Version||Linked ELinOS Version||EOL|
|PikeOS||3.4 (non cert)||5.0, 6.0, 6.1, 6.2||5.2||Since 2017-12|
|PikeOS||3.4 (cert)||5.0, 6.0, 6.1, 6.2||5.2||LTS on x86|
|PikeOS||3.5||5.1, 6.0, 6.1, 6.2||6.0, 6.1||Since 2017-12|
|PikeOS||4.0||6.0, 6.1, 6.2||6.0, 6.1||Since 2019-16|
|PikeOS||4.1||6.1, 6.2||6.1||Announced for 2021-04|
|PikeOS||4.2 (non cert)||6.2||6.2||Candidate|
|PikeOS||5.0 (non cert)||7.0, 7.1||7.0||Current|
|PikeOS||5.0 (cert)||7.0, 7.1||7.0||Current|
|PikeOS||5.1 (non cert)||7.1||7.0||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
- “Planned” means next planned version
Benefit from best in class ARINC 653, Part 1 + Part 2 and ARINC 664
Multi-Core & Fine-Granular Locking
Quicker and more deterministic multi-core handling via fine-granular locking on kernel-specific threads
Less export compliance issues with PikeOS
More flexibility via a broad support of architectures and Guest OS types
Wide support of Linux open source, via SYSGO’s own Linux distribution ELinOS or vendor-specific or Yocto kernels
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
PikeOS native API
Enhanced PikeOS native API allows migration from software running on proprietary operating systems as well as usage of open-source projects
Trainings & Support
User-oriented consulting to combine your acquired PikeOS and tools knowledge with your actual project requirements