Feasibility checks for RM and EDF real-time scheduling algorithms