Avionics task scheduling

On a Boeing 787 or an Airbus A380, the flight-control computer runs dozens of tasks at varying frequencies — flight-surface control at 100 Hz, autopilot at 50 Hz, displays at 20 Hz, mission planning at 1 Hz. The scheduler (typically rate-monotonic or earliest-deadline-first) must guarantee every hard-deadline task finishes on time. That is job sequencing with hard deadlines and infinite penalty for misses. Ada's Ravenscar profile, used in most safety-critical avionics, was designed to make these scheduling guarantees provable. Lockheed Martin, Honeywell, and Thales all ship Ada-based flight software for exactly this reason. The same problem also runs manufacturing lines (jobs through a single bottleneck machine), emergency-room triage (patients as jobs, priority and length varying), and batch scheduler infrastructure.