Sponsored by





Message Center


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.


Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Current Papers & Reports
Archived Papers & Reports