Algorithm 1: Software Automaton to Physical Device Mapping Algorithm input, Mapping Set M, vol.126, issue.22, pp.183-235, 1994. ,
Microframe preamble mac for multihop wireless sensor networks, Communications, 2006. ICC '06. IEEE International Conference on, pp.3365-3370, 2006. ,
Link Cost and Reliability of Frame Preamble MAC Protocols, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, pp.632-638, 2006. ,
DOI : 10.1109/SAHCN.2006.288523
mu;-mac: an energy-efficient medium access control for wireless sensor networks, Wireless Sensor Networks, 2005. Proceeedings of the Second European Workshop on, pp.70-80, 2005. ,
Timed Automata: Semantics, Algorithms and Tools, Lectures on Concurrency and Petri Nets, p.38, 2004. ,
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701
Synchronous programming of device drivers for global resource control in embedded operating systems, ACM SIGPLAN Notices, vol.46, issue.5, pp.81-90 ,
DOI : 10.1145/2016603.1967689
URL : https://hal.archives-ouvertes.fr/tel-00727281
MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms, ACM/Kluwer Mobile Networks and Applications (MONET), Special Issue on Wireless Sensor Networks, pp.2005-80, 2005. ,
DOI : 10.1007/s11036-005-1567-8
Performance analysis of the IEEE 802.11 distributed coordination function, IEEE Journal on Selected Areas in Communications, vol.18, issue.3, pp.535-547, 2000. ,
DOI : 10.1109/49.840210
Optimal infinite scheduling for multi-priced timed automata, Formal Methods in System Design, vol.158, issue.1???2, pp.3-23, 2008. ,
DOI : 10.1007/s10703-007-0043-4
SensLAB Very Large Scale Open Wireless Sensor Network Testbed, Proc. 7th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCOM), 1984. ,
URL : https://hal.archives-ouvertes.fr/inria-00587862
Programming with POSIX threads ,
An optimized mac layer to physical device mapping methodology Cross-layer optimization for mac layer to physical device communication protocol mapping, Mobility '09: Proceedings of the 6th International Conference on Mobile Technology, Application and Systems Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS'11 Proceedings of 19th International Conference on Real-Time and Network Systems (RTNS11), pp.1-8, 2009. ,
Ndl: a domain-specific language for device drivers, Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES, pp.30-36, 2004. ,
Application-Driven Customization of an Embedded Java Virtual Machine, EUC Workshops, pp.81-90, 2005. ,
DOI : 10.1007/11596042_9
URL : https://hal.archives-ouvertes.fr/inria-00113691
Contiki - a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks, pp.455-462, 2004. ,
DOI : 10.1109/LCN.2004.38
Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.29-42, 2006. ,
DOI : 10.1145/1182807.1182811
WiseNET: an ultralow-power wireless sensor network solution, Computer, vol.37, issue.8, pp.62-70, 2004. ,
DOI : 10.1109/MC.2004.109
Structural monitoring with wireless sensor networks, Proceedings of First Middle East Conference on Smart Monitoring , Assessment and Rehabilitation of Civil Structures SMAR, 2011. ,
DOI : 10.1201/b10430-147
Réseaux de capteurs : théorie et modélisation, Architecture, Applications, Service . Hermes, issue.7, 2009. ,
Worldsens, Proceedings of the 6th international conference on Information processing in sensor networks , IPSN '07, p.79, 2007. ,
DOI : 10.1145/1236360.1236385
URL : https://hal.archives-ouvertes.fr/hal-00399617
Reconstructing social interactions using an unreliable wireless sensor network, Computer Communications, vol.34, issue.5, pp.609-618, 2009. ,
DOI : 10.1016/j.comcom.2010.06.005
URL : https://hal.archives-ouvertes.fr/inria-00490195
The nesc language: A holistic approach to networked embedded systems, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, PLDI '03, pp.1-11, 2003. ,
Mica: a wireless platform for deeply embedded networks, IEEE Micro, vol.22, issue.6, pp.12-24, 2002. ,
DOI : 10.1109/MM.2002.1134340
System architecture directions for networked sensors, ACM SIGPLAN Notices, vol.35, issue.11, pp.93-104, 2000. ,
DOI : 10.1145/356989.356998
Versatile low power media access for wireless sensor networks, SenSys, p.27, 2004. ,
Protocols and Architectures for Wireless Sensor Networks, 2005. ,
DOI : 10.1002/0470095121
As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata, CAV, p.22, 2001. ,
DOI : 10.1007/3-540-44585-4_47
Deploying a wireless sensor network on an active volcano, IEEE Internet Computing, pp.18-25, 2006. ,
Two NP-complete problems in nonnegative integer programming, p.45, 1975. ,
Devil: an IDL for hardware programming, OSDI. USENIX, p.20, 2000. ,
An operating system abstraction layer for portable applications in wireless sensor networks, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.742-748, 2010. ,
DOI : 10.1145/1774088.1774243
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.1988
Operating system sensitive device driver synthesis from implementation independent protocol specification, DATE. ACM, 1920. ,
Telos: enabling ultra-low power wireless research, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005., pp.364-369, 2005. ,
DOI : 10.1109/IPSN.2005.1440950
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.9568
Z-MAC, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, pp.511-524, 2008. ,
DOI : 10.1145/1098918.1098929
The FreeRTOS Project. online http://www.freertos.org, p.58, 2011. ,
Timeliness in wireless sensor networks: Common misconceptions, Proceedings of the 9th International Workshop on Real-Time Networks RTN'2010, 2002. ,
Sensor network-based countersniper system, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, pp.1-12, 2004. ,
DOI : 10.1145/1031495.1031497
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.324.683
An analysis of a large scale habitat monitoring application, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, pp.214-226, 2004. ,
DOI : 10.1145/1031495.1031521
PermaSense, Proceedings of the 4th workshop on Embedded networked sensors, EmNets '07, pp.8-12, 2007. ,
DOI : 10.1145/1278972.1278974
A macroscope in the redwoods, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, pp.51-63, 2005. ,
DOI : 10.1145/1098918.1098925
Optimalreachability and control for acyclic weighted timed automata, TCS. IFIP, p.22, 2002. ,
DOI : 10.1007/978-0-387-35608-2_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.4933
An adaptive energyefficient mac protocol for wireless sensor networks, Proceedings of the 1st international conference on Embedded networked sensor systems, SenSys '03, pp.171-180, 2003. ,
Algorithms for Sensor and Ad Hoc Networks: Advanced Lectures (Lecture Notes in Computer Science), 2007. ,
DOI : 10.1007/978-3-540-74991-2
An energy-efficient mac protocol for wireless sensor networks, INFO- COM 2002. Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies, pp.1567-1576, 2002. ,
Wireless sensor network survey, Computer Networks, vol.52, issue.12, pp.2292-2330, 2007. ,
DOI : 10.1016/j.comnet.2008.04.002