Title: Time-Predictable Embedded Software on Multi-Core Platforms