Mixed-criticality real-time task scheduling with graceful degradation