Skip to main content

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.