|
|
| Line 1: |
Line 1: |
| − | = What is Safe TinyOS? =
| |
| | | | |
| − | It is an alternate toolchain for TinyOS 2 that uses the Deputy compiler to enforce type and memory safety at run time. Safety is useful for trapping pointer and array errors before they cause nasty consequences.
| |
| − |
| |
| − | The SenSys2007 paper and slides can be found at: [http://www.cs.utah.edu/~coop/me/pubs/sensys07.htm Efficient Memory Safety for TinyOS]
| |
| − |
| |
| − |
| |
| − | = Safe Overview =
| |
| − |
| |
| − | An overview of Safe TinyOS can be found here: [http://www.cs.utah.edu/~coop/safetinyos Safe TinyOS].
| |
| − |
| |
| − | In particular, if you are trying to figure out the meaning behind Deputy modifiers, (such as "ONE", "ONE_NOK", and the like), you should look at section "Understanding Safe Code".
| |
| − |
| |
| − |
| |
| − | = Deputy Information =
| |
| − | For information on Deputy see: [http://deputy.cs.berkeley.edu/ Deputy]
| |
