Backend for virtual platforms with hardware scheduler in the MAPS framework | IEEE Conference Publication | IEEE Xplore