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, U