Time analysis of scheduling sequences based on Petri nets for distributed real-time embedded systems

被引：0
|
作者：
Zhang, Haitao [1 ]
Ai, YunFeng [1 ]
机构：
[1] Chinese Acad Sci, Key Lab Complex Syst & Intelligence Sci, Inst Automat, Beijing 100080, Peoples R China
来源：
PROCEEDINGS OF THE 2006 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS | 2006年
基金：
中国国家自然科学基金;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
After modeling distributed embedded systems using time Petri nets based on resources, scheduling analysis is complex. Therefore, the combination and decomposition of scheduling sequences are introduced to simplify the analysis of complex scheduling sequences. Then two simplification rules are introduced to simplify the time constriction of every transition in scheduling sequence. At last, all properties of scheduling sequence can be gotten by comparing time constriction and deadline interval of every transition.
引用
收藏
页码：144 / +
页数：2
相关论文
共 50 条
  • [1] Scheduling analysis based on Petri nets for distributed real time embedded systems
    Zhang, Hai-Tao
    Ai, Yun-Feng
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2007, 37 (03): : 616 - 620
  • [2] Schedule modeling based on Petri nets for distributed real-time embedded systems
    Zhang, Haitao
    Ai, Yunfeng
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (18): : 6 - 8
  • [3] Scheduling analysis of distributed real-time embedded systems
    Zhang, Haitao
    Zhang, Songcan
    Journal of Computational Information Systems, 2010, 6 (07): : 2373 - 2382
  • [4] Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems
    HaiTao Zhang GuiFang Wu Electronic and Information Engineering CollegeHenan University of Science and TechnologyLuoyang PRC
    International Journal of Automation & Computing, 2010, 7 (04) : 525 - 530
  • [5] Modeling and analysis of scheduling for distributed real-time embedded systems
    Zhang H.-T.
    Wu G.-F.
    International Journal of Automation and Computing, 2010, 7 (04) : 525 - 530
  • [6] Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems
    Hai-Tao Zhang Gui-Fang Wu Electronic and Information Engineering College
    Machine Intelligence Research, 2010, (04) : 525 - 530
  • [7] An algorithm of scheduling analysis for distributed real-time embedded systems
    Zhang, Hai-Tao
    Ai, Yun-Feng
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2007, 36 (03): : 489 - 492
  • [8] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [9] Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Wang, Xiuying
    PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 476 - 481
  • [10] Discrete time approach of time Petri nets for real-time systems analysis
    Roux, OH
    Delfieu, D
    Molinaro, P
    ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 197 - 204
12345