Model-based generation of static schedules for safety critical multi-core systems in the avionics domain
Robert Hilbrich, Hans‐Joachim Goltz · 2011
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.