高可靠容错实时系统的支撑技术研究

• Research on Supporting Techniques for High-Reliable Fault-Tolerant Real-Time Systems