嵌入式操作系统的容错算法调度研究,哈尔滨工程大学