Abstract
Keywords
Introduction
Nowadays, the Internet of Things (IoT)
1
has become more and more popular and has been applied in various areas such as human life, environmental monitoring, and industrial sector. The term
To meet strict requirements of industrial applications, several wireless standards such as Wireless HART 2 and ISA100.11a-2008 3 are developed to provide reliable and efficient communication. In 2012, the Institute of Electrical and Electronics Engineers (IEEE) released a new IEEE 802.15.4e-2012 4 amendment standard which extends features of the original IEEE 802.15.4-2011 5 medium access control (MAC). The IEEE 802.15.4e introduces time-slotted channel hopping (TSCH) mode to facilitate multi-hop operations and address fading and interference issues in wireless environments. The core of TSCH is a medium access technique using time synchronization and channel hopping to achieve ultra-low power operation and high reliability. 6 Due to a need of interconnecting to the Internet, the IETF 6TiSCH WG (IPv6 over the TSCH mode of IEEE 802.15.4e)7,8 has been established to enable the further adoption of IPv6-enabled protocols such as CoAP, 9 6LoWPAN, 10 and RPL 11 in IEEE 802.15.4e standard.
In TSCH networks, all sensor nodes are synchronized, and time is divided into timeslots. In each 15-ms slot, a sensor may sleep, transmit, or receive packets. Timeslots are grouped into a slotframe which continuously repeats over time. Communication channels and operations of nodes are guided by the TSCH mechanism.
One of the main phases in TSCH networks is the network formation phase, which is related to configuration and synchronization during the network bootstrapping as well as network extension period. The initial synchronization should be done through electing at least one node (e.g. sink node). When a joining node wishes to join a network, it should listen for enhanced beacons (EBs) advertised by nodes which have been already synchronized, called synchronizers, including sink node. Once the joining node receives an EB, it obtains the same absolute slot number (ASN) value with other synchronizers and synchronizes with the overall network through its scheduled slotframe. This node then becomes a synchronizer and continuously advertises EBs to other joining nodes for extending network as well as maintaining network synchronization.
According to the channel hopping mechanism of IEEE 802.15.4e, a node changes its frequency channel at each timeslot. This impacts synchronization processes between synchronizers and joining nodes in TSCH networks. In particular, synchronizers and joining nodes have to take a long time period to find the same frequency for sending and receiving EBs. The reason is that when a synchronizer sends EBs on a certain channel, a joining node may listen on a different channel. Therefore, the joining node may not receive any EB for synchronization. In addition, the joining node also has to remain active fully to listen for EBs on its own synchronization channel for a long period. These cause high joining overhead (i.e. long delay and high energy consumption) during network formation. Based on this observation, it is clear to see that using an inefficient joining scheme of network formation will compromise the performance of network, especially so in highly dynamic networks where nodes may join or rejoin frequently, and fast joining is a critical requirement. Dynamic networks may happen in many cases, and industrial environment is not an exception. For instance, the mobility scenarios in industrial environment have been widely studied in M Barcelo et al.,12,13 where sensors are attached to mobile workers, robots, or industrial goods. According to movements, the sensors or robots may often change their connection points and leave or join to different networks due to their interactive tasks. As most tasks in such an environment require real-time or low-delay communication, a fast joining scheme is desirable to avoid data transmission or interaction interrupted. In another example, high interference scenario, which is also quite popular in industrial environments, may lead to intermittent or lossy connections at sensor nodes. 14 In TSCH networks, a node typically uses advertisement (ADV)-based and keep-alive (KA)-based scheme to advertise EB and KA packets, respectively, for maintaining synchronization. 15 Under a high interference environment, if these packets are lost, related nodes may suffer from de-synchronization. As a result, they are required to rejoin the network.
To reduce joining overhead, De Guglielmo et al.
16
proposes random-based advertisement (RbADV) algorithm in which each synchronizer advertises EBs periodically after a time period (i.e. a number of slots). The advertisement operation is carried out at scheduled cells to reduce collision. E Vogli et al.
17
introduces two novel advertisement broadcast scheduling mechanisms including random vertical filling (RV) and random horizontal filling (RH) algorithms to speed up joining time. In RV, each synchronizer periodically sends only one EB on a random
In this article, we propose a novel fast joining scheme which is extended from our previous work, 18 with a new design of slotframe in TSCH networks. A novel fuzzy-logic-based adaptive mechanism is also proposed to enable a synchronizer to be able to adaptively determine an appropriate number of EBs it should advertise based on the network density, that is, the number of available synchronizers in network, so that a joining node can achieve a short joining time at any case regardless of the number of synchronizers while energy consumption of EB advertisement at the synchronizer is optimized.
In summary, this article makes the following contributions:
We find out the limitation of existing schemes. Without ability of adapting to the network density, the existing schemes may perform inefficiently in case of a small number of synchronizers or dynamic networks.
We propose a novel joining scheme based on fuzzy logic, which allows a synchronizer to adapt its EB advertisement operation based on the number of available synchronizers in network to achieve a short joining time in all cases and optimize energy consumption.
Through extensive mathematical analysis and experimental results, we show that the proposed scheme achieves a significant improvement compared to the state-of-the-art schemes in terms of joining time.
The rest of this article is organized as follows: section “Related work” provides the background about IEEE 802.15.4e standard. Section “Proposed approach” presents our proposed approach for network formation in TSCH networks in detail. Section “Performance evaluation” reports the insight of performance evaluation, experimental results, and discussion. Finally, section “Conclusion” concludes this article.
Related work
TSCH mode in IEEE 802.15.4e
In IEEE 802.15.4e networks, all sensor nodes synchronize on a periodic slotframe made by a number of timeslots. Each timeslot is assigned a type value for sensor activity. TSCH defines three main types of non-idle slot: advertisement broadcast—ADV slot, transmission—Tx slot, and reception—Rx slot. The IEEE 802.15.4e uses channel hopping mechanism to time-slotted access, in which a sensor node changes its communication channel frequency at each timeslot with different instants. Therefore, fading and interference issues are mitigated efficiently.
Another basic concept of TSCH is
where
TSCH network formation
When a TSCH network establishes, sink node first broadcasts EBs to advertise network presence. An EB provides enough information of the existing network, such as ASN value, channel hopping information, timeslot information, and slotframe information. Once a joining node wants to join the network, it listens for EBs on its own synchronization channel. After receiving an EB, the joining node synchronizes with sink node through ASN value and aligns its slotframe to that of the overall network. At the same time, its MAC layer notifies the higher layer to execute other tasks. Following scheduled cells in the slotframe, this node conducts the activities such as network topology configuration, routing setup, and authentication for network formation phase. Then, it becomes a synchronizer and continuously broadcasts EBs to extend the network as well as maintain network synchronization.
Routing protocol in TSCH: RPL
RPL 11 is the IPv6 routing protocol for low-power and lossy networks standardized by the IETF ROLL WG. In particular, the IETF 6TiSCH WG proposes RPL on top of the TSCH mode of IEEE 802.15.4e to address challenging industrial scenarios such as industrial automation and deterministic control loops. In a network using RPL, sensor nodes are organized in a destination-oriented directed acyclic graph (DODAG) structure. DODAG is rooted at a sink or multiple sink nodes. Each node is attached a rank which is computed by an object function (OF) based on routing metric (e.g. link quality).
The DODAG construction begins to be built from sink node. The sink node periodically broadcasts a DODAG information object (DIO), a signaling message containing its rank and other configuration parameters. In 6TiSCH network, when a joining node receives an EB and becomes a synchronizer, it is permitted to receive DIOs. Based on received DIOs, this node inserts transmitters’s address in its
Proposed approach
In this section, we describe the design for our proposed joining scheme and fuzzy-logic-based adaptive EB advertisement mechanism in detail.
Proposed joining scheme in TSCH networks
Typically, the IEEE 802.15.4e does not define any specific structure for slotframes. For designing an efficient joining scheme, we propose to separate a slotframe into two parts including an advertisement plane highlighted by yellow color and a communication plane, as revealed in Figure 1. The advertisement plane consists of ADV slots which are reserved for broadcasting EBs. The communication plane is only used to exchange data packets. The separation is to eliminate the impact of EB advertisement on data transmission in TSCH networks. In the advertisement plane, the scheduling for EB advertisement specifies which ADV slots and channels or which ADV cells a synchronizer broadcasts EBs in a multiple slotframes (

Slotframe structure of the proposed joining scheme.
Based on the design, the joining scheme is proposed to reduce joining time as follows: each synchronizer uses random consecutive physical channels (e.g. channels 14, 15, 16, and 17 as illustrated in Figure 1) to broadcast EBs at consecutive ADV slots in the advertisement plane and repeats the EB advertisement periodically after a multi-slotframe period. The number of consecutive broadcast channels is equal to the number of scheduled ADV slots; with a joining node, it chooses a random available channel to listen for EBs. By exploiting multiple ADV slots with consecutive channels, the probability that a joining node listens on the same channel with one of synchronizers is increased. This increases a chance that a joining node may receive EBs at early stage to reduce joining time even when there is only a small number of available synchronizers.
Theoretical analysis
We now theoretically analyze the joining time of the proposed scheme in comparison with RV, 17 a recent study investigating on TSCH formation.
We assume that a joining node
Statement 1
The necessary condition that node
With a total number of
The probability that a node
From equations (2) and (3), the necessary condition occurs with the probability
Node
Now, considering a perfect network condition, the number of multi-slotframes,
However, the perfect condition is unrealistic. In fact, the transmission errors on channels may happen, depending on the network condition. As a result, packet delivery ratio,
Based on equation (7), the expected joining time
From equation (8), it is clear to recognize that the joining time of a node depends on not only the number of synchronizers but also the number of EBs it may advertise.
In RV, a node is permitted to advertise only once per multi-slotframe. Similarly, we obtain the joining time
Discussion
By comparing equations (8) and (9), we can see that by designing an advertisement plane with multiple ADV slots, the proposed scheme can reduce the joining time by
Practically, the number of ADV slots affects significantly the throughput of TSCH networks. In our implementation, we consider only a small number of slots for the advertisement plane (i.e.
Fuzzy-logic-based adaptive EB advertisement mechanism
In the above proposed scheme, synchronizers exploit all ADV slots for EB advertisement to achieve a short joining time. However, from equation (8), there is a trade-off between joining time and energy consumption when we increase the number of EBs. In order to reduce the joining time, synchronizers have to utilize more EBs, thus suffering higher energy consumption. In addition, equation (8) also indicates that the joining time of a joining node depends on not only the number of EBs that a synchronizer utilizes but also the number of available synchronizers in network. It means that when the number of synchronizers is high, only small number of advertised EBs is enough for EB advertisement of each synchronizer to achieve a short joining time, and utilizing a great number of advertised EBs is obviously unnecessary and inefficient. Inspired from this observation, we propose an adaptive EB advertisement mechanism based on fuzzy logic
22
for our joining scheme. The mechanism determines an appropriate number of EBs a synchronizer should advertise, based on the number of available synchronizers in network, so that a node joining the network can achieve a short joining time while the energy consumption of EB advertisement at the synchronizer is optimized. Note that a synchronizer can know the other available synchronizers in network based on the
Figure 2 presents our fuzzy system model of the adaptive EB advertisement mechanism. The input variable (i.e. number of synchronizers) is initially in a numerical format, called crisp input. Fuzzification maps each crisp input value to the corresponding three fuzzy sets characterized by Mamdani membership functions (Low, Medium, High).
23
In detail, the input value is assigned a membership degree for each fuzzy set as shown in Figure 3(a). The fuzzified input is processed by inference mechanism based on the IF-THEN construct of computer programming which is defined as rules in Table 1. For example, at rule 1, if current number of synchronizers is
where

Model of fuzzy system for adaptive EB advertisement.

Mamdani membership functions of (a) input variable (number of synchronizers) and (b) output variable (new number of EBs).
Interference rules for fuzzy system.
Energy consumption model of EB advertisement
We model energy consumption of EB advertisement based on the previous work.
15
Let
For adaptive EB advertisement
where
Measured and calculated charge drawn of TelosB and OpenMote-STM32 for each packet size, one ADV slot, in
Performance evaluation
We now move to evaluate performance of the proposed scheme in comparison with the state-of-the-art schemes, based on both mathematical model and experimental results. We use two metrics as follows:
Theoretical results
We assume that a multi-slotframe consists of 20 slotframes. A slotframe contains 101 timeslots, and each slot is 15 ms long. In addition,

Average joining time under various number of synchronizers.
Implementation and experimental results
Implementation
We implement the proposed scheme using OpenWSN stack—an open-source implementation of a fully standards-based protocol stack for capillary networks, rooted in the new IEEE 802.15.4e TSCH standard 25 —to evaluate the performance in real environments. The main language of OpenWSN is pure C. Experiments are conducted on TelosB motes with MSP430 microcontroller, 10k RAM, and 48k Flash. In our setting, all available 16 channels are used for communication. Similar to the theoretical model, we configure 20 slotframes for a multi-slotframe. Each slotframe has 101 timeslots with 15 ms long for a slot. Moreover, the advertisement plane contains five ADV slots, and an EB has a length of 60 bytes. The experimental model and testbed deployment are shown in Figures 5 and 6, respectively. The random network topology is used for experiments. Each point on plots is the average of 10 measurements, and the error lines are minimum and maximum values.

Network model used in experiments of (a) joining time and (b) power consumption.

TelosB motes deployed for testbed.
In case of joining time, we set up experimental network model as shown in Figure 5(a). The network consists of
Experimental results
Validation
First, we validate our analytical model by comparing theoretical results with testbed results. Figure 7(a) and (b) presents the correlation between analytical and experimental results in case of

Average joining time under various number of synchronizers in case of (a)
Figure 7(c) and (d) illustrates the power consumption of EB advertisement in the overall network with
We now compare the experimental results of the adaptive scheme using fuzzy logic with the original one (

Comparison between the adaptive, non-adaptive scheme (
Conclusion
In this article, we present a rapid joining scheme to speed up network formation through a new structure of slotframe in highly dynamic TSCH networks. Moreover, we also propose an adaptive mechanism to adjust the number of advertised EBs based on network density to optimize energy consumption. Through extensive mathematical analysis and experimental testbed on TelosB motes, the results show that the proposed scheme achieves a significant improvement in terms of joining time compared to other schemes.
