Tryear: 2006

Trmonth: 4

Trnumber: 3

Title: Making Live a Little Easier or... Compile Time Checking of Run Time Resource Management

Abstract: To aid in the efficient and clean design of applications, many sensor network systems expose interfaces to system developers that allow for the dynamic creation and manipulation of sensor node resources. But these interfaces are accompanied by the risk that programming mistakes will lead to mismanaged resources. In this talk I will introduce a simple model that characterizes resource usage in many sensor network applications and how this model can be used to create a tool to help automate software verification. I will then describe my experiences in applying such a tool to the code base for the SOS operating system. And perhaps, along the way, we will come to better understand the mystic "Property Number Three"...

Filename:

File:

Urlpdfpaper:

Urlsrcpaper:

Urlpdfpresentation: http://nesl.ee.ucla.edu/fw/documents/slides/2006/sheaChecker06cens.pdf

Urlsrcpresentation:

Urlavmedia:

Urldoi:

Urlpublisher:

Urlgooglescholar:

Urlciteseer:

Pubin: CENS Lecture Series

Pubvol:

Pubnum:

Pubnum end:

Pubpagefirst:

Pubpagelast:

Pubpagecount: 0

Pubdate: 2006-04-13

Pubdate end:

Pubplace: University of California, Los An

Publisher:

Ispublic: true

Islabdocument: true

Miscattributes:

Document category: #<DocumentCategory:0x007f418e402a28>

Main research area:

Edit | Back