Real-Time Operating Systems

  • John A. Stankovic
Part of the NATO ASI Series book series (NATO ASI F, volume 127)

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.

Keywords

PCBs Guaran 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    L. Alger and J. Lala, Real-Time Operating System For A Nuclear Power Plant Computer, Proc. 1986 Real-Time Systems Symposium, December 1986.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    A. Damm, J. Reisinger, W. Schnakel and H. Kopetz, The Real-Time Operating System of Mars, Operating Systems Review, July 1989, 141–157.Google Scholar
  5. 5.
    B. Furht, D. Grostick, D. Gluch, G: Rabbat, J. Parker and M. Roberts, Real-Time Unix Systems, Kluwer Academic Publishers, Norwell, Massachusetts, 1991.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    H. Kopetz, A. Demm, C. Koza and M. Mulozzani, Distributed Fault Tolerant Real-Time Systems, IEEE Micro, February 1989, 25–40.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    D. Niehaus, Program Representation and Translation for Predictable Real-Time Systems, Proc. Real-Time Systems Symposium, Dec. 1991.Google Scholar
  11. 11.
    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.CrossRefGoogle Scholar
  12. 12.
    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.CrossRefGoogle Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    J. Ready, VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, August 1986, 8–17.Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    C. Shen, K. Ramamritham and J. Stankovic, Resource Reclaiming in Real-Time, Proc. Real-Time System Symposium, December 1990, 41–50.Google Scholar
  17. 17.
    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.CrossRefGoogle Scholar
  18. 18.
    J. Stankovic and K. Ramamritham, The Spring Kernel: A New Paradigm for Hard Real-Time Operating Systems, IEEE Software, May 1991, 62–72.Google Scholar
  19. 19.
    J. Stankovic, Misconceptions About Real—Time Computing, IEEE Computer, Vol. 21, No. 10, October 1988.Google Scholar
  20. 20.
    J. Stankovic, SpringNet: A Scalable Architecture For High Performance, Predictable, Distributed, Real-Time Computing, Univ. of Massachusetts, Technical Report, 91–74, October 1991.Google Scholar
  21. 21.
    SYSTRAN Corporation, Scramnet Network Reference Manual, Dayton, Ohio, 45432.Google Scholar
  22. 22.
    H. Tokuda and C. Mercer, ARTS: A Distributed Real-Time Kernel, ACM Operating Systems Review, Vol. 23, No. 3, July, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • John A. Stankovic
    • 1
  1. 1.University of MassachusettsAmherstUSA

Personalised recommendations