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.