Modelling, verification and validation of the IEEE 802.15.4 for wireless networks

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

Modelling, verification and validation of the IEEE 802.15.4 for wireless networks

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

Chair of Flight System Dynamics

Universidade Regional do Noroeste do Estado do Rio Grande do Sul
State University of Rio Grande do Norte
Universidade Federal de Campina Grande

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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-Rate Wireless 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.

Original language	English
Title of host publication	Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
Pages	49-57
Number of pages	9
State	Published - 2005
Event	3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005 - Miami, FL, United States Duration: 24 May 2005 → 25 May 2005

Publication series

Name	Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

Conference

Conference	3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
Country/Territory	United States
City	Miami, FL
Period	24/05/05 → 25/05/05

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Cite this

Sausen, P. S., Ribeiro Neto, P. F., Perkusich, A., Lima, A. M. N., Perkusich, M. L. B., & 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, MSVVEIS 2005, in Conjunction with ICEIS 2005 (pp. 49-57). (Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005).

Sausen, P. S. ; Ribeiro Neto, P. F. ; Perkusich, A. et al. / Modelling, verification and validation of the IEEE 802.15.4 for wireless networks. Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005. 2005. pp. 49-57 (Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005).

@inproceedings{5518386cd5bc4ee3ae277badc180a6ae,

title = "Modelling, verification and validation of the IEEE 802.15.4 for wireless networks",

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-Rate Wireless 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.",

author = "Sausen, \{P. S.\} and \{Ribeiro Neto\}, \{P. F.\} and A. Perkusich and Lima, \{A. M.N.\} and Perkusich, \{M. L.B.\} and F. Salvadori",

year = "2005",

language = "English",

isbn = "9728865228",

series = "Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005",

pages = "49--57",

booktitle = "Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005",

note = "3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005 ; Conference date: 24-05-2005 Through 25-05-2005",

}

Sausen, PS, Ribeiro Neto, PF, Perkusich, A, Lima, AMN, Perkusich, MLB & 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, MSVVEIS 2005, in Conjunction with ICEIS 2005. Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005, pp. 49-57, 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005, Miami, FL, United States, 24/05/05.

Modelling, verification and validation of the IEEE 802.15.4 for wireless networks. / Sausen, P. S.; Ribeiro Neto, P. F.; Perkusich, A. et al.
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005. 2005. p. 49-57 (Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modelling, verification and validation of the IEEE 802.15.4 for wireless networks

AU - Sausen, P. S.

AU - Ribeiro Neto, P. F.

AU - Perkusich, A.

AU - Lima, A. M.N.

AU - Perkusich, M. L.B.

AU - Salvadori, F.

PY - 2005

Y1 - 2005

N2 - 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-Rate Wireless 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.

AB - 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-Rate Wireless 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.

UR - https://www.scopus.com/pages/publications/78651461461

M3 - Conference contribution

AN - SCOPUS:78651461461

SN - 9728865228

SN - 9789728865221

T3 - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

SP - 49

EP - 57

BT - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

T2 - 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

Y2 - 24 May 2005 through 25 May 2005

ER -

Sausen PS, Ribeiro Neto PF, Perkusich A, Lima AMN, Perkusich MLB, Salvadori F. 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, MSVVEIS 2005, in Conjunction with ICEIS 2005. 2005. p. 49-57. (Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005).

Modelling, verification and validation of the IEEE 802.15.4 for wireless networks

Abstract

Publication series

Conference

UN SDGs

Other files and links

Fingerprint

Cite this