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 条
[31]   Middleware scheduling optimization techniques for distributed real-time and embedded systems [J].
Gill, C ;
Cytron, R ;
Schmidt, D .
PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, :311-318
[32]   Robust Feedback Control Scheduling in Distributed Embedded Real-time Systems [J].
Du, Bing ;
Ruan, Chun .
EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, :90-+
[33]   Feedback control static scheduling for real-time distributed embedded systems [J].
Ayav, T ;
Sorel, Y .
11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, :173-176
[34]   Research of optimal task scheduling for Distributed Real-Time Embedded systems [J].
Zeng, Bin ;
Wei, Jun ;
Liu, Haiqing .
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, :77-84
[35]   Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems [J].
Stierand, Ingo ;
Reinkemeier, Philipp ;
Gezgin, Tayfun ;
Bhaduri, Purandar .
2013 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2013, :130-139
[36]   Real-time synchronised Petri nets [J].
Serugendo, GD ;
Mandrioli, D ;
Buchs, D ;
Guelfi, N .
APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 :142-162
[37]   Analysis of event-driven real-time systems with time Petri nets - A translation-based approach [J].
Gu, ZH ;
Shin, KG .
DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 :31-40
[38]   Real-time model for processing both scheduling and Petri nets approaches [J].
Mabed, M ;
Bourcerie, M .
Modelling and Simulation 2003, 2003, :489-493
[39]   Petri nets based real-time scheduling model of steelmaking continuous casting process [J].
Fang, Yuwei ;
Han, Zengjin .
Qinghua Daxue Xuebao/Journal of Tsinghua University, 1999, 39 (01) :79-82
[40]   Multiparadigm scheduling for distributed real-time embedded computing [J].
Gill, CD ;
Cytron, RK ;
Schmidt, DC .
PROCEEDINGS OF THE IEEE, 2003, 91 (01) :183-197
12345