Journal article icon

Journal article

On software verification for sensor nodes

Abstract:

We consider software written for networked, wireless sensor nodes, and specialize software verification techniques for standard C programs in order to locate programming errors in sensor applications before the software's deployment on motes. Ensuring the reliability of sensor applications is challenging: low-level, interrupt-driven code runs without memory protection in dynamic environments. The difficulties lie with (i) being able to automatically extract standard C models out of the partic...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.jss.2011.04.054

Authors


Kwiatkowska, M More by this author
Journal:
JOURNAL OF SYSTEMS AND SOFTWARE
Volume:
84
Issue:
10
Pages:
1693-1707
Publication date:
2011-10-05
DOI:
ISSN:
0164-1212
URN:
uuid:d5103089-5cf8-476b-9f7c-5af1a395edb2
Source identifiers:
328850
Local pid:
pubs:328850

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP