| 基于Petri网的分布式实时嵌入式系统调度的建模 |
| |
| 引用本文： | 张海涛,艾云峰.基于Petri网的分布式实时嵌入式系统调度的建模[J].计算机工程,2006,32(18):6-8,31. |
| |
| 作者姓名： | 张海涛 艾云峰 |
| |
| 作者单位： | 中国科学院自动化研究所复杂系统与智能科学重点实验室,北京,100080;中国科学院自动化研究所复杂系统与智能科学重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金 |
| |
| 摘 要： | 提出了一种基于资源的时间Petri网模型，以便建模分布式实时嵌入式系统中的静态调度，分析系统性能。该模型将处理器资源和通信资源，以及相应的优先级附着到变迁上，从而建模以下的分布式实时嵌入式系统：在单处理器上采用基于固定优先级的抢先式调度，处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。
|
| 关 键 词： | Petri网 嵌入式系统 调度 建模 |
| 文章编号： | 1000-3428（2006）18-0006-03 |
| 收稿时间： | 2006-06-26 |
| 修稿时间： | 2006-06-26 |
Schedule Modeling Based on Petri Nets for Distributed Real-time Embedded Systems |
| |
| ZHANG Haitao,AI Yunfeng.Schedule Modeling Based on Petri Nets for Distributed Real-time Embedded Systems[J].Computer Engineering,2006,32(18):6-8,31. |
| |
| Authors: | ZHANG Haitao AI Yunfeng |
| |
| Affiliation: | Key Laboratory of Complex Systems and Intelligence Science, Institute of Automation, Chinese Academy of Sciences, Beijing 100080 |
| |
| 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. |
| |
| Keywords: | Petri nets Embedded system Schedule Modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
