首页 | 本学科首页   官方微博 | 高级检索  
     

分布式嵌入式系统实时调度的建模
引用本文:张海涛,邱联奎,艾云峰.分布式嵌入式系统实时调度的建模[J].计算机应用,2008,28(8):2177-2180.
作者姓名:张海涛  邱联奎  艾云峰
作者单位:河南科技大学 河南科技大学
基金项目:国家自然科学基金资助项目
摘    要:针对RBTPN模型在建模分布式嵌入式系统实时调度时的不足,提出了一种新的扩展时间Petri网模型。该模型通过在需要处理器资源的变迁上引入变迁速率因子,得到具有相同优先级变迁的运行速率函数,从而在分布式嵌入式系统的调度建模中,在单个处理器上结合了固定优先级可抢先调度和轮转调度。随后给出了该模型可达图的构造方法,以便可以得到调度序列的各种性质。

关 键 词:嵌入式系统    调度    建模    Petri网
收稿时间:2007-12-17

Modeling of real-time scheduling for distributed embedded systems
ZHANG Hai-tao,QIU Lian-kui,AI Yun-feng.Modeling of real-time scheduling for distributed embedded systems[J].journal of Computer Applications,2008,28(8):2177-2180.
Authors:ZHANG Hai-tao  QIU Lian-kui  AI Yun-feng
Affiliation:ZHANG Hai-tao1,QIU Lian-kui1,AI Yun-feng2(1. Electronic , Information Engineering College,Henan University of Science , Technology,Luoyang Henan 471003,China,2.College of Computing , Communication Engineering,Graduate University of the Chinese Academy of Sciences,Beijing 100049,China)
Abstract:Aiming at the deficiencies of RBTPN in modeling real-time scheduling of distributed embedded system, we put forward a new extended time Petri Net model on its base. The model introduces transition rate factor on transitions that need processor resources, and gets working rate function of transitions that have the same priority, so that the model combine preemptive scheduling based on fixed priority and round-robin scheduling on single processor in the scheduling modeling of distributed embedded system Then ...
Keywords:embedded system  scheduling  modeling  Petri nets
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用》浏览原始摘要信息
点击此处可从《计算机应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号