Optimization of Real-Time Systems with Deadline Miss