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

Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, SenSys 2009

Volumn , Issue , 2009, Pages 367-368

  Li, Jingyuan ^a   Wu, Yafeng ^a   Kapitanova, Krasimira ^a   Stankovic, John A ^a   Whitehouse, Kamin ^a   Son, Sang H ^a  

^a University of Virginia   (United States)

Author keywords

Application semantics; Assurance; Petri net; Run time assurance; Software; Virtual event; Wireless sensor networks

Indexed keywords

APPLICATION LEVEL; ASSURANCE; ASSURANCE TECHNOLOGY; HIGH CONFIDENCE; MISSION CRITICAL APPLICATIONS; MISSION CRITICAL SYSTEMS; RAPID DEVELOPMENT; RUN TIME ASSURANCE; RUNTIMES; SOFTWARE;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; GRAPH THEORY; MACHINE DESIGN; PETRI NETS; SEMANTICS; SENSOR NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

WIRELESS SENSOR NETWORKS;

EID: 74549194627     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1644038.1644105     Document Type: Conference Paper

References (2)

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 and Rudiger Valk. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2001.