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

Robert Hilbrich, Hans-Joachim Goltz

Browse the full ICSE paper archive.