Safety kernel is a new mechanism providing safety assurance in safety-criticalsystem.
安全核是安全关键系统的一种新的安全保障机制。
2
The CTCS-2 train control system of high speed railway is a typical safety-criticalsystem.
高速铁路CTCS-2列控系统是典型的安全苛求系统。
3
Fault Tree Analysis (FTA) can be used to analyze the events and states of system failure. It is an effective method in analyzing the reliability and safety of safety-criticalsystem.