Skip to main content

Advertisement

Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Table 4 Places and mappings of HSM

From: Data offloading in IoT environments: modeling, analysis, and verification

Places Mappings Descriptions
φ(C _ Info) (N1 × MSIZE × MD × MID × MTTL _ F × MACK _ F) Contains N_ID of CI, messages in its ML represented by key attributes, ACK flag.
φ(Con _ N) (Node _ L) Contains the N_IDs of CNs.
φ(Buff) (Avlbl _ B) Contains available space, in message buffers of Com-N.
φ(Rec _ L) (MID _ D) Holds the RLs of Com-N.
φ(Ack _ L) (MID _ A) Holds the Als of Com-N.
φ (Msg _ L) (MID _ R) Holds the MLs of Com-N.
φ(R _ Info) \( {\displaystyle \begin{array}{l}\mathbb{P}\Big(N1\times N2\times {M}_D\times {U}_{CD\_N1\_D}\times {U}_{CD\_N2\_D}\\ {}\times {U}_{ICT\_N1\_D}\times {U}_{ICT\_N2\_D}\times {M}_{ID}\times {M}_{TTL\_F}\\ {}\times {M}_{SIZE}\times {M}_{ACK\_F}\Big)\end{array}} \) Contains N_IDs of Com-N, N_IDs of Ds of messages to be relayed by CI, CD- and ICT-based utilities of Com-N, messages to be relayed in ML of CI represented by key attributes, and ACK flag.
φ(CD) (N1 × N2 × MD × UCD _ N1 _ D × UCD _ N2 _ D) Records the N_IDs of Com-N, N_IDs of Ds of messages to be relayed by CI, and CD-based utilities of Com-N.
φ(ICT) (N1 × N2 × MD × UICT _ N1 _ D × UICT _ N2 _ D) Records the N_IDs of Com-N, N_IDs of Ds of messages to be relayed by CI, ICT-based utilities of Com-N.