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

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 behavior (including WCET), as identified in the MCP_Software_1 objective of AC 20-193, AMC 20-193 and CAST-32A.

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 VxWorks^® ARINC 653 RTOS.
• How to reduce interference between tasks on different cores.
• How Rapita demonstrates mitigation strategies are effective.
• How to quantify interference effects including timing behavior.
• Watch a practical demo on a T2080 multicore processor.