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] Modeling and analysis of scheduling for distributed real-time embedded systems
    Zhang H.-T.
    Wu G.-F.
    [J]. International Journal of Automation and Computing, 2010, 7 (4) : 525 - 530
  • [2] 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
    [J]. International Journal of Automation & Computing., 2010, 7 (04) - 530
  • [3] Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems
    Hai-Tao Zhang Gui-Fang Wu Electronic and Information Engineering College
    [J]. Machine Intelligence Research, 2010, (04) : 525 - 530
  • [4] An integrated approach to modeling and analysis of embedded real-time systems based on timed Petri nets
    Gu, ZH
    Shin, KG
    [J]. 23RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2002, : 350 - 359
  • [5] Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Wang, Xiuying
    [J]. PROCEEDINGS OF 2008 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2008, : 476 - 481
  • [6] Discrete time approach of time Petri nets for real-time systems analysis
    Roux, OH
    Delfieu, D
    Molinaro, P
    [J]. ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 197 - 204
  • [7] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [8] Compositional schedulability analysis of real-time systems using time Petri nets
    Xu, DX
    He, XD
    Deng, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 984 - 996
  • [9] Real-time scheduling of batch systems using Petri nets and linear logic
    Soares, Michel dos Santos
    Julia, Stephane
    Vrancken, Jos
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 1983 - 1996
  • [10] A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Ma, Hanhua
    [J]. JOURNAL OF COMPUTERS, 2008, 3 (12) : 35 - 42
12345