Embedded RTOS Task Schedule Modeling Based on CPN

LIU Jing-yu,ZHU Yu
2010-01-01
Abstract:Aiming at the finesses of system in parallel,concurrency and resource sharing description,this paper introduces Colored Petri Net(CPN) into embedded Real Time Operating System(RTOS) modeling.It solves the realistic problem of CPU monopolization,the realization of task queue based on priority,the time dealing of task preempt,and the cycle of the tasks in RTOS task schedule model.A CPN model is built for preemptive priority task schedule example.Results show that this CPN model can relevantly describe the dynamic characters,and exactly simulate the efficiency and other performance of the RTOS.
What problem does this paper attempt to address?