An RTOS Methodology for NoC Based Systems' Support -- The HellfireOS Case Study | IEEE Conference Publication | IEEE Xplore