A hardware-software real-time operating system framework for SoCs | IEEE Journals & Magazine | IEEE Xplore