Delay and Energy Consumption Analysis of Frame Slotted ALOHA variants for Massive Data Collection in Internet-of-Things Scenarios

: This paper models and evaluates three FSA-based (Frame Slotted ALOHA) MAC (Medium Access Control) protocols, namely, FSA-ACK (FSA with ACKnowledgements), FSA-FBP (FSA with FeedBack Packets) and DFSA (Dynamic FSA). The protocols are modeled using an AMC (Absorbing Markov Chain), which allows to derive analytic expressions for the average packet delay, as well as the energy consumption of both the network coordinator and the end-devices. The results, based on computer simulations, show that the analytic model is accurate and outline the beneﬁts of DFSA. In terms of delay, DFSA provides a reduction of 17% (FSA-FBP) and 32% (FSA-ACK), whereas in terms of energy consumption DFSA provides savings of 23% (FSA-FBP) and 28% (FSA-ACK) for the coordinator and savings of 50% (FSA-FBP) and 24% (FSA-ACK) for end-devices. Finally, the paper provides insights on how to conﬁgure each FSA variant depending on the network parameters, i


Introduction
IoT (Internet-of-Things) [1] is a paradigm where constrained computing devices with embedded sensing and wireless communication capabilities are used to collect data from physical processes in a distributed fashion.The data from multiple end-devices is then aggregated by an edge network coordinator and forwarded to a cloud-based back-end to be further stored, processed and analyzed [2].The results of the aggregated data analysis provide valuable insight regarding the physical processes and allow to optimize its operation [3].Hence, given its potential value, the IoT paradigm is currently being applied to homes [4], cities [5], health care [6] and industries [7], among others.However, as the adoption of the IoT paradigm increases, there are several aspects of the data chain that need to be properly engineered to ensure that the solution is both scalable, reliable and of low power.the operation of a FSA-based protocol for massive data collection in IoT scenarios, where scalability, reliability and low-power requirements are key to success.
The remaining parts of this article are organized as follows.Section 2 provides an overview of FSA-ACK, FSA-FBP and DFSA frame structure and protocol operation.Section 3 presents the analytic model of the FSA-ACK, FSA-FBP and DFSA protocol variants using an AMC, which allows to calculate the average number of contention frames, as well as to obtain the average delay and energy consumption for all network device types.Section 4 presents the protocol evaluation based on computer simulations that we have conducted to validate the analytic models and compare its average delay and energy consumption.Finally, Section 5 concludes the article.

Protocol Overview
This section presents the frame structure and the protocol operation of the three FSA variants that are modeled and evaluated in later sections.In particular, the frame structure of FSA-ACK and DFSA is displayed in Figure 1a, whereas the FSA-FBP frame structure is displayed in Figure 1b.Regarding operation, for all FSA variants, we consider that communication between the end-devices and the network coordinator is structured in DCRs (Data Collection Round) composed of frames with m contention slots.In each DCR, end-devices have exactly one data packet and randomly select one of the slots available in each frame to transmit the data packet to the network coordinator.For FSA-ACK and FSA-FBP each frame F i is sub-divided into a fixed number of contention slots, whereas for DFSA the number of contention slots m i of each frame F i is variable.Notice that for DFSA the number of contention slots per frame is adjusted to be proportional to the estimated number ni of end-devices that contend in every frame as m i = ρ • ni , where ρ is a positive real number.
With respect to slot duration, for FSA-ACK and DFSA it matches the duration of a data packet and an acknowledgement (ACK) packet, and includes the guard times (called IFS, Inter-Frame Space) between transmit and receive modes to compensate for signal propagation, processing delays and radio turn-around time between modes.Conversely, for FSA-FBP the duration of each slot is adjusted to allow a node to transmit a single data packet, as the coordinator transmits a FBP (FeedBack Packet) at the end of the frame to indicate the state of every slot and allow end-devices to maintain synchronization.
It is important to mention that, regardless of the protocol variant, packets are transmitted without CCA (Clear Channel Assessment).This means that end-devices do not check the channel status (i.e., busy or idle) before transmission.As a consequence, a given slot in any frame can be in the following states: empty (when no packet is transmitted), success (when a single packet is transmitted) or collision (when two or more more end-devices have transmitted their respective packet).Based on the outcome of each slot, end-devices that have succeeded to transmit their data packet in a given frame will enter into sleep mode and stop contending in subsequent frames.Contrarily, end-devices that have collided in frame F i will transmit again in frame F i+1 .
Finally, in Figure 2 we provide an example of the FSA-FBP protocol operation.As it can be observed, all end-devices try to transmit a data packet in Frame 1.The outcome is that end-device 1 and end-device 2 succeed, whereas end-device 3 and end-device 4 collide.Hence, end-device 3 and end-device 4 will transmit a packet again in Frame 2. As both end-devices collide again, both will transmit again in Frame 3, where they succeed and the process ends.

Delay and Energy Consumption Analysis
Based on the frame structure and protocol operation described earlier, in this section we use an AMC (Absorbing Markov Chain) model and formulate its transition matrix for the different FSA protocol variants, which allows to derive two important performance parameters:

•
The average number of frames in which the process keeps in the same transient state.

•
The average number of frames until the process is absorbed.
Ultimately, we use these two parameters to formulate the analytical expressions needed to compute the average delay and energy consumption of the FSA-ACK, FSA-FBP and DFSA protocols.

Absorbing Markov Chain Model
In the AMC model depicted in Figure 3, each state represents the number of end-devices that have successfully transmitted their data packet to the network coordinator since the contention process started.The AMC is characterized by a transition matrix P = p ij , where each element p ij represents the probability that the number of successful end-devices changes from i to j after one frame, with i, j = {0, 1, ..., n}.The process will finish when all the end-devices have succeeded transmitting their data packet, i.e., i = n.Once this absorbing state is reached, the probability that the process changes to any other state is zero.The transition probabilities between states depend on the probability P s (m c , m 1 , n c ) that there is a number m 1 of successful slots in a given frame with m c contention slots having n c contending end-devices, as derived in [20].According to [21], the probability P s (m c , m 1 , n c ) can be expressed as where with Hence, the transition probabilities p ij for FSA-ACK and FSA-FBP can be defined as The rationale for the FSA-ACK and FSA-FBP transition probabilities is that in the first condition, j − i end-devices succeed and the number of contending end-devices is n − i, where i the number of end-devices that have succeeded in previous frames.In the second condition, the number of successful end-devices decreases, or is greater than the number of slots, which are both difficult to achieve.In the third condition, no new end-devices succeed and the process is not yet absorbed.Finally, in the fourth condition the process is absorbed.
In contrast, the transition probabilities p ij for DFSA can be defined as The rationale for the DFSA transition probabilities is similar to FSA-ACK and FSA-FBP, but the number m i of contention slots per frame changes dynamically as the number i of successful end-devices increases, i.e., m i = ρ (n − i) .
Based on the AMC model, we define Q as a sub-matrix of the transition matrix P that contains the probabilities in the transient states (i.e., i < n and j < n).Then, the fundamental matrix N of the process can be defined as where each element n ij of N is the average number of frames that the process remains in the transient state X j .This means that no new end-devices succeed for n ij consecutive frames, given that it started in the transient state X i .
Hence, we can define the absorption time t 0 as the average number of frames until the process is absorbed, which can be expressed as where n is the total number of end-devices in the network.

Delay Analysis
Based on the AMC model presented in the previous section, we can now calculate the average delay, expressed in seconds, required to resolve the contention process.
For FSA-ACK and FSA-FBP the average delay can be formulated as where t 0 is the average number of frames required to resolve the contention process, and are the duration of a frame in FSA-ACK and FSA-FBP.
Also, T FSA-ACK f rame and T FSA-FBP f rame can be expressed as T FSA-FBP where m is the number of contention slots per frame, T data , T ack , T IFS , T FSA-ACK FBP and T FSA-FBP FBP are the time of transmission of a data packet, an ACK, the duration of an IFS, and the time of transmission of a FBP.
In contrast, for DFSA the average delay can be formulated as where j is the number of end-devices that have succeeded in a given point in time, n 0j is the average number of frames for which the contention process remains with j end-devices with success, and T DFSA f rame (j) is the duration of a frame.Also, T DFSA f rame (j) can be expressed as where m j = ρ (n − j) is the number of contention slots in a frame where n − j end-devices have not succeeded yet, and T DFSA FBP is the time of transmission of a FBP.

Energy Consumption Analysis
Based on the delay models for each FSA protocol variant presented in the previous subsection, we can now derive the energy consumption of the network coordinator and the end-devices by determining their operation states in each slot of each frame in the contention process.
In general, these devices have four different operation states (transmitting a packet, receiving a packet, idle-listening or sleeping) that is associated with a power consumption (i.e., ρ tx , ρ rx , ρ σ and ρ sleep , respectively).Notice that in this model we assume that the energy required to switch between sleep and active modes (i.e., transmitting, receiving and idle-listening) is negligible.Hence, in the following subsections we derive the energy consumption of the network coordinator and the end-devices.

Network Coordinator
Using FSA-FBP, the network coordinator executes the following operations repeatedly in every frame: listens to the channel for the m slots of each frame in order to receive incoming data packets, keeps in idle state for the duration of two IFS, and transmits a FBP packet at the end of the frame.
Therefore, we denote by E FSA-FBP coord the average energy consumed by the coordinator in a contention process, which can be formulated as For FSA-ACK and DFSA, the network coordinator executes the following operations repeatedly in every frame: listens to the channel for the slots of each frame in order to receive incoming data packets, responds with an ACK to every data packet decoded or sleeps for the time of transmission of an ACK, keeps in idle state for the duration of an IFS, and transmits a FBP packet at the end of the frame.
Therefore, we denote by E FSA-ACK coord and E DFSA coord the average energy consumption of the coordinator in a contention process using FSA-ACK and DFSA, respectively, which can be formulated as

End-Devices
Regarding end-devices, for each FSA protocol variant we define E FSA-FBP devices , E FSA-ACK devices and E DFSA devices , respectively, which can be expressed as where j represents the number of end-devices that have succeeded in a given point in time, n 0j represents the average number of frames for which the process remains with j end-devices with success, and n − j is the number of end-devices that have not succeeded yet.For all FSA protocol variants, we can also define E FSA-FBP data , E FSA-ACK data and E DFSA data as the energy consumed by an end-device in a frame where it transmits its data packet, and E FSA-FBP sleep , E FSA-ACK sleep and E DFSA sleep (j) as the energy consumed by an end-device in a frame where it sleeps.
In FSA-FBP, an end-device that has not yet succeeded to transmit its data packet performs the following tasks in every frame: randomly selects a slot in the m slots of the frame to transmit its data packet, sleeps for the other m − 1 slots of the frame, keeps in idle state for two IFS, and receives a FBP.Therefore, the value of E FSA-FBP data can be obtained as In contrast, for FSA-ACK and DFSA, an end-device that has not yet succeeded to transmit its data packet performs the following tasks in every frame: randomly selects one slot the m slots of the frame to transmit its data packet, receives an ACK packet, sleeps for the remaining m − 1 slots of the frame, keeps in idle state for two IFS, and receives the FBP.Therefore, the E FSA-ACK data and E DFSA data (j) values can be obtained as Finally, regardless of the FSA protocol variant, end-devices that succeed in transmitting their data in a given frame do not contend in subsequent frames, remaining in sleep mode for the rest of the frame.Hence, during that period, an end-device will consume an energy that can be expressed as

Delay and Energy Consumption Evaluation
In this section, we verify the models presented in Section 3 using computer-based simulations.In particular, we evaluate how the delay and the energy consumption are influenced by the number n of end-devices in the network.For FSA-ACK and FSA-FBP we take into account the number m of slots per frame, whereas for DFSA we consider the value of ρ.Based on the results, we discuss how to minimize the delay and energy consumption depending on the protocol variant.

Simulation Parameters
To validate the models and evaluate the delay and energy consumption of the FSA variants we use the parameters summarized in Table 1.These values have been selected according to the IEEE 802.15.4 standard [22] and the Texas Instruments CC2520 radio transceiver [23] specifications.In particular, all the packets are composed of a physical layer preamble, a MAC header, a payload (114 bytes) and a 2-byte CRC (Cyclic Redundancy Code).However, in FSA-FBP the length of the FBP payload is set to attach 2 bits per slot, allowing to inform the status of each slot.In contrast, for DFSA and FSA-ACK the coordinator responds to each data packet decoded successfully in each slot with an ACK.

FSA-ACK and FSA-FBP Delay and Energy Evaluation
For FSA-ACK and FSA-FBP, the delay and energy consumption of the coordinator are depicted in Figures 4a and 5a, respectively, whereas the energy consumption of the end-devices is depicted in Figure 5b.In both cases the results are reported according to m (number of slots per frame) and for n ∈ {25, 50, 100} nodes.For the network coordinator, the results show that the delay and energy consumption are minimal when the number of slots per frame is m = n/2.In contrast, when m is below the optimum (i.e., m < n/2), the delay and the energy consumption tend to a very large number if m < n/4.This is expected, as the shorter the frame length the higher the probability of collision, and the more frames are required to complete contention process.Otherwise, when the number of slots per frame is above the optimum (i.e., m > n/2), the delay and the energy consumption of the coordinator increase following a linear fashion and being proportional to m.Here, a higher number of slots per frame leads the coordinator to listen to the channel during longer time periods, yielding greater delay and energy consumption.
Thus, the number of slots in FSA-ACK and FSA-FBP has to be adjusted according to the number of end-devices in order to minimize the delay and the energy consumption of the coordinator.However, since the delay and the energy consumption of the coordinator increase with a small slope after the minimum, it is better to over-dimension the number of slots when the number of end-devices is unknown in order to ensure that the condition m > n/4 holds.
For end-devices, results show that the energy consumption is minimal when m ≥ n.As expected, a higher frame length leads to a lower average number of frames where an end-device has to contend and, thus, a minimum in the energy consumption.In addition, although a higher number of slots leads to longer frames and longer periods in sleep, the use of a very low power sleep mode yields reduced energy consumption when the value of m increases.Of course, there is a trade-off between the coordinator and the end-device delay and energy consumption.When the number of slots per frame increases above n/2, the end-devices consume less energy in a DCR, at the cost of increasing the delay and the energy consumption of the coordinator.

DFSA Delay and Energy Consumption Evaluation
The average delay and energy consumption of the coordinator using DFSA are depicted in Figures 6 and 7a, respectively, whereas for end-devices the average energy consumption is depicted in Figure 7b.In all cases, the average delay and energy consumption are presented as a function of ρ and considering n ∈ {25, 50, 100}.Notice that, in DFSA, the number of slots per frame (m i ) is proportional to the number of end-devices that contend in every frame ( ni ).That is, m i = ρ • ni , where ρ is a positive real number.As it can be observed, the results show that the delays and the energy consumption of the coordinator have a minimum at ρ = 1.In contrast, when ρ < 1, the number of slots per frame becomes lower and the probability of collision in a given slot increases, leading to an increase in the number of frames required to complete a DCR.Otherwise, if ρ > 1, the number of slots per frame increases and the probability of collision decreases, leading to a decrease in the the number of frames required to complete a DCR.
In both cases, the network delay and the energy consumption of the coordinator increase.In the first scenario (ρ < 1), the coordinator has to transmit more FBP packets, whereas in the second scenario (ρ > 1), the number of slots per frame is higher, thus requiring the coordinator to waste more energy in idle-listening.Taking that into consideration, the number of slots per frame in DFSA has to be adjusted to be equal to the number of end-devices that contend in every frame in order to minimize the delay and the energy consumption of the coordinator.
Regarding end-devices, results show that energy consumption is minimized as ρ increases.This can be explained by the fact that an increase in the frame length leads to a lower collision probability among nodes and, hence, a lower energy consumption.It is also important to notice that end-device energy consumption is almost insensitive to the number of end-devices.Here, the average number of re-transmissions of an end-device in DFSA for a given ρ does not change with the number of end-devices.This holds because the probability that an end-device succeeds to transmit in a given frame is constant regardless of the number of end-devices, as the protocol is able to re-configure the frame length after each frame of a DCR.

FSA-ACK, FSA-FBP and DFSA Delay and Energy Consumption Comparison Under Optimal Configuration
In this subsection, we compare the delay and energy consumption of both the network coordinator and end-devices for all FSA protocol variants as a function of n (number of end-devices), where n ∈ {25, ..., 1000}.For each protocol, we have selected m (number of slots per frame) to minimize: (a) the delay and the energy consumption of the coordinator (i.e., m = n/2 in FSA-ACK and FSA-FBP, and ρ = 1 in DFSA), and, (b) the energy consumption per end-device (i.e., m = n in FSA-ACK and FSA-FBP, and ρ = 1.25 in DFSA).This allows to compare all the protocols in their ideal conditions, allowing to draw conclusions regarding their suitability for the target use case.
The average delay is depicted in Figure 8, whereas the network coordinator and end-device average energy are depicted in Figure 9a,b, respectively.Results show that the delay and energy consumption of the coordinator increase almost linearly with the number of devices (n) regardless of the protocol variant.Also, the delay and energy consumption of the coordinator are minimal when m = n/2 in FSA-ACK and FSA-FBP, and when ρ = 1 in DFSA.In addition, there are five aspects to be further discussed, as described in the following bullets: • FSA-FBP outperforms FSA-ACK in terms of delay.This is because the frame duration is longer in FSA-ACK than it is in FSA-FBP.That is, despite the duration of the FBP packets is shorter in FSA-ACK, the duration of the slots in FSA-ACK is longer because they are adjusted to fit a data and an acknowledgement packet.

•
FSA-FBP outperforms FSA-ACK in terms of coordinator energy consumption.This is caused by the fact that in FSA-ACK the coordinator consumes more energy in transmission mode due to the transmission of acknowledgment packets.The differences in delay and energy consumption of the coordinator between the two protocols increase as the number of end-devices increases.
In that regard, it is worth noting that DFSA outperforms FSA-ACK and FSA-FBP in terms of delay and energy consumption of the coordinator as it is capable of adapting the frame length to the number contenders in every frame.

•
The end-device energy consumption in FSA-FBP increases linearly with the number of end-devices.Since the payload of the FBP packet in FSA-FBP is proportional to the number of slots, the energy consumed by an end-device in reception mode also increases with the number of slots.Contrarily, the end-device energy consumption using DFSA and FSA-ACK is almost insensitive to the number of nodes.Since end-devices receive a very short FBP packet in every frame regardless of the number of slots and listen for the duration of a short acknowledgement packet in every transmission attempt, the energy consumption is almost constant.

•
If the protocols are configured with their optimal number of slots that minimize the delay and the energy consumption of the coordinator, DFSA provides 17% delay reduction with respect to FSA-FBP and 32% with respect to FSA-ACK; and FSA-FBP provides delay reductions of a 18% with respect to FSA-ACK.Regarding coordinator energy consumption, DFSA provides 23% energy savings with respect to FSA-FBP and 28% with respect to FSA-ACK, whereas FSA-FBP provides 6% energy savings with respect to FSA-ACK.

•
The end-device energy consumption is minimal when m = n in FSA-ACK and FSA-FBP, and ρ = 1.25 in DFSA.With these values an for n = 1000 devices, FSA-ACK provides energy savings of more than 28% with respect to DFSA and 54% with respect to FSA-FBP.However, if the frame length of FSA-ACK is not well configured, e.g., m = n/2, then DFSA outperforms FSA-ACK in terms of end-device energy consumption.In particular, DFSA provides energy savings of more than a 50% with respect to FSA-FBP and 24% with respect to FSA-ACK.

Results Summary
Based on the results presented in the previous sub-sections, we now provide two insights regarding the optimal configuration of each FSA protocol variant.
First, the optimum frame length (m) in FSA-ACK and FSA-FBP to minimize the delay and coordinator energy consumption depends on the number of end-devices (n) and is reached when m = n/2.Results also show that the end-device energy consumption is minimal when m ≥ n.Hence, the number of slots in FSA-ACK and FSA-FBP has to be pre-adjusted according to the number of end-devices expected in the network.Also, there is a trade-off between the delay and network coordinator energy consumption, and the end-device energy consumption.If the number of slots per frame m increases above the number of end-devices n, then each end-device consumes less energy, but the delay and network coordinator energy consumption increases slightly.Second, DFSA results show that, to minimize the delay and the energy consumption of the coordinator, the number of slots per frame (m) has to be adjusted to be equal to the number of end-devices (n) that contend in every frame, i.e., ρ = 1.In addition, the end-device energy consumption tends to a minimum value as ρ increases.However, there is a trade-off between the delay and coordinator energy consumption, and the end-device energy consumption.When the value of ρ increases, end-devices consume less energy, but the delay and coordinator energy consumption increase slightly.
Hence, considering that in most real-world deployments, the end-devices are battery-powered but the network coordinator is mains-powered, the optimal configuration for FSA-ACK and FSA-FBP is m > n/2, and for DFSA is m = n.

Conclusions
This article has modeled and evaluated three MAC protocols based on FSA (namely, FSA-ACK, FSA-FBP and DFSA) that are targeted at massive data collection in IoT scenarios.The analytic models are based on an AMC, which allows to derive the average delay and energy consumption for both the network coordinator and the end-devices.We then have used computer simulations to validate the model and compare each protocol variant in terms of these parameters, and depending on the number of end-devices present in the network.
Results show the model accuracy and outline the benefits of DFSA with respect to FSA-FBP and FSA-ACK.In terms of delay, DFSA provides a reduction of 17% and 32% compared to FSA-FBP and FSA-ACK, respectively.In terms of energy consumption, for the network coordinator, DFSA provides savings of 23% and 28% compared to FSA-FBP and FSA-ACK, respectively.In contrast, for end-devices, DFSA provides savings of 50% and 24% compared to FSA-FBP and FSA-ACK, respectively.
Finally, based on the analytic model and simulation results, the article has provided insights to configure each FSA variant optimally.Specifically, the FSA-ACK and FSA-ACK optimum value is m = n/2, that is, when the number of slots per frame is twice the number of nodes in the network.In contrast, for DFSA the number of slots per frame has to be adjusted to ρ = 1, that is, be equal to the number of end-devices that contend in every frame.These optimizations are key for massive data collection in IoT scenarios, as these networks rely on low-power wireless communication technologies and have to support a large number of devices with stringent energy consumption requirements.

Figure 2 .
Figure 2. FSA-FBP operation example with four end-devices and three contention slots per frame.

Figure 4 .
Figure 4. Coordinator and end-device average delay using FSA-ACK and FSA-FBP.

Figure 5 .
Figure 5. Coordinator and end-device average energy consumption using FSA-ACK and FSA-FBP.

Figure 7 .
Figure 7. DFSA coordinator and end-device average energy consumption depending on ρ.

1 Figure 8 .
Figure 8. Network coordinator average delay (seconds) depending on the number of end-devices when using the optimal FSA-ACK, FSA-FBP and DFSA configuration.

1 (Figure 9 .
Figure 9. Network coordinator and end-device average energy consumption (Joules) depending on the number of end-devices when using the optimal FSA-ACK, FSA-FBP and DFSA configuration.