Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods

  • Friedrich Eisenbrand
  • Karthikeyan Kesavan
  • Raju S. Mattikalli
  • Martin Niemeier
  • Arnold W. Nordsieck
  • Martin Skutella
  • José Verschae
  • Andreas Wiese
Conference paper

DOI: 10.1007/978-3-642-15775-2_2

Volume 6346 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Eisenbrand F. et al. (2010) Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods. In: de Berg M., Meyer U. (eds) Algorithms – ESA 2010. ESA 2010. Lecture Notes in Computer Science, vol 6346. Springer, Berlin, Heidelberg

Abstract

We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a minimum number of machines and offsets of the tasks have to be computed. The tasks emit jobs periodically starting at their offset and then need to be executed on the machines without any delay. Also, further constraints in terms of memory usage and redundancy requirements have to be met. Approaches based on standard integer programming formulations fail to solve our real-world instances. By exploiting structural insights of the problem we obtain an IP-formulation and primal heuristics that together solve the real-world instances to optimality and outperform text-book approaches by several orders of magnitude. Our methods lead, for the first time, to an industry strength tool to optimally schedule aircraft sized problems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Friedrich Eisenbrand
    • 1
  • Karthikeyan Kesavan
    • 2
  • Raju S. Mattikalli
    • 2
  • Martin Niemeier
    • 1
  • Arnold W. Nordsieck
    • 2
  • Martin Skutella
    • 3
  • José Verschae
    • 3
  • Andreas Wiese
    • 3
  1. 1.EPFLLausanneSwitzerland
  2. 2.BoeingUSA
  3. 3.TU BerlinGermany