RTOS extensions for dynamic hardware / software monitoring and configuration management | IEEE Conference Publication | IEEE Xplore