Toward time-predictable execution of multi-task real-time systems