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 |