[Tinyos-devel] looking for early Safe TinyOS users

[John Regehr]

Safe TinyOS is now pretty easy to use, and it will continue to get
easier as support creeps into the default toolchain.

The benefit of Safe TinyOS is that type and memory safety violations on
motes are trapped, instead of corrupting RAM.  For example, the recent 
bug in the Mica2 stack was easy to find using Safe TinyOS.

We're looking for folks willing to try out Safe TinyOS on their favorite 
applications.  Instructions are here:

   http://www.cs.utah.edu/~coop/safetinyos/

The short version is that once you get the tools installed, you can just 
type "make micaz safe" and a safe application will be compiled.

Current status is that many of the applications in tinyos-2.x/apps work 
fine in safe mode, but some do not.

Mica2, micaz, and telosb are supported.  Hosts we have tested are WinXP, 
Ubuntu Feisty, and Ubuntu Hardy.

Feedback appreciated.  Thanks,

John Regehr