A lightweight , hardware-based support for isolation in mixed-criticality Network-on-Chip architectures