Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks

Pseudocode 2

Pseudocode of the redesign QoSRP.

Input the network (), QoS metrics (Residual_Energy,  Transmitting_Delay)

Ouput QoSRP: the impoved prototype of the QoS − based  routing  protocol

BEGIN

 for node (  to  )

  Broadcast Detecting_Message(, , )

 endfor

 for node (  to  )

  for node (  to  )

    // Calculate   only for verifications

 //   for the normalization function

  endfor

 for node (  to  )

  Update

 endfor

 repeat

  Adjust

  Evalute QoS

 until Find one optimal path

 for node (  to  )

  Sending data via the optimal path

 endfor

END