Model-based generation of static schedules for safety critical multi-core systems in the avionics domain

  • Authors:
  • Robert Hilbrich;Hans-Joachim Goltz

  • Affiliations:
  • Fraunhofer FIRST, Berlin, Germany;Fraunhofer FIRST, Berlin, Germany

  • Venue:
  • Proceedings of the 4th International Workshop on Multicore Software Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Static schedules are used in safety critical systems to achieve predictable, real-time behavior. While it was possible to construct static schedules manually for simple, single-core systems, the increase in complexity introduced by multicore processors and the demand for flexible and dynamic engineering processes in the avionics domain, require a novel approach for their automatic generation. This paper describes ongoing trends in the avionics domain to further underline engineering constraints encountered, when introducing multi-core processors in a safety critical area. By focussing on the requirement of a predictable behavior, a model-based approach for the generation of static schedules for complex multi-core systems is presented. It incorporates the usage of external resources, which is essential to achieve deterministic resource access and real-time behavior on hardware architectures with multiple execution units.