摘要
提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统:在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。
A time Petri net model based on resources is presented so as to model static schedule of distributed real-time embedded systems, and analyze system performances, The model attaches processor and communication resources, and respective priorities to transition, and well model following distributed embedded systems： using preemptive schedule based on fixed priority on single processor, using non-preemptive schedule for communication among processors. At last, the model＇s semantic and property is analyzed, and state class graph is constructed.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第18期6-8,31,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60334020)
国家杰出青年科学基金资助项目(60125310)
