Formal Analysis of Energy Consumption in IoT Systems

Oualid Demigha, Chamseddine Khalfi

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.

Download


Paper Citation


in Harvard Style

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


in Bibtex Style

@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},
}


in EndNote Style

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