Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects

Watch this webinar

Sign up to receive news updates and exclusive event invitations from Rapita Systems.

When you contact us, we will process your personal data in accordance with our data protection policy, please see our Customer Privacy Information for more information.

What happens next?

You will receive an email containing a password for the webinar recording. In some cases this can take up-to 5 minutes. If you do not receive the email or have any questions, please do not hesitate to contact us.

What's inside?

A technical webinar

Wind River's ARINC 653 compliant platforms help aerospace suppliers produce safety-critical avionics software for multicore architectures by using robust virtualization and partitioning technologies. These enable the partitioning of cores for different applications at different criticalities and also make it possible to run multiple applications on one specific core.

When incorporated into system-design considerations, these partitioning mechanisms enable developers to reduce the effects of interference on software performance. Interference can affect execution timing behaviour (including WCET), as identified in the FAA's CAST-32A position paper (MCP_Software_1).

Rapita's Multicore Timing Solution provides the means for verifying that interference effects on the final hosted software are understood and bounded. By identifying and quantifying any interference in the system developed on the partitioned system, Rapita can help companies deliver an assessment of the robustness of the system, demonstrate it is free from interference and provide evidence of WCET to certification authorities.

  • Examine partitioning mechanisms on Wind River's VX Works ARINC 653 RTOS.
  • How to reduce interference between tasks on different cores.
  • How Rapita demonstrate mitigation strategies are effective.
  • How to quantify interference effects including timing behavior.
  • Watch a practical demo on a T2080 multicore processor.