A portable infrastructure supporting global scheduling of embedded real-time applications on asymmetric MPSoCs