Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks

P. S. Sausen, P. F. Neto, A. Perkusich, A. M. N. Lima, M. L. B. Perkusich, F. Salvadori

Abstract

The purpose of this paper is to present a model of an mechanism Carrier Sense Multiple Access - Collision Avoidance unslotted capable of accessing the environment. This mechanism is utilized in the latest IEEE 802.15.4 standard, which defines the wireless Medium Access Control and the Physical layerspecification for Low-RateWireless Personal Area Networks. For the model construction, Hierarchical Coloured Petri Nets will be used. Hierarchical Coloured Petri Nets are extensions of Coloured Petri Nets. Design/CPN tools will be used for simulations, and the model will be verified and validated by means of occurrence graphs generation.

References

  1. : 802.15.4-2003 IEEE Standard for Information Technology-Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low Rate Wireless Personal Area Networks (LR-WPANs). (2003)
  2. Howitt, I., Gutierrez, J.A.: IEEE 802.15.4 Low Rate Wireless Personal Area Network Coexistence Issues. WCNC 2003 - IEEE Wireless Communications and Networking Conference 4 (2003) 1481-1486
  3. Zheng, J., Lee, M.J.: Will IEEE 802.15.4 Make Ubiquitous Networking a Reality: A Discussion on a Potential Low Power, Low Bit Rate Standard. Communications Magazine, IEEE 42 (2004) 140-146
  4. Sausen, P.S., Rocha-Neto, J.S.: The State of Art the Standard IEEE 1451(In Portuguese). I Workshop of the Net of Instrumentation and Control (2004)
  5. Callaway, E.H.: Wireless Sensor Networks: Architectures and Protocols. CRC Press LLC, New York (2003)
  6. Jensen, K.: An introduction to the practical use of coloured petri nets. In: Lectures on Petri Nets II: Applications. Springer (1998)
  7. Gordon, S.D.: Verification of the WAP Transaction Layer using Petri Nets. PhD thesis, University of South Australia, Adelaide, South Australia (2001)
  8. Jensen, K., al, e.: ”Design/CPN” 4.0. Meta Software Corporation and Department of Computer Science, University of Aarhus, Denmark. (1999) On-line version:http://www.daimi.aau.dk/designCPN/.
Download


Paper Citation


in Harvard Style

Sausen P., Neto P., Perkusich A., Lima A., Perkusich M. and Salvadori F. (2005). Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 49-57. DOI: 10.5220/0002574200490057


in Bibtex Style

@conference{msvveis05,
author={P. S. Sausen and P. F. Neto and A. Perkusich and A. M. N. Lima and M. L. B. Perkusich and F. Salvadori},
title={Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={49-57},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002574200490057},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks
SN - 972-8865-22-8
AU - Sausen P.
AU - Neto P.
AU - Perkusich A.
AU - Lima A.
AU - Perkusich M.
AU - Salvadori F.
PY - 2005
SP - 49
EP - 57
DO - 10.5220/0002574200490057