A Timed Petri Net Model For The IEEE 802.15.4 CSMA-CA Process

被引：4

作者：

Shuaib, A. Haffiz ^{[1
]}

Mahmoodi, Toktam ^{[1
]}

Aghvami, A. Hamid ^{[1
]}

机构：

[1] Kings Coll London, Ctr Telecommun Res, Strand, London WC2R 2LS, England

来源：

2009 IEEE 20TH INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS | 2009年

关键词：

Wireless Sensor Networks; IEEE; 802.15.4; CSMA-CA; Modelling; Petri-Net;

D O I：

10.1109/PIMRC.2009.5450095

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

The IEEE 802.15.4 specification has generated a lot of interest in recent times, especially within the Wireless Sensor Network (WSN) research community, primarily because energy efficiency is one of the specifications' design cornerstone. As this specification is relatively new, it is incumbent that its operational mechanisms are well understood, to allow for efficient cross layer interactions between the different processes that make up the specification and existing or new higher layer protocols. In this paper, we present a deterministic Petri-Net model of the IEEE 802.15.4 CSMA-CA process, that is timer driven and operates within the bounds of the contention access period (CAP). Using this model, we are able to analyze the performance characteristics of the CSMA-CA process, especially in terms of channel throughput and energy consumption. We also verify the extracted system indices by comparing them to those gotten from a full model of the specification, implemented using the OPNET network simulation platform.

引用

页码：1204 / 1210

页数：7

共 17 条

[1]

Cassandras C. G., 2008, INTRO DISCRETE EVENT

[2]

Choi E., 2008, INTERNATIONAL CONFER, P1

[3]

Gomez C., 2006, WORLD WIR MOB MULT N, P9

[4]

Kang Min Suk, 2007, WIR PERV COMP 2007 I

[5]

Lopez-Gomez M. A., 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC '08), P138, DOI 10.1109/SUTC.2008.70

[6]

*LR WPAN, 2006, WIR MED ACC CONTR MA

[7] Energy-efficient localized topology control algorithms in IEEE 802.15.4-based sensor networks [J].

Ma, Jian ;

Gao, Min ;

Zhang, Qian ;

Ni, Lionel M. .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2007, 18 (05) :711-720

[8]

Messiua D, 2007, IEEE IC COMP COM NET, P1117

[9] Performance of a beacon enabled IEEE 802.15.4 cluster with downlink and uplink traffic [J].

Misic, J ;

Shafi, S ;

Misic, VB .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2006, 17 (04) :361-376

[10]

Montenegro G., 2007, Transmission of IPv6 Packets over IEEE 802.15.4 Networks Internet Engineering Task Force RFC-4944

← 1 2 →