Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
5. Farooq, M.O., and Kunz, T. Operating Systems for Wireless Sensor Networks: A Survey. Sensor, 2011.
6. Meyer, B. Dependable Software. Dependable Systems: Software, Computing, Networks. Lecture Notes in Computer Science. Springer-Verlag, 2006.
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.
8. Iyer, V., and Tunsrall, M. Fault Analysis in Cryptography. Information Security and Cryptography. Springer, 2012.
9. Ramming, F., et al. Basic Concepts of Real Time Operating Systems. Springer Science + Business Media, 2009.
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.
11. Levis, P., et al. TinyOS: An Operating System for Sensor Networks. Springer Berlin Heidelberg, 2005.
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.
13. The FreeRTOS Reference Manual. Real Time Engineers Ltd., 2014.
14. SAFERTOS Features and Licensing. HighIntegrity System, 2011.
15. Bacceli, E., et al. RIOT OS: Towards an OS for the Internet of Things. IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2013.
16. seL4 Reference Manual Version 3.0.1. Trustworthy Systems Team, NICTA, 2016.
17. Klein, G., et al. seL4: Formal Verification of an OS Kernel. 22nd ACM Symposium on Operating Systems Principles, New York, 2009.
18. Zephyr Project Documentation. https://www.zephyrproject.org/doc/
19. QNX Neutrino RTOS System Architecture. QNX Software Systems Limited, 2014.
20. VXWORKS 7 The Safe and Secure RTOS for the Internet of Things. Wind River Systems, 2015.
21. Franz, S., LynxOS RTOS (Real-Time Operating System). 2005.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Malenko, M., Baunach, M. (2016). Real-time and Security Requirements for Internet-of-Things Operating Systems. In: Halang, W., Unger, H. (eds) Internet der Dinge. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53443-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-53443-4_4
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-53442-7
Online ISBN: 978-3-662-53443-4
eBook Packages: Computer Science and Engineering (German Language)