Embedded Partitioning Real-Time Operating System Based on Microkernel | IEEE Conference Publication | IEEE Xplore