PikeOS RTOS and Virtualization Concept

The concept of PikeOS combines real-time operating system (RTOS), virtualization platform, and Eclipse based integrated development environment (IDE) for embedded systems. The underlaying PikeOS micro-kernel is especially suitable for safety-critical and security-critical applications with certification needs in the fields of Aerospace & Defense, Automotive & Transportation, Industrial Automation & Medical, Network Infrastructure, and Consumer Electronic.

Real-time Operating System Technology

PikeOS real-time operating system is a virtualization platform allowing to run several applications - whether real-time or not – in different virtual machine (VM) together on a single hardware platform. For those applications having hard real-time requirements the scheduling mechanism of PikeOS ensures spatial and temporal deterministic. Thus, in terms of real-time, PikeOS RTOS technology competes head to head with conventional real-time operating systems.
Read more...
 

PikeOS embedded virtualization

PikeOS embedded virtualization is designed to manage virtualization along with the special requirements of complex embedded systems, e.g. real-time responsiveness, deterministic and diverse hardware and software support. While server or desktop virtualization mainly targets on space partitioning to make better use of a x86 hardware platform, PikeOS embedded virtualization offers more flexibility through time and space partitioning. PikeOS embedded virtualization provides partitions for multiple guest operating systems, so-called personalities, and supports diverse hardware platforms.
Read more...
 

PikeOS Partitions & Personalities

Partitions can host a broad variety of personalities, i.e. guest operating systems, run-time environments (RTE) and APIs, on top of the hypervisor and support applications of different security level, different criticality level, real-time or none real-time. This variety of personalities enables legacy applications (e.g. Ada or legacy RTOS) to run concurrently with new applications based on standards like POSIX or ARINC-653 and can even be combined with embedded Linux. All these personalities run on the same PikeOS kernel support applications in industries like aerospace & defense, automotive & transportation, industrial automation & medical, network infrastructure, and consumer electronics.
Read more...
 

PikeOS Safety Certification

Safety certification becomes more and more mandatory for software component of embedded systems. Although complex programs apparently cannot be made bug-free, an occasional system failure may be acceptable for a desktop system but by no means for safety-critical embedded systems. A failure of such a system can harm or even kill humans. Therefore, it must be shown to be reliable before it can be allowed to control, e.g. an airplane, a chemical plant, e vehicle etc. The effort of safety certification, whatever it relates to DO-178B, IEC 61508, EN 50128 or ISO 26262, can be reduced significantly if the software design ensures a small trusted code base, reduced software complexity and different criticality levels in complex embedded systems.
Read more...
 

MILS compliant Security according to Common Criteria (CC)

Security-critical applications for real-time embedded systems benefit from the PikeOS multiple independent levels of security (MILS) architecture. The MILS architecture offers a separation kernel allowing the combination of trusted and untrusted code on a single hardware platform. PikeOS complies with the MILS architecture concept and is completing formal code verification to allow certification according to Common Criteria (CC) up to EAL 7.
Read more...
 

Eclipse based integrated development environment (IDE) for PikeOS

Developing embedded applications for embedded virtualization requires specific support from the IDE. The Eclipse-based IDE CODEO support system architects with graphical configuration tools, provides all the components software engineers need to develop embedded applications and includes comprehensive little helpers to finish embedded projects in a time-saving and cost-efficient way: guided configuration, remote debugging (down to the hardware instruction level), target monitoring, remote application deployment, and timing analyses. Of course, CODEO provides standard application development features such as compiler, assembler and linker.
Read more...
 

Flexible single- and multi-core support

In the embedded market, hardware is continuously altering. Preserving the value of application software, PikeOS offers a flexible porting concept that splits the traditional structure of Board Support Packages (BSP) into an Architecture Support Package and a Platform Support Package. Today, PikeOS is available for a broad range of hardware architectures (ARM, MIPS, PPC, SH4, x86, x86-64, SPARC V8, LEON) and boards of diverse manufacturers and even for multi-core platforms.
Read more...
 
Print this page
Newsletter  |  Contact  |  Imprint  |  General Terms and Conditions