Software

Our research efforts have led to a number of useful software tools. The following are freely available for public use:

• The λ-MAC framework (A toolkit for building MAC protocols for TinyOS 2.1 (mica2 platform); comes with B-MAC, Crankshaft, LMAC, and T-MAC; see the accompanying paper)
• MiXiM (An integrated set of simulation models for WSNs simulations)
• Darjeeling (An open-source VM for microcontrollers)
• MBD for WSN (A Model-Based Diagnosis engine for TinyOS 2.1, see this MSc thesis)
• MEGS (A global state tool for WSN debugging; see the accompanying paper)
• WeyesBED (A WiseML visualization tool)