Wind River’s VxWorks 653 integrated multiple avionics (IMA) platform allows sophisticated display functions to be easily integrated into time and space-partitioned systems using standard COTS platforms. The integration between Esterel and Wind River products includes qualified code generation, verification and enhanced support for OpenGL SC, safety-critical graphics in the deployed system.