Predictable Embedded Multiprocessor System Design