Abstract
There are a very large number of systems that have been developed on embedded operating system (OS) kernels. Those kernels typically do not provide protection domains because of the limitations of their target platforms. The requirements for embedded OS kernels are, however, changing. The current and future embedded systems software is becoming larger and more complex. In order to accommodate such large and complex software systems, embedded OS kernels are required to provide protection domains. This paper presents an approach, in which a microkernel is employed to provide protected execution environments for the existing embedded kernels. In each protected execution environment, a kernel and its applications run just as they run directly on hardware since they share the same protection domain. Our approach can achieve the maximum reusability of the existing software resources including embedded OS kernels and their applications; thus, it protects the existing software resources. We have developed the system that consists of TL4 microkernel and a μITRON embedded kernel, and shows the feasibility of our approach through evaluations.
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
Baker, T.P., Shaw, A.: The Cyclic Executive Model and Ada. In: Proceedings of the 9th IEEE Real-Time Systems Symposium (December 1988)
Bollella, G., Jeffay, K.: Support for Real-Time Computing within General Purpose Operating Systems - Supporting Co-Resident Operating Systems. In: Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium (May 1995)
Deng, Z., Liu, J.W.-S.: Scheduling Real-Time Applications in an Open Environment. In: Proceedings of the 18th IEEE Real-Time Systems Symposium (December 1997)
Golub, D., Dean, R., Forin, A., Rashid, R.: Unix as an Application Program. In: Proceedings of USENIX Summer Conference (June 1990)
Härtig, H., Hohmuth, M., Liedtke, J., Schönberg, S., Wolter, J.: The Performance of fÊ-Kernel-Based Systems. In: Proceedings of the 16th ACM Symposium on Operating System Principles (October 1997)
Liedtke, J.: On μ-kernel construction. In: Proceedings of the 15th ACM Symposium on Operating System Principles (December 1995)
Lipari, G., Baruah, S.: Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems. In: Proceedings of the 6th IEEE Real Time Technology and Applications Symposium (June 2000)
Oikawa, S., Tokuda, H.: RTC-Threads: A User-Level Real-Time Threads Package for Multimedia Systems. IEICE Transactions on Information and Systems 79(10) (1996)
Strosnider, J., Lehoczky, J.P., Sha, L.: The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. IEEE Transactions on Computers 44(1) (1995)
Takada, H. (ed.): μITRON4.0 Specification. TRON Association (1999) (in Japanese)
Takada, H. (ed.): μITRON4.0/PX Specification: Protection Mechanism Extension to μITRON4.0 Specification. TRON Association Version Up WG (2002) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oikawa, S., Ishikawa, H., Iwasaki, M., Nakajima, T. (2004). Providing Protected Execution Environments for Embedded Operating Systems Using a μ-Kernel. In: Yang, L.T., Guo, M., Gao, G.R., Jha, N.K. (eds) Embedded and Ubiquitous Computing. EUC 2004. Lecture Notes in Computer Science, vol 3207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30121-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-30121-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22906-3
Online ISBN: 978-3-540-30121-9
eBook Packages: Springer Book Archive