Real-Time Task Scheduling Modeling Using Mixed-Integer Programming

Priority-driven scheduling of real-time systems has attracted considerable research in the literature. The bulk of the research focuses on attempts to explore scheduling schemes that optimize a particular parameter without meticulous considerations related to the global system's behavior. This work is concerned with the implementation of mathematical programming models developed to substantiate the effectiveness of other models.