The issues we are focusing
on are:
Real-Time
Fault-tolerant Scheduling for Multiprocessors
Time-line
Fault-tolerant Scheduling in Mach
Resource
Management in Real-Time Systems
Verification
and validation, error detection and recovery
Technology
transfer to space and Avionics applications.
FORTS
FT-RT-Mach Help Page