基于CPN 的嵌入式RTOS 任务调度建模

摘要：

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

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

所属期刊栏目：36

分类号：TP393(计算技术、计算机技术)

资助基金：国家"973"计划基金资助项目2009CB724205;国家自然科学基金资助项目50577037;中国博士后科学基金资助项目20080440377

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1-3