Abstract
Real-time operating systems are an integral part of complex real-time systems. Three general categories of real-time operating systems exist: small, proprietary kernels, real-time extensions to commercial timesharing operating systems, and research kernels. This paper discusses each of these areas focusing on how each of these classes deal with predictability. It is argued that the small, proprietary kernels are predictable, but offer little help to the real-time systems designer and implementor in producing predictable applications. Real-time versions of commercial operating systems like UNIX and Mach offer greater implementation support, but are, in general, NOT predictable themselves nor offer enough support to applications which require predictability. This, of course, does not mean that there is no way to achieve predictability with these operating systems. It is possible to achieve predictability by very careful design, by using a very limited subset of the overall features provided, and by proving that the features being used for predictability cannot in any way be impacted by any other part of the system. Finally, research kernels are attempting to provide greater design, implementation and evaluation support together with predictability for both the operating system and the application.
This work was funded in part by the Office of Naval Research under contracts N00014-85-IK-0389 and N00014-92-J-1048, and NSF under DCR-8.500332 and CDA8922572.
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
L. Alger and J. Lala, Real-Time Operating System For A Nuclear Power Plant Computer, Proc. 1986 Real-Time Systems Symposium, December 1986.
K. Arvind, K. Ramamritham and J. Stankovic, A Local Area Network Architecture for Communication in Distributed Real-Time Systems, Real-Time Systems, Vol. 3, No. 2, May 1991.
S. Biyabani, J. Stankovic and K. Ramamritham, The Integration of Criticalness and Deadline In Scheduling Hard Real-Time Tasks,Real-Time Systems Symposium, December 1988.
A. Damm, J. Reisinger, W. Schnakel and H. Kopetz, The Real-Time Operating System of Mars, Operating Systems Review, July 1989, 141–157.
B. Furht, D. Grostick, D. Gluch, G: Rabbat, J. Parker and M. Roberts, Real-Time Unix Systems, Kluwer Academic Publishers, Norwell, Massachusetts, 1991.
V. P. Holmes, D. Harris, K. Piorkowski and G. Davidson, Hawk: An Operating System Kernel for a Real-Time Embedded Multiprocessor, Sandia National Labs Report, 1987.
D. Jensen, The Kernel Computational Model of the Alpha Real-Time Distributed Operating System, in Mission Critical Operating Systems, edited by A. Agrawala, K. Gordon and P. Hwang, cos Press, 1992.
H. Kopetz, A. Demm, C. Koza and M. Mulozzani, Distributed Fault Tolerant Real-Time Systems, IEEE Micro, February 1989, 25–40.
L. Molesky, C. Shen and G. Zlokapa, Predictable Synchronization Mechanisms for Real-Time Systems, Real-Time Systems, Vol. 2, No. 3, September 1990, 163–180.
D. Niehaus, Program Representation and Translation for Predictable Real-Time Systems, Proc. Real-Time Systems Symposium, Dec. 1991.
K. Ramamritham, J. Stankovic and W. Zhao, Distributed Scheduling of Tasks With Deadlines and Resource Requirements, IEEE Transactions on Computers, Vol. 38, No. 8, August 1989, 1110–1123.
Ramamritham, K., J. Stankovic, and P. Shiah, Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems, IEEE. Transactions on Parallel and Distributed Systems, Vol. 1, No. 2, April 1990, 184–194.
Ramamritham, K. and J. Stankovic, Scheduling Results in the Spring Project, Chapter in Foundations in Real-Time Computing: Scheduling and Resource Management, editor Andre van Tilborg, Kluwer Academic Publishers, 1991.
J. Ready, VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, August 1986, 8–17.
K. Schwan, A. Geith and H. Zhou, From Chaos’s’ to Chaos’: A Family of Real-Time Kernels, Proc. 1990 Real-Time Systems Symposium, December 1990, 82–91.
C. Shen, K. Ramamritham and J. Stankovic, Resource Reclaiming in Real-Time, Proc. Real-Time System Symposium, December 1990, 41–50.
J. Stankovic and K. Ramamritham, The Spring Kernel: A New Paradigm for Real-Time Operating Systems, ACM Operating Systems Review, Vol. 23, No. 3, July 1989, 54–71.
J. Stankovic and K. Ramamritham, The Spring Kernel: A New Paradigm for Hard Real-Time Operating Systems, IEEE Software, May 1991, 62–72.
J. Stankovic, Misconceptions About Real—Time Computing, IEEE Computer, Vol. 21, No. 10, October 1988.
J. Stankovic, SpringNet: A Scalable Architecture For High Performance, Predictable, Distributed, Real-Time Computing, Univ. of Massachusetts, Technical Report, 91–74, October 1991.
SYSTRAN Corporation, Scramnet Network Reference Manual, Dayton, Ohio, 45432.
H. Tokuda and C. Mercer, ARTS: A Distributed Real-Time Kernel, ACM Operating Systems Review, Vol. 23, No. 3, July, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stankovic, J.A. (1994). Real-Time Operating Systems. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive