High-Level NoC Model for MPSoC Compilers