GPUguard: Towards supporting a predictable execution model for heterogeneous SoC