· Safety: Whenever an emergency hap

· Safety: Whenever an emergency happens according to the definition of emergency brake
trigger in the requirement documentation, the ElevatorControl commands the Safety

ผลลัพธ์ (ไทย) 1:

· ความปลอดภัย: ใดฉุกเฉินเกิดขึ้นตามคำนิยามของการเบรคฉุกเฉิน ทริกเกอร์ในเอกสารความต้องการ คำสั่ง ElevatorControl ความปลอดภัย

ผลลัพธ์ (ไทย) 2:

·ความปลอดภัย: เมื่อใดก็ตามที่เกิดขึ้นฉุกเฉินตามคำนิยามของการเบรกฉุกเฉิน
เรียกในเอกสารความต้องการ, ความปลอดภัย ElevatorControl คำสั่ง

ผลลัพธ์ (ไทย) 3:

ความปลอดภัยด้วย : เมื่อใดก็ตามที่มีเหตุการณ์ฉุกเฉินเกิดขึ้นตามนิยามของทริกเกอร์เบรค
ฉุกเฉินในความต้องการเอกสาร , elevatorcontrol ควบคุมความปลอดภัย