GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks

ACM International Conference Proceeding Series

Volumn 138, Issue , 2006, Pages

  Samper, Ludovic ^a   Maraninchi, Florence ^b   Mounier, Laurent ^b   Mandel, Louis ^b  

^a ORANGE LABS   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODELS; PHYSICAL ENVIRONMENT;

ABSTRACTING; COMPUTER AIDED SOFTWARE ENGINEERING; NETWORK PROTOCOLS; SENSOR NETWORKS; SENSORS;

AD HOC NETWORKS;

EID: 34250710135     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1142680.1142684     Document Type: Conference Paper

References (22)

1. "The Network Simulator - ns-2." [Online]. Available: http://www.isi.edu/nsnam/ns/
2. F. Ghenassia, Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems. Springer-Verlag, 2005.
3. L. Lamport, "Proving the correctness of multiprocess programs," IEEE Transactions on Software Engineering, vol. SE-3, no. 2, pp. 125-143, 1977.
4. C. Intanagonwiwat, R. Govindan, and D. Estrin, "Directed diffusion: a scalable and robust communication paradigm for sensor networks." in MOBICOM, 2000, pp. 56-67.
5. I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "Wireless sensor networks: a survey." Computer Networks, vol. 38. no. 4, pp. 393-422, 2002.
6. L. Mandel and M. Fouzet, "Reactiveml, a reactive extension to ml," in ACM International conference on Principles and Practice of Declarative Programming (PPDP'05), Lisbon, Portugal, July 2005.
7. X. Leroy, "The Objective Caml system release 3.09 Documentation and user's manual," INRIA, Tech. Rep., 2005.
8. E. Jahier and P. Raymond, "The lucky language reference manual," Verimag Technical Report, Tech. Rep. TR-2004-6, 2005.
9. C. C. Enz, A. El-Hoiydi, J.-D. Decotignie, and V. Peiris, "Wisenet: An ultralow-power wireless sensor network solution." IEEE Computer, vol. 37, no. 8, pp. 62-70, 2004.
10. A. Bachir, D. Barthel, M. Heusse and A. Duda, "Micro-Frame Preamble MAC for Multihop Wireless Sensor Networks," accepted, ICC, 2006.
11. W. Ye, J. S. Heidemann, and D. Estrin, "Medium access control with coordinated adaptive sleeping for wireless sensor networks." IEEE/ACM Trans. Netw., vol. 12, no. 3, pp. 493-506, 2004.
12. "Motorola mc13192 data sheet," Motorola freescale, 2005. [Online]. Available: freescale.com/files/rf_if/doc/data.sheet/MC13192DS.pdf
13. Lin Yuan and Gang Qu, Energy-Efficient Design of Distributed Sensor Networks. CRC press, Oct. 2004, ch. 38.
14. EPFL, "Network in A Box." [Online]. Available: http://nab.epfl.ch/
15. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler, "The nesC language: A holistic approach to networked embedded systems," j-SIGPLAN, vol. 38, no. 5, pp. 1-11, May 2003.
16. B. L. Titzer, D. K. Lee, and J. Palsberg, "Avrora: Scalable Sensor Network Simulation with Precise Timing," Proceedings of IPSN, 2005.
17. J. Polley, D. Blazakis, J. McGee, D. Rusk, and J. S. Baras, "ATEMU: A Fine-grained Sensor Network Simulator," Secon, 2004.
18. V. Shnayder, M. Hempstead, B. rong Chen, G. W. Allen, and M. Welsh, "Simulating the power consumption of large-scale sensor network applications." in SynSys, 2004, pp. 188-200.
19. S. G. Olaf Landsiedel, Klaus Wehrle, "Accurate prediction of power consumption in sensor networks," in Proceedings of The Second IEEE Workshop on Embedded Networked Sensors (EmNetS-II), Sydney, Australia, May 2005.
20. TinyOS Team, "Tinyos." [Online]. Available: www.tinyos.net
21. N. Halbwachs, F. Lagnier, and C. Ratel, "Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE," IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems, Sept. 1992.
22. M. Bozga, S. Graf, and L. Mounier, "If-2.0: A validation environment for component-based real-time systems," in Proceedings of CAV'02 (Copenhagen, Denmark), ser. LNCS, K. L. Ed Brinksma, Ed., vol. 2404. Springer-Verlag, July 2002, pp. 343-348.