Authors:
Oualid Demigha
and
Chamseddine Khalfi
Affiliation:
Ecole Militaire Polytechnique, Department of Computer Science, PO Box 17, 16111 Bordj El-Bahri, Algiers and Algeria
Keyword(s):
Internet of Things, IEEE 802.15.4, Energy Efficiency, Model-checking, CSMA/CA, PROMELA, SPIN.
Related
Ontology
Subjects/Areas/Topics:
Data Communication Networking
;
Energy Efficiency
;
Energy Efficiency and Green Manufacturing
;
Enterprise Information Systems
;
Industrial Engineering
;
Informatics in Control, Automation and Robotics
;
Internet of Things
;
Obstacles
;
Sensor Networks
;
Software Agents and Internet Computing
;
Software and Architectures
;
Telecommunications
Abstract:
In this paper, we apply model-checking approach to formally analyze energy consumption of the radio interface in order to guarantee network lifetime in the context of the Internet of Things. We propose a joint MAC-physical model of the IEEE 802.15.4 standard to capture and represent key operations that consume energy resources of the nodes at the radio interface component. We argue that the combination of the radio interface ON/OFF state switching mechanism with CSMA/CA medium access method leads to better modeling of the energy consumption and help understanding the interaction between MAC and physical layers. Our model provides accurate representation of simulation models at the first two layers of node’s protocol stack compliant with IEEE 802.15.4 standard.