loading
Documents

Research.Publish.Connect.

Paper

Authors: Oualid Demigha and Chamseddine Khalfi

Affiliation: Ecole Militaire Polytechnique, Department of Computer Science, PO Box 17, 16111 Bordj El-Bahri, Algiers and Algeria

ISBN: 978-989-758-369-8

Keyword(s): Internet of Things, IEEE 802.15.4, Energy Efficiency, Model-checking, CSMA/CA, PROMELA, SPIN.

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.

PDF ImageFull Text

Download
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 35.153.73.72

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 - Volume 1: IoTBDS, ISBN 978-989-758-369-8, 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 - Volume 1: IoTBDS,},
year={2019},
pages={103-114},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007702801030114},
isbn={978-989-758-369-8},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.