Evaluation and Comparison of Integer Programming Solvers for Hard Real-Time Scheduling

Ana GUASQUE, Patricia BALBASTRE
2022 IEICE transactions on information and systems  
In order to obtain a feasible schedule of a hard real-time system, heuristic based techniques are the solution of choice. In the last few years, optimization solvers have gained attention from research communities due to their capability of handling large number of constraints. Recently, some works have used integer linear programming (ILP) for solving mono processor scheduling of real-time systems. In fact, ILP is commonly used for static scheduling of multiprocessor systems. However, two main
more » ... solvers are used to solve the problem indistinctly. But, which one is the best for obtaining a schedulable system for hard real-time systems? This paper makes a comparison of two well-known optimization software packages (CPLEX and GUROBI) for the problem of finding a feasible schedule on monoprocessor hard real-time systems.
doi:10.1587/transinf.2022edp7073 fatcat:63zyaei3vfbkxawzsw4ljw5gzy