> I'm not that certain about your paper "FTSP Protocol Verification using SPIN". > In your paper, when modelling the Radio Channel Model, you said that the > channel would drop a radio message with some probability. I'm wodering whether > the node which transmits the synchronization message would know the loss of > the message and re-transimit it. And will the node wait some time for > another transmition when the radio collisions happen. MAC protocol takes care of the channel sharing and should prevent radio collisions for the most part. however, there is no retransmissions in FTSP.
sensornet deployments are typically quite dense - so each node should have a multiple neighbors. the node will synchronize with other neighbors, if a timesync packet is lost due to a collision. in the worst case, the node waits until the next synchronization round. we haven't found this to be a problem in practice. our sensys experiments were actually conducted in a small area, with multiple hops enforced in software. so even if a node has 60 neighbors, FTSP works fine. brano _______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
