PikeOS for embedded Systems in Safety & Security
PikeOS is an innovative and certified real-time operating system (RTOS) that provides a virtualization platform for embedded systems to allow multiple virtual machines to run simultaneously in a protected environment on one hardware. All cores of a multiprocessor system are symmetrically supported. The PikeOS Separation Kernel has been certified according to Common Criteria EAL 3+ and is currently the only real-time operating system that has CC certification. PikeOS was developed specifically for use in safety-critical applications and offers Guest OS, runtime environments and APIs based on a microkernel, such as PikeOS Native, POSIX, ARINC-653, Java, Linux, Android™, RTEMS, AUTOSAR, Legacy RTOS etc.
PikeOS offers a fully-certified development interface, enabling application development according to the principle "Safe & Secure by Design". More information also here: www.sysgo.com/common-criteria
Broad Support of Hardware Platforms
PikeOS supports a variety of processor architectures, such as x86, PowerPC, ARM or SPARC V8/LEON. It enables the combination of existing safety-critical applications (code from old projects) with new operating systems or software components, such as Linux or POSIX.
Highest Requirements for Safety & Security
PikeOS projects can be certified according to standards for software developments with high demands on safety, such as DO-178B/C, IEC 61508, EN 50128, IEC 62304, ISO 26262, IEC 15408 (Common Criteria) and can be executed in compliance with MILS. PikeOS can be used both in cost-sensitive architectures with limited resources and in large, complex systems.
The consistent modular design based on a microkernel delivers the same performance as conventional real-time operating systems, but with increased overall system security. With multiple active processor cores, the customizable time partition management covers a wide range of configurations, from stringent AMP (Asymmetric Multi Processing) to flexible SMP (Symmetric Multi-Processing).
CODEO - Eclipse-based integrated Development Environment
PikeOS is delivered with CODEO 7, an Eclipse-based development environment. This enables easy system configuration, application development, remote debugging, monitoring, system and application tracing. In 2013, PikeOS received the world's first EN 50128 SIL 4 certification of a real-time operating system on multi-core processors.
Currently, PikeOS provides developers with improved single and multi-core CPU handling (scalability), more efficient power and resource management and secure / optimised task handling in processor cores (fine-grained locking). This makes PikeOS the ideal basis for certification projects with high safety and security requirements.
More information at: www.sysgo.com/pikeos