Real-time and Security Requirements for Internet-of-Things Operating Systems

  • Maja MalenkoEmail author
  • Marcel Baunach
Conference paper
Part of the Informatik aktuell book series (INFORMAT)


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.

Unable to display preview. Download preview PDF.


  1. 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. 2. Gartner. Top 10 strategic technology trends for 2014., 2014.
  3. 3. Vermesan, O., and Friess, P. Internet of Things: Converging Technologies for Smart Environment and Inegrated Ecosystems. River Publishers, Denmark, 2013.Google Scholar
  4. 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. 5. Farooq, M.O., and Kunz, T. Operating Systems for Wireless Sensor Networks: A Survey. Sensor, 2011.Google Scholar
  6. 6. Meyer, B. Dependable Software. Dependable Systems: Software, Computing, Networks. Lecture Notes in Computer Science. Springer-Verlag, 2006.Google Scholar
  7. 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. 8. Iyer, V., and Tunsrall, M. Fault Analysis in Cryptography. Information Security and Cryptography. Springer, 2012.Google Scholar
  9. 9. Ramming, F., et al. Basic Concepts of Real Time Operating Systems. Springer Science + Business Media, 2009.Google Scholar
  10. 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. 11. Levis, P., et al. TinyOS: An Operating System for Sensor Networks. Springer Berlin Heidelberg, 2005.Google Scholar
  12. 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. 13. The FreeRTOS Reference Manual. Real Time Engineers Ltd., 2014.Google Scholar
  14. 14. SAFERTOS Features and Licensing. HighIntegrity System, 2011.Google Scholar
  15. 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. 16. seL4 Reference Manual Version 3.0.1. Trustworthy Systems Team, NICTA, 2016.Google Scholar
  17. 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. 18. Zephyr Project Documentation.
  19. 19. QNX Neutrino RTOS System Architecture. QNX Software Systems Limited, 2014.Google Scholar
  20. 20. VXWORKS 7 The Safe and Secure RTOS for the Internet of Things. Wind River Systems, 2015.Google Scholar
  21. 21. Franz, S., LynxOS RTOS (Real-Time Operating System). 2005.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Institute of Technical Informatics - ITIGraz University of TechnologyGrazÖsterreich

Personalised recommendations