Timing Predictability in Real-Time Systems

A real-time system must be not only functionally correct, but also temporally correct. With the trend of real-time applications being used in safety critical situations, the ability to predict the timing properties of such systems is becoming more important than ever. This paper examines some of the general issues involved in making timing predictions with the focus on shared resources and interprocessor communication. Four systems used to implement real-time applications are analyzed for predictability: a real-time kernel from UBC, YARTOS, Chimera II, and MARS. The UBC real-time kernel and YARTOS are intended for uniprocessor systems and have been used in multimedia applications. Chimera II, a robotics environment, and MARS, a fault-tolerant architecture, are both multiple processor environments. Timing Predictability in Real-Time Systems 1

[1]  Paulo Veríssimo,et al.  Real time and dependability concepts , 1993 .

[2]  Kevin Jeffay,et al.  The real-time producer/consumer paradigm: towards verifiable real time computations , 1989 .

[3]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[4]  Krithi Ramamritham,et al.  The Design of the Spring Kernel , 1987, RTSS.

[5]  Samuel T. Chanson,et al.  Architectural considerations in the design of real-time kernels , 1993, 1993 Proceedings Real-Time Systems Symposium.

[6]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[7]  Travis S. Craig.  Queuing spin lock algorithms to support timing predictability , 1993, 1993 Proceedings Real-Time Systems Symposium.

[8]  Hermann Kopetz,et al.  The real-time operating system of MARS , 1989, OPSR.

[9]  Takeo Kanade,et al.  CHIMERA: a real-time programming environment for manipulator control , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[10]  Gerhard Fohler,et al.  The programmer's view of MARS , 1992, [1992] Proceedings Real-Time Systems Symposium.

[11]  Joseph Di Giacomo.  Digital bus handbook , 1990 .

[12]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[13]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[14]  John A. Stankovic,et al.  Misconceptions About Real-Time Computing , 1988, Computer.

[15]  Gerhard Fohler,et al.  An Engineering Approach to Hard Real-Time System Design , 1991, ESEC.

[16]  Gene D. Carlow.  Architecture of the space shuttle primary avionics software system , 1984, CACM.

[17]  Kevin Jeffay,et al.  Yartos: Kernel Support for Efficient, Predictable Real-Time Systems , 1991 .

[18]  Niklaus Wirth,et al.  Toward a discipline of real-time programming , 1977, CACM.

[19]  Kevin Jeffay,et al.  Scheduling sporadic tasks with shared resources in hard-real-time systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[20]  Kevin Jeffay,et al.  Kernel Support for Live Digital Audio and Video , 1991, NOSSDAV.

[21]  D. Parnas,et al.  On satisfying timing constraints in hard-real-time systems , 1991, SIGSOFT '91.

[22]  Pradeep K. Khosla,et al.  The Chimera II real-time operating system for advanced sensor-based control applications , 1992, IEEE Trans. Syst. Man Cybern..

[23]  Gérard Le Lann.  Designing real-time dependable distributed systems , 1992, Comput. Commun..

[24]  Ragunathan Rajkumar,et al.  Synchronization in Real-Time Systems , 1991 .

[25]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .

[26]  Franklin Reynolds,et al.  An Architectural Overview of Alpha: A Real-Time, Distributed Kernel , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.