R. Lin, Z. Wang, and Y. Sun, Wireless sensor networks solutions for real time monitoring of nuclear power plant, World Congress on Intelligent Control and Automation, 2004.

I. F. Akyildiz and I. Kasimoglu, Wireless sensor and actor networks: research challenges, International Conference on Mobile Ad Hoc and Sensor Systems (MASS)

I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, Wireless sensor networks: a survey, Computer Networks, vol.38, issue.4, pp.393-422, 2002.
DOI : 10.1016/S1389-1286(01)00302-4

. Crossbow and . Berkeley-mote, Available: http://www.xbow.com/Products/Wireless_Sensor_Networks.htm [5] " Smart dust research project homepage, 2005.

V. Rajavavivarme, Y. Yang, and T. Yang, An overview of wireless sensor network and applications, Southeastern Symposium on System Theory, 2003.

J. A. Stankovic, Research challenges for wireless sensor networks, ACM SIGBED Review, vol.1, issue.2, pp.1-4, 2004.
DOI : 10.1145/1121776.1121780

T. Facchinetti and G. Buttazzo, Integrated wireless communication protocol for ad-hoc mobile networks, International Workshop on Real-Time Networks (RTN), pp.43-46, 2004.

P. Boone, Real-time communication and coordination in wireless embedded sensor networks, 2004.

T. F. Abdelzaher, S. Prabh, and R. Kiran, On real-time capacity limits of multi-hop wireless sensor networks, Real-Time Systems Symposium (RTSS), 2004.

J. A. Stankovic, T. F. Abdelzaher, C. Lu, L. Sha, and J. C. Hou, Real-time communication and coordination in embedded sensor networks, Proceedings of the IEEE, pp.1002-1022, 2003.
DOI : 10.1109/JPROC.2003.814620

K. Akkaya and M. Younis, Relocation of gateway for enhanced timeliness in wireless sensor networks, IEEE International Conference on Performance, Computing, and Communications, 2004, 2004.
DOI : 10.1109/PCCC.2004.1395064

A. S. Tanenbaum, Computer Networks, Fourth Edition, 2002.

J. Sheu, C. Liu, S. Wu, and Y. Tseng, A priority mac protocol to support realtime traffic in ad-hoc networks, ACM Wireless Networks, pp.61-69, 2004.

C. Lu, B. M. Blum, T. F. Abdelzaher, J. A. Stankovic, and T. He, Rap: A realtime communication architecture for large-scale wireless sensor networks, Real-Time Technology and Application Symposium (RTAS), 2002.

T. He, J. A. Stankovic, C. Lu, and T. F. Abdelzaher, Speed: a stateless protocol for real-time communication in sensor networks, International Conference on Distribued Computing Systems (ICDCS), 2003.

T. F. Abdelzaher, J. A. Stankovic, S. Son, B. Blum, T. He et al., A communication architecture and programming abstractions for real-time embedded sensor networks, International Conference on Distributed Computing Systems (ICDCS) Workshops, 2003.

T. Facchinetti, L. Almeida, G. Buttazzo, and C. Marchini, Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks, 25th IEEE International Real-Time Systems Symposium, pp.382-391, 2004.
DOI : 10.1109/REAL.2004.46

T. Facchinetti, G. Buttazo, M. Caccamo, and L. Almeida, Wireless real-time communication protocol for cooperating mobile units, Euromicro Conference on Real-Time Systems, 2003.

H. Li, P. Shenoy, and K. Ramamritham, Scheduling communication in real-time sensor application, Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.10-18, 2004.

A. Chandra, V. Gummalla, and J. Limb, Wireless medium access control protocols, IEEE Communications Surveys and Tutorials, vol.3, issue.2, pp.2-15, 2000.

H. Li, P. Shenoy, and K. Ramamritham, Scheduling messages with deadlines in multihop real-time sensor networks, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2005.

M. Caccamo, L. Y. Zhang, L. Sha, and G. Buttazzo, An implicit prioritized access protocol for wireless sensor networks, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., 2002.
DOI : 10.1109/REAL.2002.1181560

M. Caccamo and L. Y. Zhang, The capacity of implicit EDF in wireless sensor networks, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 2003.
DOI : 10.1109/EMRTS.2003.1212752

T. Watteyne and I. Augé-blum, Proposition of a hard real-time mac protocol for wireless sensor networks Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), International Symposium on Modeling, pp.532-535, 2005.

G. Orfanos, J. Habetha, and L. Liu, Mc-cdma based ieee 802.11 wireless lan Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), International Symposium on Modeling, pp.400-405, 2004.

S. Saunders, Antennas and propagation for wireless communication systems, 1999.

R. Alur, C. Courcoubetis, and D. D. , Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024

K. Godary, Validation temporelle de réseaux embarqués critiques et fiables pour l'automobile, 2004.

K. Godary, I. Augé-blum, and A. Mignotte, Sdl and timed petri nets versus uppaal for the validation of embedded architecture in automotive, Forum on Specification and Design Languages (FDL), 2004.

G. Larsen, P. Petterson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

J. Bergson and W. Yi, Timed automata: Semantics, algorithms and tools, Lectures on Concurrency and Petri Nets, pp.87-124, 2004.

R. Alur and D. Dill, Automata for modeling real-time systems, International Colloquium on Automata, Languages and Programming, pp.321-335, 1990.
DOI : 10.1007/BFb0032042

I. Unité-de-recherche and . Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399