作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2006, Vol. 32 ›› Issue (18): 6-8,31. doi: 10.3969/j.issn.1000-3428.2006.18.003

• 博士论文 • 上一篇    下一篇

基于Petri网的分布式实时嵌入式系统调度的建模

张海涛,艾云峰   

  1. (中国科学院自动化研究所复杂系统与智能科学重点实验室,北京 100080)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-09-20 发布日期:2006-09-20

Schedule Modeling Based on Petri Nets for Distributed Real-time Embedded Systems

ZHANG Haitao, AI Yunfeng   

  1. (Key Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100080)
  • Received:1900-01-01 Revised:1900-01-01 Online:2006-09-20 Published:2006-09-20

摘要: 提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统:在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。

关键词: Petri网, 嵌入式系统, 调度, 建模

Abstract: 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.

Key words: Petri nets, Embedded system, Schedule, Modeling

中图分类号: