Design of task management model based on B method

Task management is an important part of an operating system, safe and reliable task management program is crucial for operating system running. To overcome the limitations of traditional methods for operating system development, taking Embedded Real-Time Operating System MicroC/OS-II as chief reference, a formal model of task management based on B method is proposed in this paper. According to the idea of step-wised construction of B method, we refine the abstract specification models designed in the previous stage. This work achieves a realizable model of task management eventually. Task management developed based on B method may improve the system validity and security.