Channel mapping strategies for effective protection switching in fail-operational hard real-time NoCs.