Compositional verification of sensor software using UPPAAL

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2012, Pages 351-360

  Hammad, Mustafa ^a   Cook, Jonathan ^b  

^a MUTAH UNIVERSITY   (Jordan)

^b New Mexico State University   (United States)

Author keywords

Compositional analysis; Verification; Wireless sensor networks

Indexed keywords

BASIC PROPERTIES; COMPLEX SIMULATION; COMPOSITIONAL ANALYSIS; COMPOSITIONAL VERIFICATION; MULTIPLE NODES; TIMED MODELS; VERIFICATION METHODOLOGY; WIRELESS SENSOR;

SENSOR NODES; SOFTWARE RELIABILITY; WIRELESS SENSOR NETWORKS;

VERIFICATION;

EID: 84876358557     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2012.5     Document Type: Conference Paper

References (15)

1. J. Green, S. Bhattacharyya, and B. Panja, "Real-Time Logic Verification of a Wireless Sensor Network," in CSIE '09: Proc. 2009 WRI World Congress on Computer Science and Information Engineering. Washington, DC, USA: IEEE Computer Society, 2009, pp. 269-273.
2. D. Bucur and M. Z. Kwiatkowska, "Software Verification for TinyOS," in Proc. 9th ACM/IEEE Int'l Conf. on Information Processing in Sensor Networks, ser. IPSN '10. New York, NY, USA: ACM, 2010, pp. 400-401. [Online]. Available: http://doi.acm.org/10.1145/1791212.1791274
3. N. Cooprider, W. Archer, E. Eide, D. Gay, and J. Regehr, "Efficient Memory Safety for TinyOS," in SenSys '07: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems. New York, NY, USA: ACM, 2007, pp. 205-218.
4. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, "UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems," in Proceedings of the DIMACS/SYCON workshop on Hybrid systems III: verification and control. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 1996, pp. 232-243.
5. D. Gay, P. Levis, R. Behren, M. Welsh, E. Brewer, and D. Culler, "The nesC Language: A Holistic Approach to Networked Embedded Systems," in Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation. New York, NY, USA: ACM, 2003, pp. 1-11.
6. J. Hill et al., "System Architecture Directions for Networked Sensors," SIGPLAN Not., vol. 35, no. 11, pp. 93-104, 2000.
7. B. L. Titzer, D. K. Lee, and J. Palsberg, "Avrora: Scalable Sensor Network Simulation with Precise Timing," in IPSN '05: Proc. 4th Int'l Symposium on Information Processing in Sensor Networks. Piscataway, NJ, USA: IEEE Press, 2005, p. 67.
8. M. Hammad and J. Cook, "Lightweight Deployable Software Monitoring for Sensor Networks," in ICCCN '09: Proc. 18th Int'l Conference on Computer Communications and Networks. Washington, DC, USA: IEEE Computer Society, 2009, pp. 1-6.
9. "Memtime." http://www.uppaal.com, 2012.
10. P. Li and J. Regehr, "T-check: Bug Finding for Sensor Networks," in Proc. 9th ACM/IEEE Int'l Conf. on Information Processing in Sensor Networks. New York, NY, USA: ACM, 2010, pp. 174-185.
11. C. Killian, J. W. Anderson, R. Jhala, and A. Vahdat, "Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code," in Proc. 4th Symp. on Networked Systems Design and Implementation, 2007.
12. P. Levis, N. Lee, M. Welsh, and D. Culler, "TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications," in Proc. 1st International Conference on Embedded Networked Sensor Systems. New York, NY, USA: ACM, 2003, pp. 126-137.
13. S. Coleri, M. Ergen, and T. J. Koo, "Lifetime Analysis of a Sensor Network with Hybrid Automata Modelling," in WSNA '02: Proc. 1st ACM Int'l Workshop on Wireless Sensor Networks and Applications. New York, NY, USA: ACM, 2002, pp. 98-104.
14. N. Kothari, T. Millstein, and R. Govindan, "Deriving State Machines from TinyOS Programs Using Symbolic Execution," in IPSN '08: Proc. 7th Int'l Conf. on Information Processing in Sensor Networks. Washington, DC, USA: IEEE Computer Society, 2008, pp. 271-282.
15. O. Sokolsky, U. Sammapun, J. Regehr, and I. Lee, "Runtime Verification for Wireless Sensor Network Applications," in Runtime Verification, ser. Dagstuhl Seminar Proceedings, B. Finkbeiner, K. Havelund, G. Rosu, and O. Sokolsky, Eds., no. 07011, Dagstuhl, Germany, 2008. [Online]. Available: http://drops.dagstuhl.de/opus/volltexte/2008/1371