header
Programs in WSN nodes

Tag:
Edit edit   Starstar

Program Information

Name: Programs in WSN nodes
Domain: Algorithm
Functionality: Perceive changes in ambient temperature by comparing the instant current and voltage readings from the sensors 
Input: Current I and Voltage V ,Current Temperature r($T_{1}$,$T_{2}$)  ,data consolidation criterion $\approx p()$ 
Output: Estimated temperatures p($T_{1}$,$T_{2}$) 

Reference

 Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks  http://dl.acm.org/citation.cfm?id=1769168.1769175  

MR Information

MR1------

Description:
Property: If $r(T_{1}, T_{2}), then \approx p(T_{1}, T_{2})$ 
Source input: P(I,V) 
Source output:
Follow-up input: $T_{1}\Rightarrow P_{1}(I,V)$, $T_{2}\Rightarrow P_{2}(I,V)$,$r(T_{1},T_{2})$ 
Follow-up output: $p(T_{1},T_{2})$ 
Input relation: $P(I,V)=P_{1}(I,V)=P_{2}(I,V)$ 
Output relation:  $If r(T_{1}, T_{2}), then \approx p(T_{1}, T_{2})$ 
Pattern:

MR2------

Description:
Property:  If $r(T_{1}, T_{2}) and \approx p(T_{1}, T_{2}), then \phi_{1} =\phi_{2}$ 
Source input: P(I,V) 
Source output: T
Follow-up input: $P_{1}(I,V)$, $P_{2}(I,V)$ 
Follow-up output: $\phi_{1}$,$\phi_{2}$ 
Input relation:  $P(I,V)=P_{1}(I,V)=P_{2}(I,V)$ 
Output relation: $If r(T_{1}, T_{2}) and \approx p(T_{1}, T_{2}), then \phi_{1} =\phi_{2}$ 
Pattern:
Insert title here