A graphical simulation system for modeling and analysis of sensor networks

Proceedings - Seventh IEEE International Symposium on Multimedia, ISM 2005

Volumn 2005, Issue , 2005, Pages 474-482

  Luo, Yan ^a   Tsai, Jeffrey J P ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODELS; GRAPHICAL SIMULATION SYSTEMS; SENSOR NETWORKS; SPACE TIME PETRI NET (STPN);

COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS; PETRI NETS; SENSORS;

TELECOMMUNICATION NETWORKS;

EID: 33846293661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISM.2005.9     Document Type: Conference Paper

References (18)

1. I.A. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "A Survey of Sensor Networks," IEEE Communication Magazine, Vol. 40, pp. 102-115, Aug. 2002.
2. I.F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "Wireless Sensor Networks: A Survey," Computer Networks, Vol. 38, pp. 393-422, 2002.
3. C. Shen, C. Srisathapornphat, and C. Jaikaeo, "Sensor Information Networking Architecture and Applications," IEEE Trans. on. Communication, pp. 52-59, Aug. 2001.
4. S. Meguerdichianl, F. Koushanfar2, M. Potkonjakl, and M.B. Srivastava2, "Coverage Problems in Wireless Ad-hoc Sensor Networks," Proc. of IEEE Infocom, 2001.
5. C.F. Huang and Y.C. Tsent, "The Coverage Problem in a Wireless Sensor Network", Proc. of ACM WSNA, 2003.
6. L. Doherty, K. Pister, and L. El Ghaoui, "Convex Position Estimation in Wireless Sensor Networks," Proc. of IEEE Infocom, Anchorage, AK, April 2001.
7. Bulusu et al., "Scalable Coordination for Wireless Sensor Networks: Self-Configuring Localization Systems," ISCTA 2001, Ambleside, U.K., July 2001.
8. S. Coleri, M. Ergen and T.J. John Koo, "Lifetime Analysis of a Sensor Network with Hybrid Automata Modeling," ACM WSNA, Atlanta, Sep. 2002.
9. A. Sinha and A. Chandrakasan, "Dynamic Power Management in Wireless Sensor Networks," IEEE Design Test Comp., 2001.
10. B. Krishnamachari, D. Estrin, and S. Wicker, "Modeling Data-centric Routing in Wireless Sensor Networks", Proc. of IEEE Infocom, 2002.
11. C. Intanagonwiwat, R. Govindan, D. Estrin, J. Heidemann, and F. Silva, "Directed Diffusion for Wireless Sensor Networking," IEEE/ACM Transactions on Networking, vol. 11, no. 1, pp. 2-16, Feb. 2003.
12. L. Ma and J. Tsai, T. Murata, "Modeling and Analysis of a Secure Mobile Agent System Using Extended Elementary Object System," Proc. of COMPSAC04, 2004.
13. J. Undercoffer, S. Avancha, A. Joshi, and J. Pinkston, "Security for Sensor Networks," CADIP Research Symposium, 2002.
14. C. Rust, F. Stappert, and T. Lukovszki, "A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture,", Technical Report of C-LAB, University of Paderborn, Germany, 2003
15. C. Xiong, T. Murata, and J. Tsai, "Modeling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Colored Petri Nets", Proc. of Workshop on Formal Methods Applied to Defense Systems, pp. 145-153, 2002.
16. L. Ma and J. Tsai, "Modeling and Analysis of a Secure Mobile Agent System," Proc. of 2003 World Congress on Integrated Design and Process Technology, Dec. 2003.
17. T. He, J.A. Stankovic, C. Lu, and T.F. Abdelzaher, "A Spatiotemporal Communication Protocol for Wireless Sensor Networks," IEEE Transactions on Parallel and Distributed Systems, 2005.
18. P.Y. Hsu, Y.B. Chang, and Y.L. Chen, "STRPN: A Petri Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects," IEEE Trans. On Software Engineering, Vol. 29, No. 1, Jan 2003.