Optimisation methods for solving a large-scale avionics scheduling problemкнига
Аннотация: Modern computer systems in aircraft are based on an integrated modular avionic architecture.In this architecture, software applications share hardware resources on a common avionic platform.Many functions in an aircraft are controlled by software and a failure in such software can have severe consequences.To avoid malfunction, there are many aspects to consider.One aspect is to ensure that the activities in the system get sufficient computing and network communication resources while being completed in time.This thesis contributes to addressing this challenge by studying an avionics scheduling problem proposed by Saab.In this problem, tasks are performed on modules and the messages are sent on a communication network that links the modules.A schedule specifies start times for tasks on modules and the choices of time slots for messages on the communication network.For a schedule to be feasible, constraints must be respected: precedence constraints between tasks, timing constraints on tasks and messages, and communication network constraints involving both tasks and messages.For future platforms, it is expected that large-scale instances need to be solved.The methods introduced in this thesis solve instances with up to 55,000 tasks and 2500 messages.The thesis includes three papers that introduce methods for solving the avionics scheduling problem and one paper that compares techniques to improve the performance of a specific type of decomposition method.The solution methods for the avionics problem differ in how the decomposition is made, how the subproblems are solved, and if the algorithm is guaranteed to find a feasible solution or not, given enough time.Together, the contributions of these papers give an insight into the structure of this type of avionics scheduling problem and how this structure can be exploited to construct efficient exact and matheuristic scheduling methods.First I would like to give thanks to my main supervisor Elina Rönnberg.You have shaped my PhD journey more
Год издания: 2021
Авторы: Emil Karlsson
Издательство: Linköping University Electronic Press
Источник: Linköping studies in science and technology. Dissertations
Ключевые слова: Scheduling and Optimization Algorithms, Assembly Line Balancing Optimization, Advanced Manufacturing and Logistics Optimization
Другие ссылки: Linköping studies in science and technology. Dissertations (PDF)
Linköping studies in science and technology. Dissertations (HTML)
KTH Publication Database DiVA (KTH Royal Institute of Technology) (PDF)
KTH Publication Database DiVA (KTH Royal Institute of Technology) (HTML)
Linköping studies in science and technology. Dissertations (HTML)
KTH Publication Database DiVA (KTH Royal Institute of Technology) (PDF)
KTH Publication Database DiVA (KTH Royal Institute of Technology) (HTML)
Открытый доступ: gold