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

张海涛; 艾云峰

首页> 中文期刊> 《计算机工程》 >基于Petri网的分布式实时嵌入式系统调度的建模

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2006年第18期|6-831|共4页
作者
张海涛; 艾云峰;
展开▼
作者单位

中国科学院自动化研究所复杂系统与智能科学重点实验室;

北京;

100080;

中国科学院自动化研究所复杂系统与智能科学重点实验室;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动模拟理论（自动仿真理论）;
关键词
Petri网; 嵌入式系统; 调度; 建模;

相似文献

中文文献
外文文献
专利

1. 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估 [J] . 许玉堂 ,殷永峰 ,孙静 . 兵工学报 . 2015,第002期
2. 基于反馈控制的嵌入式实时系统调度算法设计 [J] . 邓腾 ,戴紫彬 ,张立朝 . 计算机应用 . 2015,第005期
3. 一种基于阈值的嵌入式实时系统调度算法 [J] . 黄广君 ,胡正国 . 计算机工程 . 2006,第003期
4. 基于层次实时有色Petri网的实时系统建模与分析方法研究 [J] . 刘铭 ,张国印 ,姚爱红 . 电子与信息学报 . 2011,第003期
5. 基于对象的分布式实时系统调度模型研究 [J] . 董荣胜 ,赵岭忠 ,蔡国永 . 计算机研究与发展 . 2002,第011期
6. 基于Petri网的嵌入式实时系统软件测试技术研究 [C] . 王珍 ,胡贵生 . 2004年全国理论计算机科学学术年会 . 2004
7. 基于统一调度理论的实时嵌入式系统调度算法优化研究 [A] . 李志泽 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅