Publication Type |
Manuscript |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Archer, Will; Levis, Philip |
Title |
Interface contracts for TinyOS |
Date |
2007-01-01 |
Description |
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. 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 of applications. We uncovered some subtle and previously unknown bugs in applications that have been in common use for years. |
Type |
Text |
Publisher |
Association for Computing Machinery |
DOI |
http://doi.acm.org/10.1145/nnnnnn.nnnnnn ; ACM 978-1-59593-638-7/07/0004. |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Archer, W., Levis, P., & Regehr, J. (2007). Interface contracts for TinyOS. In Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN) 2007. April. |
Rights Management |
© ACM, 2007. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN) 2007. April 25-27, 2007. |
Format Medium |
application/pdf |
Format Extent |
668,115 bytes |
Identifier |
uspace,17481 |
ARK |
ark:/87278/s60v8xh2 |
Setname |
ir_uspace |
ID |
708006 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s60v8xh2 |