Real-time logic verification of a wireless sensor network

2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009

Volumn 3, Issue , 2009, Pages 269-273

  Green, J ^a   Bhattacharyya, S ^a   Panja, B ^b  

^a KENTUCKY STATE UNIVERSITY   (United States)

^b MOREHEAD STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC MANAGEMENT; AUTOMATED RESPONSE; CONTINUOUS DYNAMICS; EVENT-DRIVEN SYSTEM; FORMAL MODELING; HYBRID AUTOMATONS; LOGICAL CORRECTNESS; MONITORING AND CONTROL; REAL TIME; REAL-TIME LOGIC; VERIFICATION TOOLS;

AIR TRAFFIC CONTROL; COMPUTER SCIENCE; HYBRID SYSTEMS; SENSOR NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

WIRELESS SENSOR NETWORKS;

EID: 70449121818     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSIE.2009.944     Document Type: Conference Paper

References (15)

1. Lewis F., "Wireless sensor networks", Smart environments: technologies, protocols, and applications, ed. D. J. Cook and S. K. Das, John Wiley, New York, 2004.
2. K. Romer and F. Mattern. "The design space of wireless sensor networks." IEEE Wireless Communications, pages 54-61, December 2004.
3. D. Giannakopoulou and F. Lerda, "From States to Transitions: Improving translation of LTL formulae to Büchi automata," 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2002), Houston, Texas, November 2002.
4. Madhavan Mukund. "Linear-time temporal logic and Büchi automata." Tutorial talk, Winter School on Logic and Computer Science, Indian Statistical Institute, Calcutta,1997.
5. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. "The algorithmic analysis of hybrid systems." Theoretical Computer Science, 138:3{34, 1995.
6. http://robotics.eecs.berkeley.edu/∼pister/SmartDust
7. Hoffman, Thomas. Smart Dust: Mighty motes for medicine, manufacturing, military and more. Computerworld: Mobile and Wireless, March 24, 2003.
8. Santos, Luciano A. F., Marques, Marcelo de Oliveira, and Bonatti, Ivanil S. "Power-aware model for wireless sensor nodes." http://www.dt.fee. unicamp.br /∼ivanil/.
9. Coleri, S., Ergen, M., and Koo, T.J. "Lifetime analysis of a sensor network with hybrid automata modeling." International Workshop on Wireless Sensor Networks and Applications, Atlanta, GA, USA, September, 2002.
10. Inanc, M., Magdon-Ismail ,M., and Yener, B. "Power optimal connectivity and coverage in wireless sensor networks." Tech. Rep. TR-03-06, Department of Computer Science, Rensselaer Polytechnic Institute. July, 2003.
11. Curren, David. "A Survey of Simulation in Sensor Networks." University of Binghamton. http://www.cs.bing hamton.edu/∼kang/teaching/ cs580s/david.pdf
12. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P. and W. Yi. "Uppaal: a tool-suite for automatic verification of real-time systems." R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 232-243. Springer-Verlag, 1996.
13. Bhattacharyya, S., Nutaro, J., Miller, L.E., Kuruganti, T., Shankar, M. "Power System Smart Control and Verification." Proceedings of the Tenth IASTED International Conference - actapress.com.
14. Sammapun, Usa, Lee, Insup, Sokolsky, Oleg, and Regehr, John. "Statistical Runtime Checking of Probabilistic Properties". http://repository.upenn.edu/cgi/viewcontent.cgi ?article=1381&context=cis- papers
15. C. F. Chiasserini and M. Garetto. "An analytical model for wireless sensor networks with sleeping nodes." Mobile Computing, IEEE Transactions on, 5:1706-1718, December 2006.