Research on Ultradependability Safeguard Technology for Safety Critical Systems
安全关键系统高可信保障技术的研究

In order to improve dependability of safety critical systems, whose safeguard technologies are researched in this paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and relations among fault,error,failure are analyzed. In succession, how to apply with fault prevention,fault tolerance,fault removal,fault forecasting to enhance dependability of safety critical systems are expounded concisely by diagrams. Because error detecting is very important in fault tolerant systems, an error detecting technology based on safety kernel is proposed in this paper. Future trends of research in safety critical field are listed at the end.