Programs in WSN nodes

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