Using CSP to model and analyze TinyOS applications

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2009, Pages 79-88

  McInnes, Allan I ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

Concurrency; Process algebra; TinyOS

Indexed keywords

APPLICATION COMPONENTS; APPLICATION DEVELOPERS; CONCURRENCY; CONCURRENT ACTIVITIES; PROCESS ALGEBRA; PROCESS ALGEBRAS; PROCESS MODEL; TINYOS;

COMPUTER OPERATING PROCEDURES;

ALGEBRA;

EID: 67650311730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2009.34     Document Type: Conference Paper

References (15)

1. P. Levis et al., "TinyOS: An operating system for sensor networks," in Ambient Intelligence, W. Weber, J. Rabaey, and E. Aarts, Eds. Berlin: Springer, 2005, pp. 115-148.
2. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler, "The nesC language: A holistic approach to networked embedded systems," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 1-11, 2003.
3. P. Levis, N. Lee, M. Welsh, and D. Culler, "TOSSIM: accurate and scalable simulation of entire TinyOS applications," in Proc. of the 1st International Conference on Embedded Networked Sensor Systems (SenSys '03). ACM, 2003, pp. 126-137.
4. A. W. Roscoe, The Theory and Practice of Concurrency. Englewood Cliffs, NJ: Prentice Hall, 1998.
5. M. Woehrle, C. Plessl, J. Beutel, and L. Thiele, "Increasing the reliability of wireless sensor networks with a distributed testing framework," in Proc. of the 4th Workshop on Embedded Networked Sensors (EmNets '07). ACM, 2007, pp. 93-97.
6. E. M. Clarke et al., "Formal methods: state of the art and future directions," ACM Computing Surveys, vol. 28, no. 4, pp. 626-643, 1996.
7. P. Gardiner et al., Failures-Divergences Refinement: FDR2 User Manual, Formal Systems (Europe) Ltd, 2005.
8. P. Levis, "TinyOS programming," June 2006, http://csl.stanford. edu/~pal/pubs/tinyos-programming.pdf.
9. D. Gay, P. Levis, D. Culler, and E. Brewer, "nesC 1.2 language reference manual," August 2005, http://nescc.cvs.sourceforge.net/viewvc/ *checkout*/nescc/nesc/doc/ref.pdf?revision=1.18.
10. P. Völgyesi, M. Maróti, S. Dóra, E. Osses, and Á. Lédeczi, "Software composition and verification for sensor networks," Science of Computer Programming, vol. 56, no. 1-2, pp. 191-210, 2005.
11. P. Levis, "TinyOS 2.x boot sequence," TinyOS Core Working Group, TinyOS Extension Proposal TEP-107, September 2007.
12. N. S. Rosa and P. R. F. Cunha, "Using LOTOS for formalising wireless sensor network applications," Sensors, vol. 7, no. 8, pp. 1447-1461, 2007.
13. F. Xie, G. Yang, and X. Song, "Compositional reasoning for hardware/software co-verification," in Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA). Springer, 2006, pp. 154-169.
14. N. Kothari, T. Millstein, and R. Govindan, "Deriving state machines from TinyOS programs using symbolic execution," in Proc. of the 7th International Conference on Information Processing in Sensor Networks (IPSN '08). IEEE Computer Society, 2008, pp. 271-282.
15. W. Archer, P. Levis, and J. Regehr, "Interface contracts for TinyOS," in Proc. of the 6th International Conference on Information Processing in Sensor Networks (IPSN '07). ACM, 2007, pp. 158-165.