期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Petri网的分布式实时嵌入式系统的调度分析 被引量：4

Scheduling analysis based on Petri nets for distributed real time embedded systems
在线阅读 下载PDF
导出
摘要 在基于资源的Petri网建立的分布式嵌入式系统模型中,针对没有考虑并行问题的常规调度分析算法无法计算出正确的调度长度的不足,通过引入时间基准和相对于初始状态类的触发域,得到了新的适合分布式实时嵌入式系统的调度分析算法。 Since common scheduling analysis algorithms in the model of distributed embedded systems constructed by Petri nets based on resources do not consider parallel problems, they can not get correct scheduling length. Aiming at this deficiency of the conventional scheduling analysis algorithms, a new algorithm adapting to the distributed embedded systems was presented by the introduction of time base and firing field relative to initial state class.
作者 张海涛 艾云峰
机构地区 河南科技大学电子信息工程学院 中国科学院自动化研究所复杂系统与智能科学重点实验室
出处 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第3期616-620,共5页 Journal of Jilin University:Engineering and Technology Edition
基金 国家自然科学基金资助项目(60334020) 河南科技大学人才科学研究基金资助项目(06-8)
关键词 计算机系统结构 嵌入式系统 调度分析 PETRI网 分布式 computer systems organization embedded system scheduling analysis Petri net distributed
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献8

  • 1Edwards S,Lavagno L,Lee E A.Design of embedded systems:formal models,validation,and synthesis[J].Proc of the IEEE,1997,85(3):366-390.
  • 2Cortés L A.A survey on hardware/software codesign representation models[R].SAVE Project Report,1999.
  • 3Esser R.An object oriented Petri net approach to embedded system design[D].Swiss:Federal Institute of Technology Zurich,1996.
  • 4Cortés L A.Modeling and formal verification of embedded systems based on a Petri net representation[J].Journal of Systems Architecture,2003,49:571-598.
  • 5Kleinjohann B,Tacken J.Towards a complete design method for embedded systems using predicate/transition-nets[C] // Proc of CHDL-97,1997:4-23.
  • 6Lime D,Roux O H.Expressiveness and analysis of scheduling extended time Petri nets[C]//5th IFAC International Conference on Fieldbus Systems and Their Applications,2003:193-202.
  • 7张海涛,艾云峰.基于Petri网的分布式实时嵌入式系统调度的建模[J].计算机工程,2006,32(18):6-8. 被引量：7
  • 8Xu Dian-xiang.Compositional schedulability analysis of real-time systems using time Petri nets[J].IEEE Transaction on Software Engineering,2002,28:984-996.

二级参考文献5

  • 1Okawa Y,Yoneda T.Verification of Schedulability of Real-time Systems with Extended Time Petri Nets[C].Proceedings of the 3rd Workshop on Parallel and Distributed Real-time Systems,1995:185-192.
  • 2Barreto R,Cavalcante S,Maciel P.A Time Petri Net Approach for Finding Pre-runtime Schedules in Embedded Hard Real-time Systems[C].Proc.of ICDCSW,2004:846-851.
  • 3Naedele M.Modeling and Simulating Functional and Timing Aspects of Real-time Systems by Delegated Execution[C].The 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems,2000:64-72.
  • 4Roux O.A T-time Petri Net Extension for Real-time Task Scheduling Modeling[J].JESA Modeling of Reactive Systems,2002,36 (7):973-986.
  • 5Berthomieu B,Diaz M.Modeling and Verification of Time Dependent Systems Using Time Petri Nets[J].IEEE Transaction on Software Engineering,1993,17(3):259-273.

共引文献6

同被引文献25

  • 1万加富,李迪,叶峰,赖乙宗.提高混合实时任务确定性的两级调度算法[J].吉林大学学报（工学版）,2009,39(3):753-758. 被引量：4
  • 2张海涛,艾云峰.基于Petri网的分布式实时嵌入式系统调度的建模[J].计算机工程,2006,32(18):6-8. 被引量：7
  • 3张国斌,潘金贵.基于优先级的抢占式并行调度算法设计与分析[J].计算机科学,2007,34(7):279-281. 被引量：4
  • 4Liu C L,Layland J W.Scheduling Algorithms for Multi-programming in a Hard-Real-Time Environment[J].Journal ofthe ACM,1973,20(1):46-61.
  • 5Jensen E D,Locke C D,Toduda H.A Time-Driven Scheduling Moddel for Real-Time Oerating Systems[C]//Proceedings of the 6th IEEE Real-Time Systems Symposium.SanDiego:IEEE Computer Society,1985:112-122.
  • 6Krishna C M,Shin G K.Real-Time Systems[M].Columbus:McGraw-Hill College,1997:73-80.
  • 7Katcher D I.Engineering and Analysis of Real-Time Operating Systems[D]:[Ph D Thesis].Pittsburgh,PA:CarnegieMellon University,1994.
  • 8Kettler K A,Katcher D I,Strosnider J K.A Modeling Methodology Forreal-Time/Multimedia Operating Systems[C]//Proceedings of the Real-Time Technology and Applications Symposium.Washington DC:IEEE Computer Society Press,1995:15-26.
  • 9MURATA T.Petri nets:Properties,analysis,and applications[J].Proceedings of the IEEE,1989,77(4):541-580.
  • 10EDWARDS S,LAVAGNO L,LEE E A,et al.Design of embedded systems:Formal models,validation,and synthesis[J].Proceedings of the IEEE,1997,85:366-390.

引证文献4

二级引证文献5

吉林大学学报（工学版）
2007年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部