E. Upton and G. Halfacree, Meet the Raspberry Pi, 2012.
DOI : 10.1002/9781119415572.ch1

R. Llc, Redwire Econotag II

. Iot-lab, Very large scale open wireless sensor network testbed Available: https://www.iot-lab

C. Bormann, M. Ersue, and A. Keranen, Terminology for constrained node networks, Internet Engineering Task Force, 2014.
DOI : 10.17487/rfc7228

M. Durvy, J. Abeillé, P. Wetterwald, C. O-'flynn, B. Leverett et al., Making sensor networks IPv6 ready, Proceedings of the 6th ACM conference on Embedded network sensor systems, SenSys '08, pp.421-422, 2008.
DOI : 10.1145/1460412.1460483

P. Smart and W. , Available: https://getpebble

A. Karwa, . Trak, and . In, Google Brillo ? An Internet Of Things OS That Runs on 32 MB RAM Available: http://trak, 2015.

L. Mirani, Chip-makers are Betting that Moore's Law Won't Matter in the Internet of Things, p.218514, 2014.

M. Dohler, T. Watteyne, T. Winter, and D. Barthel, Routing Requirements for Urban Low-Power and Lossy Networks, p.5548, 2009.
DOI : 10.17487/rfc5548

J. Martocci, P. D. Mil, N. Riou, and W. Vermeylen, Building Automation Routing Requirements in Low-Power and Lossy Networks, Internet Engineering Task Force, 2010.
DOI : 10.17487/rfc5867

K. Pister, P. Thubert, S. Dwars, T. Phinney, A. Brandt et al., Industrial Routing Requirements in Low-Power and Lossy Networks Internet Engineering Task Force Home Automation Routing Requirements in Low-Power and Lossy Networks, RFC 5673 (Informational) Internet Engineering Task Force, 2009.

K. Rose, E. , S. Chapin, and L. , The Internet of Things: An Overview, p.2015

. Freescale, M. The, and . Soc, Available: http://www. freescale.com/webapp/sps/site/prod summary

S. Microelectronics and . Microcontroller, Available: http://www.st.com

D. Dietrich, D. Bruckner, G. Zucker, and P. Palensky, Communication and Computation in Buildings: A Short Introduction and Overview, IEEE Transactions on Industrial Electronics, vol.57, issue.11, pp.3577-3584, 2010.
DOI : 10.1109/TIE.2010.2046570

R. Jedermann, T. Pötsch, and C. Lloyd, Communication techniques and challenges for wireless food quality monitoring, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.10, issue.3, 2014.
DOI : 10.2136/vzj2008.0138

W. Dong, C. Chen, X. Liu, and J. Bu, Providing OS Support for Wireless Sensor Networks: Challenges and Approaches, IEEE Communications Surveys & Tutorials, vol.12, issue.4, pp.519-530, 2010.
DOI : 10.1109/SURV.2010.032610.00045

L. Saraswat and P. S. Yadav, A comparative analysis of wireless sensor network operating systems, International Journal of Engineering and Technoscience, vol.1, issue.1, pp.41-47, 2010.

M. R. Palattella, N. Accettura, X. Vilajosana, T. Watteyne, L. A. Grieco et al., Standardized Protocol Stack for the Internet of (Important) Things, IEEE Communications Surveys & Tutorials, vol.15, issue.3, pp.1389-1406, 2013.
DOI : 10.1109/SURV.2012.111412.00158

R. Min, M. Bhardwaj, S. Cho, N. Ickes, E. Shih et al., Energy-centric enabling tecumologies for wireless sensor networks, IEEE Wireless Communications, vol.9, issue.4, pp.28-39, 2002.
DOI : 10.1109/MWC.2002.1028875

A. Milenkovi´cmilenkovi´c, C. Otto, and E. Jovanov, Wireless sensor networks for personal health monitoring: Issues and an implementation, Computer Communications, vol.29, issue.13-14, pp.2521-2533, 2006.
DOI : 10.1016/j.comcom.2006.02.011

B. Hughes, R. Meier, R. Cunningham, and V. Cahill, Towards realtime middleware for vehicular ad hoc networks, Proceedings of the 1st ACM International Workshop on Vehicular Ad Hoc Networks, ser. VANET '04, pp.95-96, 2004.

K. A. Itron, J. A. Stouffer, K. A. Falco, and . Scarfone, Sp 800-82. guide to industrial control systems (ics) security: Supervisory control and data acquisition (scada) systems, distributed control systems (dcs), and other control system configurations such as programmable logic controllers (plc), 2011.

J. Hoepman and B. Jacobs, Increased security through open source, Communications of the ACM, vol.50, issue.1, pp.79-83, 2007.
DOI : 10.1145/1188913.1188921

M. Masmano, I. Ripoll, A. Crespo, and J. , TLSF: a new dynamic memory allocator for real-time systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., 2004.
DOI : 10.1109/EMRTS.2004.1311009

A. Castellani, G. Ministeri, M. Rotoloni, L. Vangelista, and M. Zorzi, Interoperable and globally interconnected Smart Grid using IPv6 and 6LoWPAN, 2012 IEEE International Conference on Communications (ICC), pp.6473-6478, 2012.
DOI : 10.1109/ICC.2012.6364813

H. Petersen, M. Lenders, M. Wählisch, O. Hahm, and E. Baccelli, Old Wine in New Skins? Revisiting the Software Architecture for IP Network Stacks on Constrained IoT Devices, ACM MobiSys Workshop on IoT Challenges in Mobile and Industrial Systems (IoT- Sys), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01244749

P. Rosenkranz, M. Wählisch, E. Baccelli, and L. Ortmann, A Distributed Test System Architecture for Open-source IoT Software, Proceedings of the 2015 Workshop on IoT challenges in Mobile and Industrial Systems, IoT-Sys '15, 2015.
DOI : 10.1145/2753476.2753481

URL : https://hal.archives-ouvertes.fr/hal-01244763

J. Eriksson, A. Dunkels, N. Finne, F. Osterlind, and T. Voigt, Mspsim? an extensible simulator for msp430-equipped sensor boards, Proceedings of the European Conference on Wireless Sensor Networks (EWSN), Poster/Demo session, p.27, 2007.

T. R. Henderson, M. Lacage, G. F. Riley, C. Dowell, and J. Kopena, Network simulations with the ns-3 simulator, SIGCOMM demonstration, 2008.

A. Dunkels, B. Grönvall, and T. Voigt, 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

A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, 2006.
DOI : 10.1145/1182807.1182811

E. Baccelli, O. Hahm, M. Günes, M. Wählisch, and T. C. Schmidt, RIOT OS: Towards an OS for the Internet of Things, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2013.
DOI : 10.1109/INFCOMW.2013.6970748

URL : https://hal.archives-ouvertes.fr/hal-00945122

E. Baccelli, O. Hahm, H. Petersen, and K. Schleiser, RIOT and the Evolution of IoT Operating Systems and Applications Available: http://ercim-news.ercim.eu/en101/special/ riot-and-the-evolution-of-iot-operating-systems-and-applications [45] RIOT Operating System, ERCIM News, vol.2015, issue.101, 2015.

H. Will, K. Schleiser, and J. H. Schiller, A real-time kernel for wireless sensor networks employed in rescue scenarios, 2009 IEEE 34th Conference on Local Computer Networks, 2009.
DOI : 10.1109/LCN.2009.5355049

. Berkeley-'s-openwsn and . Project, CCN Lite: Lightweight implementation of the Content Centric Networking protocol Available: http://ccn-lite.net [49] R. Barry. FreeRTOS, a FREE open source RTOS for small embedded real time systems, 2014.

P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse et al., TinyOS: An Operating System for Sensor Networks, Ambient Intelligence, pp.115-148, 2005.
DOI : 10.1007/3-540-27139-2_7

P. Levis, Experiences from a Decade of TinyOS Development, Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, ser. OSDI'12: USENIX Association, pp.207-220, 2012.

. Contributors, NuttX Real-Time Operating System ? NuttX Real-Time Operating System 2015, [Online; accessed 10 Available: http://nuttx.org [53] eCos Embedded Operating System, 2015.

H. Härtig and M. Roitzsch, Ten years of research on L4-based realtime systems, Proceedings of the 8th Real-Time Linux Workshop, 2006.

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009.
DOI : 10.1145/1629575.1629596

O. Google and . Handset-alliance, Android Operating System Available: https

. P. Google and . Brillo, Available: https://developers.google. com

/. Chibios and . Rt, Available: http://www.chibios.org [61] CooCox CoOS

G. Strazdins, A. Elsts, and L. Selavo, MansOS, Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems, SenSys '10, pp.427-428, 2010.
DOI : 10.1145/1869983.1870057

S. C. Kim, H. Kim, J. Song, M. Yu, and P. Mah, NanoQplus: A Multi- Threaded Operating System with Memory Protection Mechanism for WSNs, Proceedings of the CKWSN, 2008.

. Nanork-operating and . System, Available: http://www.nanork.org [66] Nut/OS Available: http://www.ethernut.de/en/software/ [67] Liquorice OS for Embedded Systems

S. Bhatti, MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms, Mobile Networks and Applications, 2005.
DOI : 10.1007/s11036-005-1567-8

M. Os, Available: http://www.sourceforge

. Lorien, Available: http://lorienos.sourceforge.net/index.php/ Main Page [73] LiteOS Available: http://www.liteos.net/ [74] Express Logic, Inc. ThreadX

. Available, express logics threadx brings full rtos capabilities to arms mbedos ec/ [76] Blackberry Ltd

R. Wind-river, Available: http://www.windriver.com/ products/operating-systems/rocket

S. Pikeos, Available: http://www.sysgo.com/products/ pikeos-rtos-and-virtualization-concept

. Segger and . Embos, Available: https://www.segger.com/embos. html [81] Mentor Graphics Available: http://www. mentor.com/embedded-software/nucleus, Nucleus RTOS. [Online]

. Green-hills-software, Available: http://www. ghs.com/products/micro velosity

. Huawei and . Liteos, Available: https://github.com/OIOTC/Liteos [88] Arduino

T. Embedded and D. Platform, Available: https: //tessel.io/ [91] node OS

N. Brouwers, K. Langendoen, and P. Corke, Darjeeling, a featurerich vm for the resource poor, Proceedings of the International Conference on Embedded Networked Sensor Systems (ACM SenSys), 2009.

S. Bocchino, S. Fedor, and M. Petracca, PyFUNS: A Python Framework for Ubiquitous Networked Sensors, Proceedings of the European Conference on Wireless Sensor Networks (EWSN), 2015.
DOI : 10.1007/978-3-319-15582-1_1

M. Doddavenkatappa, M. C. Chan, and A. Ananda, Indriya: A Low-Cost, 3D Wireless Sensor Network Testbed, Proceedings of the Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities (TridentCom), 2011.
DOI : 10.1007/978-3-642-29273-6_23

C. Travis, E. Adjih, E. Baccelli, G. Fleury, N. Harter et al., Available: https://travis-ci.org [96] The DES Testbed virtualization framework Available: https://github.com/des-testbed/desvirt FIT IoT-LAB: A Large Scale Open Experimental IoT Testbed, Proceedings of the 2nd IEEE World Forum on Internet of Things (WF-IoT), 2015.

M. Günes, B. Blywis, M. Frey, O. Hahm, F. Juraschek et al., ) DES- Testbed, 2008.

S. Ldt, NanoStack Manual, 2007.

D. Déharbe, S. Galvão, and A. Moreira, Formalizing FreeRTOS: First Steps in Formal Methods: Foundations and Applications, ser. Lecture Notes in Computer Science, pp.101-117, 2009.

C. Pronk, Verifying FreeRTOS; a feasibility study, 2010.

P. Basiliere, J. Tully, and G. Study, Makers and Startups Are the Ones Shaping the Internet of Things, Maverick Research, 2014.