Hardware/Software Co-Design of RTOS-Based Platforms | IEEE Conference Publication | IEEE Xplore