Design and validation of multi-core embedded systems under time-to-prototype and high performance constraints