Toggle navigation
Home
People
Projects
Documents
Products
Courses
Login
Editing document
Tryear
Trmonth
Trnumber
Title
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
Urlsrcpresentation
Urlavmedia
Urldoi
Urlpublisher
Urlgooglescholar
Urlciteseer
Pubin
Pubvol
Pubnum
Pubnum end
Pubpagefirst
Pubpagelast
Pubpagecount
Pubdate
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubdate end
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubplace
Publisher
Ispublic
Islabdocument
Miscattributes
Document category
Main research area
Show
|
Back