Abstract: A highly reliable embedded partition operating system kernel based on μC/OS-II was designed and implemented.In order to ensure the execution time of the high safety-critical level partition and improve the reliability of the system,a new partition scheduling algorithm which has variable execution time in every cycle was proposed .It can not only guarantee the partition with higher safety-critical level execution first,but it also has good resource utilization and task schedulability.The kernel introduced access control to ensure information security of the system,and a bit computing based access control algorithm was also proposed.Finally, algorithm analysis and experiments demonstrate the effectiveness and timeliness of our algorithm.

Key words: Highly reliable,Time and space partitioning,RTOS,Partition scheduling,Access control