An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
| Autor: | Emil Karlsson, Elina Rönnberg, Mathias Blikstad, Tomas Lööw |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Matematik
021103 operations research Control and Optimization Computer science business.industry Mechanical Engineering 0211 other engineering and technologies Scheduling (production processes) Avionic system Scheduling Discrete optimisation Integer programming Multiprocessor scheduling Constraint generation Aerospace Engineering Computational mathematics ComputerApplications_COMPUTERSINOTHERSYSTEMS 02 engineering and technology Avionics Modular design Financial engineering 020204 information systems Embedded system 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering Architecture business Software Mathematics Civil and Structural Engineering |
| Popis: | In modern integrated modular avionic systems, applications share hardware resources on a common avionic platform. Such an architecture necessitates strict requirements on the spatial and temporal partitioning of the system to prevent fault propagation between different aircraft functions. One way to establish a temporal partitioning is through pre-runtime scheduling of the system, which involves creating a schedule for both tasks and a communication network. While avionic systems are growing more and more complex, so is the challenge of scheduling them. The scheduling of the system has an important role in the development of new avionic systems, since functionality is typically added to the system over a period of several years and a scheduling tool is used both to detect if the platform can host the new functionality and, if this is possible, to create a new schedule. For this reason an exact solution strategy for avionics scheduling is preferred over a heuristic one. In this paper we present a mathematical model for an industrially relevant avionic system and present a constraint generation procedure for the scheduling of such systems. We apply our optimisation approach to instances provided by our industrial partner. These instances are of relevance for the development of future avionic systems and contain up to 20,000 tasks to be scheduled. The computational results show that our optimisation approach can be used to create schedules for such instances within a reasonable time. Funding agencies: Swedish Armed Forces; Swedish Defence Materiel Administration; Swedish Governmental Agency for Innovation Systems [NFFP6-2014-00917]; Center for Industrial Information Technology (CENIIT); Research School in Interdisciplinary Mathematics at Linkoping Univ |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|