BAIN: Bluetooth Adaption for IoT Device

Abstract

Many Internet of Things (IoT) distributed applications adopt the Message Queuing Telemetry Transport (MQTT) architecture based on publisher/subscriber model. However, it is considered a relatively heavy protocol for its handling by constrained devices and sensor networks. As a result, the MQTT for Sensor Networks (MQTT-SN) is seen as variant application protocol targeting the design of an energy efficient solution that can be deployed using wireless technologies such as Bluetooth. However, both architectures fail to attend the challenges faced by the publish message for more than eight IoT devices (large networks with low energy). In this paper, we adapt the Bluetooth protocol to work in a network based on topics as MQTT-SN and MQTT, which we call BAIN (Bluetooth Adaption for IoT Networks). This new protocol performs routing considering topics information and manages to build a topology with a larger number of nodes. As with the original Bluetooth, BAIN applies to short-range networks. We used the PROMELA language and SPIN tool for its formal verification.