loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.249.19

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Demigha, O. and Khalfi, C. (2019). Formal Analysis of Energy Consumption in IoT Systems. In Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - IoTBDS; ISBN 978-989-758-369-8; ISSN 2184-4976, SciTePress, pages 103-114. DOI: 10.5220/0007702801030114

@conference{iotbds19,
author={Oualid Demigha. and Chamseddine Khalfi.},
title={Formal Analysis of Energy Consumption in IoT Systems},
booktitle={Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - IoTBDS},
year={2019},
pages={103-114},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007702801030114},
isbn={978-989-758-369-8},
issn={2184-4976},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - IoTBDS
TI - Formal Analysis of Energy Consumption in IoT Systems
SN - 978-989-758-369-8
IS - 2184-4976
AU - Demigha, O.
AU - Khalfi, C.
PY - 2019
SP - 103
EP - 114
DO - 10.5220/0007702801030114
PB - SciTePress