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.

Key words: Colored Petri Net(CPN), embedded Real Time Operating System(RTOS), task schedule

摘要： 针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性，将其引入到嵌入式实时操作系统(RTOS)建模中，解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型，结果表明该模型能有效反映RTOS系统的动态特性，准确定量模拟出RTOS系统的效率、切换频率指标。

关键词: 有色Petri网, 嵌入式实时操作系统, 任务调度

CLC Number: 

• TP393