Deos real-time operating system to provide safety-critical platform for advanced new avionics display