Fault-tolerant RT-Mach (FT-RT-Mach) and an application to real-time train control

[1]  Stefan Savage,et al.  Processor Capacity Reserves for Multimedia Operating Systems , 1993 .

[2]  J. Duane Northcutt.  Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel , 1987 .

[3]  Rami G. Melhem,et al.  Enhancing real-time schedules to tolerate transient faults , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[4]  D.C. Verma,et al.  Delay jitter control for real-time communication in a packet switching network , 1991, Proceedings of TRICOMM `91: IEEE Conference on Communications Software: Communications for Distributed Applications and Systems.

[5]  Kang G. Shin,et al.  Reliable broadcast algorithms for HARTS , 1991, TOCS.

[6]  Jay K. Strosnider,et al.  The transient server approach to scheduling time-critical recovery operations , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[7]  RamamrithamKrithi,et al.  The Spring Kernel , 1991 .

[8]  Daniel P. Siewiorek,et al.  Derivation and Calibration of a Transient Error Reliability Model , 1982, IEEE Transactions on Computers.

[9]  Hideyuki Tokuda,et al.  ARTS: a distributed real-time kernel , 1989, OPSR.

[10]  Ravishankar K. Iyer,et al.  Measurement and modeling of computer reliability as affected by system activity , 1986, TOCS.

[11]  John A. Stankovic,et al.  Dynamic end-to-end guarantees in distributed real time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[12]  Ravishankar K. Iyer,et al.  A Measurement-Based Model for Workload Dependence of CPU Errors , 1986, IEEE Transactions on Computers.

[13]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[14]  Jane W.-S. Liu,et al.  Imprecise Results: Utilizing Partial Comptuations in Real-Time Systems , 1987, RTSS.

[15]  Krithi Ramamritham,et al.  Distributed Scheduling Using Bidding and Focused Addressing , 1985, RTSS.

[16]  Ashok K. Agrawala,et al.  Real-time system design , 1990, McGraw-Hill Computer Science series.

[17]  Ragunathan Rajkumar,et al.  Synchronization in Real-Time Systems: A Priority Inheritance Approach , 1991 .

[18]  Mark Russinovich,et al.  Application-transparent fault management , 1994 .

[19]  Krithi Ramamritham,et al.  Scheduling Strategies Adopted in Spring: An Overview , 1991 .

[20]  Ashok K. Agrawala,et al.  Design and implementation of Maruti-II , 1993 .

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

[22]  Ragunathan Rajkumar,et al.  Predictable communication protocol processing in real-time Mach , 1996, Proceedings Real-Time Technology and Applications.

[23]  Hermann Kopetz,et al.  Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[24]  D.P. Siewiorek,et al.  A case study of C.mmp, Cm*, and C.vmp: Part I—Experiences with fault tolerance in multiprocessor systems , 1978, Proceedings of the IEEE.

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

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

[27]  Philip Heidelberger,et al.  Analysis of Performability for Stochastic Models of Fault-Tolerant Systems , 1986, IEEE Transactions on Computers.

[28]  Rami G. Melhem,et al.  Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems , 1997, IEEE Trans. Parallel Distributed Syst..

[29]  Jay K. Strosnider,et al.  Scheduling Fault Recovery Operations for Time-Critical Applications , 1995 .