Increasing processor utilization in hard-real-time systems with checkpoints