FORTS: Fault-Tolerant, Real-Time Systems

Mainly research on RT-Mach, also RT resource management, RT fault-tolerant scheduling for multiprocessors, verification and validation, error detection and recovery, technology transfer to space and avionics applications. Department of Computer Science, University of Pittsburgh.