The tools we have developed to support our research in our NEST research range from
simulators to model-based code generation and verification environments. Specifically,
TinyDT is an Eclipse-based IDE for TinyOS application development.
It features syntax highlighting, code completion, a component browser, a configuration view, and the TinyOS
compiler toolchain is fully integrated within the IDE. Note that an IBM Eclipse Innovation Award has supported the development of TinyDT.
Gratis is a fully functional modeling, code generation, verification and parsing environment
for TinyOS application development. The technology behind Gratis is model integrated computing,
specifically the Generic Modeling Environment (GME).
OS and application component interfaces along with their interdependencies are captured in a graphical
environment and the glue code that ties together the application and OS components are automatically
generated. Gratis can automatically parse the entire TinyOS tree and build the corresponding graphical
models automatically. The current version supports Tinyos v1.0 and nesC v1.0.
Prowler is a probabilistic wireless network simulator capable of simulating wireless distributed
systems, from the application to the physical communication layer. Prowler, running under MATLAB,
provides an easy way of application prototyping with nice visualization capabilities. Although Prowler
provides a generic simulation environment, its current target platform is the Berkeley MICA
motes running TinyOS. Recently we have ported it to Java creating JProwler.
We have also created a few pratical tools for TinyOS application development
including the Message Center, a Java application for monitoring and debugging the
application running on the motes.