Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Sammapun, Usa; Lee, Insup; Sokolsky, Oleg |
Title |
Runtime verification for wireless sensor network applications |
Date |
2008-01-01 |
Description |
Wireless sensor networks are widely used to detect environment information that is not accessible by human. Developing such networks however requires low-level programming. The lack of sophisticated debugging tools for sensor networks makes it difficult to make the connection between a high-level functional or performance requirement and low-level implementation. This paper investigates a high-level approach by examining low-level execution data from a simulator and checking the data against specification written in formal logics. Such a technique raise the development level for wireless sensor network and providing a mechanism for understanding high level behaviors of the system in terms of low-level observation. This study can become a road map for wireless sensor network application development. |
Type |
Text |
Publisher |
Schloss Dagstuhl |
First Page |
1 |
Last Page |
9 |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Sammapun, U., Regehr, J., Lee, I., & Sokolsky, O. (2008). Runtime verification for wireless sensor network applications. In Proceedings of the Dagstuhl Seminar 07011 on Runtime Verification, 1-9. |
Rights Management |
(c) Schloss Dagstuhl |
Format Medium |
application/pdf |
Format Extent |
700,872 bytes |
Identifier |
uspace,17477 |
ARK |
ark:/87278/s6qf9bm4 |
Setname |
ir_uspace |
ID |
707986 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6qf9bm4 |