Sysgo

Inka Krischke | Inka Krischke,

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

© Sysgo

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.

  • Xing Icon
  • LinkedIn Icon
Advertisement
Advertisement
Advertisement

You might also be interested in

Advertisement
Advertisement
Advertisement

Siemens

AI classification for safety

Artificial intelligence is seen as a solution to current challenges in various areas of life. Politicians are promoting AI, but would like to assess the consequences of the technology and regulate it if necessary. The use of AI for security tasks is...

read more...
Advertisement
Advertisement
Advertisement
Advertisement

Embedded AI

Embedded in the heart of the software

Artificial intelligence has become an integral part of everyday industrial life. But not all AI is the same. Its successful use depends much more on how well the AI functions are integrated into workflows, how practically they are used and how...

read more...
Subscribe to our newsletter
Advertisement
Back to home