Meet the Raspberry Pi, 2012. ,
DOI : 10.1002/9781119415572.ch1
Redwire Econotag II ,
Very large scale open wireless sensor network testbed Available: https://www.iot-lab ,
Terminology for constrained node networks, Internet Engineering Task Force, 2014. ,
DOI : 10.17487/rfc7228
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
Available: https://getpebble ,
Google Brillo ? An Internet Of Things OS That Runs on 32 MB RAM Available: http://trak, 2015. ,
Chip-makers are Betting that Moore's Law Won't Matter in the Internet of Things, p.218514, 2014. ,
Routing Requirements for Urban Low-Power and Lossy Networks, p.5548, 2009. ,
DOI : 10.17487/rfc5548
Building Automation Routing Requirements in Low-Power and Lossy Networks, Internet Engineering Task Force, 2010. ,
DOI : 10.17487/rfc5867
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. ,
The Internet of Things: An Overview, p.2015 ,
Available: http://www. freescale.com/webapp/sps/site/prod summary ,
Available: http://www.st.com ,
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
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
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
A comparative analysis of wireless sensor network operating systems, International Journal of Engineering and Technoscience, vol.1, issue.1, pp.41-47, 2010. ,
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
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
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
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. ,
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. ,
Increased security through open source, Communications of the ACM, vol.50, issue.1, pp.79-83, 2007. ,
DOI : 10.1145/1188913.1188921
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
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
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
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
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. ,
Network simulations with the ns-3 simulator, SIGCOMM demonstration, 2008. ,
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, 2006. ,
DOI : 10.1145/1182807.1182811
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
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. ,
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
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. ,
TinyOS: An Operating System for Sensor Networks, Ambient Intelligence, pp.115-148, 2005. ,
DOI : 10.1007/3-540-27139-2_7
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. ,
NuttX Real-Time Operating System ? NuttX Real-Time Operating System 2015, [Online; accessed 10 Available: http://nuttx.org [53] eCos Embedded Operating System, 2015. ,
Ten years of research on L4-based realtime systems, Proceedings of the 8th Real-Time Linux Workshop, 2006. ,
seL4, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.207-220, 2009. ,
DOI : 10.1145/1629575.1629596
Android Operating System Available: https ,
Available: https://developers.google. com ,
Available: http://www.chibios.org [61] CooCox CoOS ,
MansOS, Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems, SenSys '10, pp.427-428, 2010. ,
DOI : 10.1145/1869983.1870057
NanoQplus: A Multi- Threaded Operating System with Memory Protection Mechanism for WSNs, Proceedings of the CKWSN, 2008. ,
Available: http://www.nanork.org [66] Nut/OS Available: http://www.ethernut.de/en/software/ [67] Liquorice OS for Embedded Systems ,
MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms, Mobile Networks and Applications, 2005. ,
DOI : 10.1007/s11036-005-1567-8
Available: http://www.sourceforge ,
Available: http://lorienos.sourceforge.net/index.php/ Main Page [73] LiteOS Available: http://www.liteos.net/ [74] Express Logic, Inc. ThreadX ,
express logics threadx brings full rtos capabilities to arms mbedos ec/ [76] Blackberry Ltd ,
Available: http://www.windriver.com/ products/operating-systems/rocket ,
Available: http://www.sysgo.com/products/ pikeos-rtos-and-virtualization-concept ,
Available: https://www.segger.com/embos. html [81] Mentor Graphics Available: http://www. mentor.com/embedded-software/nucleus, Nucleus RTOS. [Online] ,
Available: http://www. ghs.com/products/micro velosity ,
Available: https://github.com/OIOTC/Liteos [88] Arduino ,
Available: https: //tessel.io/ [91] node OS ,
Darjeeling, a featurerich vm for the resource poor, Proceedings of the International Conference on Embedded Networked Sensor Systems (ACM SenSys), 2009. ,
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
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
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. ,
) DES- Testbed, 2008. ,
NanoStack Manual, 2007. ,
Formalizing FreeRTOS: First Steps in Formal Methods: Foundations and Applications, ser. Lecture Notes in Computer Science, pp.101-117, 2009. ,
Verifying FreeRTOS; a feasibility study, 2010. ,
Makers and Startups Are the Ones Shaping the Internet of Things, Maverick Research, 2014. ,