Interface Contracts for TinyOS

TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable fine grained code reuse, this approach has been successful in creating applications that make very efficient use of the limited code and data memory on sensor network nodes. However, the other important benefit of components - rapid application development through black-box reuse - remains largely unrealized because in many cases interfaces have implied usage constraints that can be the source of frustrating program errors.