Formal specifications

Protocols

The Packetizer Protocol is used to transmit mote data packets over the serial connection between a mote and a PC-class device.

The Serial Forwarder Protocol is used to transmit mote data packets over a TCP connection between two processes running on PC-class devices.

The TOSSIM Protocol is used to exchange data messages with, transmit commands to, and receive events from the TOSSIM simulator.