• Datasheet PikeOS 3.3
  
• Datasheet_AFDX
  
• Industry Solution Aerospace and Defense
  

• Safe and Secure Virtualization in a Separation Microkernel: An introduction on how PikeOS can help to solve security issues 
• Better Avionics Software Reliability by Code Verification: An overview of recent code verification techniques being applied to a commercial RTOS 
• Bringing together real-time and Virtualization: An introduction how to match strict real-time constraints in a full virtualization environment 
• Combining Partitioning and Virtualization for Safety-Critical Systems: An introduction in facing complexity and criticality challenges of todays safety-critical systems
• Scheduling Virtual Machines in Real-time Embedded Systems: An introduction how modern scheduling methodologies optimize performance and security of embedded systems
• The PikeOS Concept - History and Design: An introduction how SYSGO had to reinvent the Microkernel concept to meet RTOS requirements 

The cost pressure on Aerospace & Defense manufacturers has grown tremendously. As a result, major obstacles for these industries include software components reusability, untangling of integration complexity, and facilitating after-sales updates and upgrades. These issues are always intertwined with aspects of safety, security and certification. Using commercial off the shelf platforms will help overcome these obstacles.

SYSGO has developed expertise on certification for security- and safety-critical applications both in terms of products and in terms of services. PikeOS product is the only product on the market designed from ground up to offer embedded virtualization that is also DO-178B certified. Personalities like ARINC-653 or Certified POSIX have been specifically developed for the avionics industry, as well as RTEMS on LEON processor for the space sector. As embedded Linux is more and more considered for non-highly critical applications, ELinOS is being used in actual aircraft equipment. The complementary with PikeOS makes it the product of choice for new IMA based systems where different levels of criticality have to co-exist on the same platform. SYSGO has been involved in different avionics projects requiring the integration of AFDX functionality. The Safety-Critical Ethernet solution is the first DO-178B certified software based implementation of its kind.

The aerospace and defense industry has developed new system strategies, especially the integrated modular avionics concept (IMA),  to meet the challenges. With PikeOS SYSGO offers a virtualization platform enabling developers to introduce the IMA concept in avionics applications. The implementation of IMA results in savings of weight, cabling, and space leading to a reduction of time and costs in the development process, during operations and maintenance. See how customers of the aerospace and defense industry used PikeOS in their projects.