Mixed-criticality scheduling of sporadic task systems