[Tinyos-alliance] FW: proposal for TinyOS Tools WG

[dculler]

-----Original Message-----
From: John Regehr [mailto:regehr at cs.utah.edu] 
Sent: Tuesday, April 03, 2007 9:22 AM
To: dculler at archrock.com
Cc: 'Philip Levis'
Subject: Re: proposal for new TinyOS WG

Dave-

Thanks for the feedback.  I've revised this a bit, mainly in the Charter
part, to try to make it clear that the scope includes tools such as those
you mention.

BTW we're pretty close to getting something fun working: a nightly-updated
web page that reports the results of downloading the T2 CVS, compiling some
apps, and then running them through various checkers such as memory safety,
interface contract safety, and stack overflow safety.

Thanks,

John Regehr



dculler wrote:
> John,
>   I'm happy to forward this to the SC, but I'd like to make a 
> suggestion before I do.  This seems to focus on particular compiler 
> optimizations.  In other words, there is an implicit assumption that 
> the WG will only deal with a particular tool - the NesC compiler, or 
> perhaps transforms in the compilation path.  I'm thinking that there 
> are a lot of other tools out there that would like to find a path into 
> broader availability.  Lot of folks have done eclipse plug-ins, visual
programming aids, analyzers, etc.
> It might be good to outline the scope of tools that you are interested 
> in covering, rather than the optimization goal of those tools.
> 
> What do you think?
> 
> -----Original Message-----
> From: John Regehr [mailto:regehr at cs.utah.edu]
> Sent: Tuesday, March 20, 2007 11:46 AM
> To: dculler at archrock.com
> Subject: proposal for new TinyOS WG
> 
> Dave-
> 
> This is a resend of TinyOS WG proposal.  Thanks,
> 
> John Regehr
> 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tinyos_wg_proposal.pdf
Type: application/pdf
Size: 36391 bytes
Desc: not available
Url : http://mail.millennium.berkeley.edu/pipermail/tinyos-alliance/attachments/20070403/8fe563bb/tinyos_wg_proposal-0001.pdf