Explicit Modelling of Multiple Intervals in a Constraint Generation Procedure for Multiprocessor Scheduling
Multiprocessor scheduling is a well studied NP-hard optimisation problem that occurs in variety of forms. The focus of this paper is explicit modelling of multiple task intervals. This work extends a constraint generation procedure previously developed for an avionics scheduling context. We here address a relaxation of the original problem and this relaxation can be considered as multiprocessor scheduling with precedence relations and multiple intervals. The explicit modelling of multiple intervals strengthens the formulation used in the constraint generation procedure and we illustrate the computational effects on an industrial relevant avionics scheduling problem.
KeywordsMultiprocessor scheduling Multiple intervals Avionics scheduling Constraint generation
The work is part of a project funded by the Center for Industrial Information Technology (CENIIT) and the work of Emil Karlsson is supported by the Research School in Interdisciplinary Mathematics at Linköping University.
- 2.Blikstad, M., Karlsson, E., Lööw, T., & Rönnberg, E. (2017). An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system. Technical report LiTH-MAT-R–2017/03–SE, Linköping University.Google Scholar