Run time assurance of application-level requirements in wireless sensor networks

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Run time assurance of application-level requirements in wireless sensor networks

Full text

Pdf (769 KB)

Source

Conference On Embedded Networked Sensor Systems archive
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems table of contents

Berkeley, California

POSTER SESSION: Poster abstracts table of contents

Pages: 367-368

Year of Publication: 2009

ISBN:978-1-60558-519-2

Authors

Jingyuan Li	University of Virginia
Yafeng Wu	University of Virginia
Krasimira Kapitanova	University of Virginia
John A. Stankovic	University of Virginia
Kamin Whitehouse	University of Virginia
Sang H. Son	University of Virginia

Sponsors

SIGCOMM: ACM Special Interest Group on Data Communication
SIGMOBILE: ACM Special Interest Group on Mobility of Systems, Users, Data and Computing
SIGMETRICS: ACM Special Interest Group on Measurement and Evaluation
SIGOPS: ACM Special Interest Group on Operating Systems
SIGARCH: ACM Special Interest Group on Computer Architecture
SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 30, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1644038.1644105 What is a DOI?

ABSTRACT

The current rapid development and deployment of wireless sensor networks (WSNs) and their application in mission critical systems are exacerbating the need for high confidence WSNs. Achieving high confidence WSNs will require new assurance technologies. Most current solutions deal with faults and reliability and not with application level semantics and associated assurances. We propose the use of a novel WSN design and assurance mechanism, run time assurance (RTA), to guarantee that important application-level requirements are met in mission critical applications.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. Jiao, S. Son, and J. Stankovic. GEM: Generic event service middleware for wireless sensor networks. INSS, E83-A(11), June 2005.
	2	Claude Girault , Rudiger Valk, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, Springer-Verlag New York, Inc., Secaucus, NJ, 2001