Sysgo
Certification kit for real-time operating system
Sysgo has introduced a comprehensive avionics security certification kit for the 'hypervisor'-based real-time operating system 'PikeOS', which includes an ARINC 653 execution environment
The certification kit enables Sysgo customers from the avionics industry to develop systems and applications in accordance with the highest Safety Development Assurance Level A (DAL A), as described in the avionics safety standard DO-178C/ ED-12C. The kit includes safety and user manuals, interface documentation and worst-case timing analysis (WCET). It also includes a partitioning and stack analysis as well as a qualification report for all tools used based on the DO-330 requirements, which also include the operational requirements of the customer-related tools.
The complete qualification status is summarized in the Software Completion Summaries for PikeOS and ARINC 653, which demonstrate compliance with DO-178C/ ED-12C DAL A.










