Safety kernel is a new mechanism providing safety assurance insafety-critical system.

• 安全核是安全关键系统的一种新的安全保障机制。