Real-time and Security Requirements for Internet-of-Things Operating Systems
The Internet of Things (IoT) is a new emerging technology connecting an enormous number of networked computing devices embedded into arbitrary “things” of our daily life. IoT’s presence spans from convenience applications to the most life-critical areas, and thus sets security and real-time execution as its most crucial requirements, relevant for both hardware and software. Traditional operating systems (OS) running on today’s embedded systems are commonly unable to cover both requirements. In this paper we revisit existing concepts and present specific requirements for designing a novel OS kernel for the IoT. The dependable kernel will have to provide real-time execution and also offer guarantees on security at the same time.
Unable to display preview. Download preview PDF.
- 1. JSundmaeker, H., et al (eds). Vision and Challenges for Realising the Internet of Things. CERP-IoT. European Commission – Information Society and Media, Luxembourg, 2010.Google Scholar
- 2. Gartner. Top 10 strategic technology trends for 2014. http://www.gartner.com/technology/research/top-10-technology-trends/, 2014.
- 3. Vermesan, O., and Friess, P. Internet of Things: Converging Technologies for Smart Environment and Inegrated Ecosystems. River Publishers, Denmark, 2013.Google Scholar
- 4. Tavares, A., Didimo, A., Montenegro, S., Gomes, T., Cabral, J., Cardoso, P., and Ekpanyapong, E. RodosVisor – an object-oriented and customizable hypervisor: The CPU virtualization. 1st IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT 2012), pages 200-205, Apr. 2012.Google Scholar
- 5. Farooq, M.O., and Kunz, T. Operating Systems for Wireless Sensor Networks: A Survey. Sensor, 2011.Google Scholar
- 6. Meyer, B. Dependable Software. Dependable Systems: Software, Computing, Networks. Lecture Notes in Computer Science. Springer-Verlag, 2006.Google Scholar
- 7. Baunach, M. Dynamic hinting: Collaborative real-time resource management for reactive embedded systems. Journal of Systems Architecture-Embedded System Design, 57(9):799-814, 2011.Google Scholar
- 8. Iyer, V., and Tunsrall, M. Fault Analysis in Cryptography. Information Security and Cryptography. Springer, 2012.Google Scholar
- 9. Ramming, F., et al. Basic Concepts of Real Time Operating Systems. Springer Science + Business Media, 2009.Google Scholar
- 10. Gay, D., et al. The nesC language: A holistic approach to networked embedded systems. PLDI ’03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, 2003.Google Scholar
- 11. Levis, P., et al. TinyOS: An Operating System for Sensor Networks. Springer Berlin Heidelberg, 2005.Google Scholar
- 12. Dunkels, A., Grönvall, B, and Voigt T. Contiki - a Lightweight and Flexible Operating System for Tiny Networked Sensors. 29th Annual IEEE International Conference on Local Computer Networks, LCN 2004.Google Scholar
- 13. The FreeRTOS Reference Manual. Real Time Engineers Ltd., 2014.Google Scholar
- 14. SAFERTOS Features and Licensing. HighIntegrity System, 2011.Google Scholar
- 15. Bacceli, E., et al. RIOT OS: Towards an OS for the Internet of Things. IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2013.Google Scholar
- 16. seL4 Reference Manual Version 3.0.1. Trustworthy Systems Team, NICTA, 2016.Google Scholar
- 17. Klein, G., et al. seL4: Formal Verification of an OS Kernel. 22nd ACM Symposium on Operating Systems Principles, New York, 2009.Google Scholar
- 18. Zephyr Project Documentation. https://www.zephyrproject.org/doc/
- 19. QNX Neutrino RTOS System Architecture. QNX Software Systems Limited, 2014.Google Scholar
- 20. VXWORKS 7 The Safe and Secure RTOS for the Internet of Things. Wind River Systems, 2015.Google Scholar
- 21. Franz, S., LynxOS RTOS (Real-Time Operating System). 2005.Google Scholar