Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures