A Hardware-Scheduler for Fault Detection in RTOS-Based Embedded Systems | IEEE Conference Publication | IEEE Xplore