Skip to main content

Table 1 Fields of abstract object

From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network

#

Field name

Field description

1

Node

A node may be a sensor, actor or gateway having certain position. Position of a node is recorded in the form of x and y-coordinates

2

Pwr

The nodes have some power which is represented as union type, i.e., HIGH or LOW

3

States

It records status of sensor, actor and gateway represented as union of quote types

4

Information

This field is used for recording the sensed data

5

Neighbours

It illustrates that the neighbor nodes exists in the connected network

6

Connectivity

It checks the connectivity status of a sensor, actor and a gateway