Runtime Verification for Wireless Sensor Network Applications

Dagstuhl Seminar Proceedings

Volumn 7011, Issue , 2008, Pages

  Sammapun, Usa ^a   Regehr, John ^b   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

DEBUGGING TOOLS; ENVIRONMENT INFORMATION; FUNCTIONAL REQUIREMENT; HIGH-LEVEL APPROACH; LOW LEVEL PROGRAMMING; PERFORMANCE REQUIREMENTS; ROADMAP; RUN-TIME VERIFICATION; SENSORS NETWORK; WIRELESS SENSOR NETWORK APPLICATIONS;

WIRELESS SENSOR NETWORKS;

EID: 78650206019     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. In Proceedings of the 5th Conference on Verification, Model Checking and Abstract Interpretation, Vanice, Italy, 2004.
2. D. E. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo. A network-centric approach to embedded software for tiny devices. In Proceedings of the ACM Conference on Embedded Systems Software (EMSOFT), Tahoe City, California, October 2001.
3. D. Drusinsky. Monitoring temporal logic specifications combined with Time Series constraints. Journal of Universal Computer Science, 9(11), November 2003.
4. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: A holistic approach to networked embedded systems. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2003.
5. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-MaC: a runtime assurance approach for Java programs. Formal Methods in Systems Design, 24(2):129–155, March 2004.
6. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
7. U. Sammapun, I. Lee, and O. Sokolsky. RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties. In Proceedings of the 11th IEEE Conference of Embedded and Real-Time Computing Systems and Applications, 2005.
8. O. Sokolsky, U. Sammapun, I. Lee, and J. Kim. Runtime checking of dynamic properties. In Proceeding of the 5th Workshop on Runtime Verification (RV’05), Edinburgh, Scotland, UK, July 2005.
9. B. L. Titzer. Avrora: The AVR simulation and analysis framework. Master’s thesis, University of California, Los Angeles, June 2004.