Scheduling coprocessor for enhanced least-laxity-first scheduling in hard real-time systems