PikeOS Native
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.
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.
POSIX
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.
Embedded Linux
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.
SCADE Suite
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.
Partners & Distributors
Further software & hardware partners and distributors are listed here: Partners & Distributors
Avionics Customers
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
ITAR free
Less export compliance issues with PikeOS
Flexibility
More flexibility via a broad support of architectures and guest OS types
Embedded Linux
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