Run-time scheduler synthesis for hardware-software systems and application to robot control design | IEEE Conference Publication | IEEE Xplore