Abstract
Strongly partitioned real-time systems have been adopted to provide an integrated run time environment for applications with varied criticalities. This is achieved by guaranteeing spatial as well as temporal partitioning for the applications. To enable accesses to shared I/O devices in such an environment, this paper provides an effective model that the co-existence of any application does not hinder the execution of IO operations or spatial and temporal requirements of other applications. The model utilizes a microkernel-based approach to regulate the work of drive drivers and thus integrate the device-sharing model with the microkernel.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lee, Y.H., Kim, D., Younis, M., Zhou, J., McElroy, J.: Resource scheduling in dependable integrated modular avionics. In: Proceedings of IEEE International Conference on Dependable Systems and Networks (June 2000)
Lee, Y.H., Kim, D., Younis, M., Zhou, J.: Scheduling tool and algorithms for integrated modular avionics systems. In: Proceedings of IEEE/AIAA Digital Avionics Systems Conference (October 2000)
Rushby, J.: Partitioning in avionics architectures: requirements, mechanisms, and assurance, NASA Contractor Report CR-1999-209347 (June 1999)
Lee, Y.H., Kim, D., Younis, M.: SPIRIT-microkernel for strongly partitioned real-time systems. In: Proceedings of the 7th IEEE Conference on Real-Time Computing Systems and Applications, November 2000, pp. 73–80 (2000)
Parkinson, P.: Safety-critical software development for integrated modular avionics, WindRiver White Paper (2003)
Klein, M.H., Ralya, T.: An analysis of input/output paradigms for real-time systems, Technical Report, CMU/SEI-90-TR-19 (July 1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shah, R., Lee, YH., Kim, D. (2005). Sharing I/O in Strongly Partitioned Real-Time Systems. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_73
Download citation
DOI: https://doi.org/10.1007/11535409_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28128-3
Online ISBN: 978-3-540-31823-1
eBook Packages: Computer ScienceComputer Science (R0)