分布式嵌入式系统实时调度的建模  

Modeling of real-time scheduling for distributed embedded systems

作　　者：张海涛[1] 邱联奎[1] 艾云峰[2] 

机构地区：[1]河南科技大学电子信息工程学院,河南洛阳471003 [2]中国科学院研究生院计算与通信工程学院,北京100049

出　　处：《计算机应用》2008年第8期2177-2180,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60573078)

摘　　要：针对RBTPN模型在建模分布式嵌入式系统实时调度时的不足,提出了一种新的扩展时间Petri网模型。该模型通过在需要处理器资源的变迁上引入变迁速率因子,得到具有相同优先级变迁的运行速率函数,从而在分布式嵌入式系统的调度建模中,在单个处理器上结合了固定优先级可抢先调度和轮转调度。随后给出了该模型可达图的构造方法,以便可以得到调度序列的各种性质。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 we gave construction method of the model＇s reachable graph so as to get the characteristics of scheduling sequences.

关 键 词：PETRI网 嵌入式系统 调度 建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]