A Reservation Scheduler for Real-Time Operating Systems