Feasibility checks for RM and EDF real-time scheduling algorithms - View it on GitHub