Soft real-time scheduling for embedded control systems