High-level simulation for enhanced context switching for real-time scheduling in MPSoCs