@inproceedings{543bfd157dc14a2bb1402066fd46f151,
title = "Poster abstract: Run time assurance of application-level requirements in wireless sensor networks",
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.",
keywords = "Application semantics, Assurance, Petri net, Run time assurance, Software, Virtual event, Wireless sensor networks",
author = "Jingyuan Li and Yafeng Wu and Krasimira Kapitanova and Stankovic, {John A.} and Kamin Whitehouse and Son, {Sang H.}",
year = "2009",
doi = "10.1145/1644038.1644105",
language = "English",
isbn = "9781605587486",
series = "Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, SenSys 2009",
pages = "367--368",
booktitle = "Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, SenSys 2009",
note = "7th ACM Conference on Embedded Networked Sensor Systems, SenSys 2009 ; Conference date: 04-11-2009 Through 06-11-2009",
}