The requirement to formally specify

The requirement to formally specify the control system is a process requirement to formally specify the control system is a process requirement which is specified because formal specification and checking increases the probability that specification errors will be detected.

The second requirement above is really a security requirement which specifies that the system data areas must be checked. If these have been corrupted either by control system failure or for some other reason, then there is a potential for system error and operation should be disabled.

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

ความต้องการอย่างเป็นทางระบุระบบการควบคุมเป็นความต้องการอย่างเป็นทางการระบุระบบการควบคุมคือ ความต้องการที่ระบุเนื่องจากสเปคเป็นทางการและเพิ่มความเป็นไปได้ที่จะถูกตรวจพบข้อผิดพลาดของข้อมูลจำเพาะเกี่ยวกับการตรวจสอบ ความสองข้างต้นคือจริง ๆ ความปลอดภัยซึ่งระบุว่า ต้องเช็คพื้นที่ข้อมูลระบบ ถ้าเหล่านี้เสียหาย โดยระบบควบคุมล้มเหลว หรือเหตุผลบางอย่าง แล้ว มีโอกาสผิดพลาดของระบบ และการดำเนินงานควรถูกปิดใช้งาน

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

ความต้องการอย่างเป็นทางการระบุระบบการควบคุมเป็นความต้องการขั้นตอนอย่างเป็นทางการระบุระบบการควบคุมเป็นความต้องการกระบวนการที่ระบุไว้เพราะสเปคอย่างเป็นทางการและการตรวจสอบเพิ่มขึ้นน่าจะเป็นที่ข้อผิดพลาดเปคจะถูกตรวจพบ. ความต้องการที่สองดังกล่าวข้างต้นเป็นจริงความต้องการการรักษาความปลอดภัยที่ ระบุว่าพื้นที่ข้อมูลของระบบจะต้องตรวจสอบ ถ้าสิ่งเหล่านี้ได้รับความเสียหายทั้งจากความล้มเหลวของระบบการควบคุมหรือด้วยเหตุผลอื่น ๆ บางส่วนแล้วมีศักยภาพสำหรับข้อผิดพลาดของระบบและการดำเนินการควรจะปิดการใช้งาน

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

ความต้องการอย่างเป็นทางการ กำหนดระบบการควบคุมเป็นตามขั้นตอนอย่างเป็นทางการ ระบุระบบการควบคุมกระบวนการความต้องการที่ระบุเพราะข้อกำหนดรูปนัยและการตรวจสอบเพิ่มความน่าจะเป็นที่สเปคข้อผิดพลาดจะถูกตรวจพบ2 ความต้องการความปลอดภัยความต้องการข้างต้นเป็นจริงซึ่งระบุว่าระบบข้อมูลพื้นที่ที่ต้องมีการตรวจสอบ หากเหล่านี้ได้รับความเสียหายจากความล้มเหลวของระบบการควบคุมหรือบางเหตุผลอื่น ๆแล้ว มีศักยภาพสำหรับข้อผิดพลาดของระบบและการดำเนินงานควรจะปิดการใช้งาน