are supporting the system integrator to always keep the overview on important aspects of the PikeOS system configuration showing partition types, scheduling, communication channels, shared memory and IO device configuration within partitions. Projects can be easily defined with the help of reusable templates and distributed to the development groups. Users can configure predefined components for their project and can also define and add other components during the development process. Key benefits Real-time operating system including Type-1 hypervisor defined for highly flexible configuration Supports fast or secure booting times Supporting mixed criticality via separation kernel in one system Configuration of partitions with time and hardware resources Kernel driver and user space drivers supported Hardware independence between processor types and families Easy migration processes and high portability on single- and multi-core Developed to support certification according to multiple safety & security standards Reduced time to market via standard development and verification tools Wide range of supported GuestOS types: APIs No export restriction: European solution Certification standards Safety certification standards according to: Radio Technical Commission for Aeronautics (RTCA) – DO-178B/C International Organization for Standardization (ISO) – 26262 International Electrotechnical Commission (IEC) – 62304, 61508 EN – 50128, 50657 Security certification standards according to: Common Criteria SAR (?) Partner ecosystem SYSGO is committed to establish the technology and business partnerships that will help software engineers to achieve their goals. , SYSGO is working with about 100 partners globally. An excerpt of partners per category is mentioned below: Board vendors: Curtiss-Wright Controls Embedded Computing, Kontron, MEN or ABACO Silicon vendors: NXP, Renesas, Texas Instruments (TI), Xilinx, Infineon, NVidia or Intel Software partners: CoreAVI, wolfSSL, Aicas, AdaCore, Esterel, Apex.AI, RTI, PrismTech, Datalight, Systerel, Imagination Technologies or RAPITA Tool partners: Lauterbach, Vector Software, Rapita, iSYSTEM Supported architectures: ARM, PowerPC, x86, or SPARC (on request) Supported GuestOS types Linux or Android (ideally SYSGO Linux distribution ELinOS) POSIX PSE51 with PSE52 extensions ARINC 653 RTEMS Java AUTOSAR Ada, including Ravenscar profile and others End-of-life overview References External links , SYSGO PikeOS Official Product Site PikeOS Product Note (PDF) PikeOS Flyer (PDF) Real-time operating systems Microkernels Virtualization software Embedded operating systems ARM operating systems Microkernel-based operating systems