Sciweavers

IPSN
2007
Springer

Interface contracts for TinyOS

14 years 6 months ago
Interface contracts for TinyOS
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained 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. Developers are commonly forced to read the source code for components, partially defeating the purpose of using components in the first place. Our research helps solve these problems by allowing developers to explicitly specify and enforce component interface contracts. Due to the extensive reuse of the most common interfaces, implementing contracts for a small number of frequently reused interfaces permitted us to extensively check a number...
Will Archer, Philip Levis, John Regehr
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IPSN
Authors Will Archer, Philip Levis, John Regehr
Comments (0)