Abstract—In fail-safe computer syst

Abstract—In fail-safe computer systems, such as railway
signaling systems, the outputs directly drive some vital units.
Once they happen in error, there will be some injuries, even
losses or damages. In order to improve the reliability and safety
of fail-safe computer systems, in this paper, we innovatively
design and implement two kinds of 2-out-of-3 voters: the
dynamic voter and the static voter. The former achieves the
voting function mainly with pulse demodulation circuit, and the
latter realizes it mainly with four solid state relays. Furthermore,
we analyze their performances with Markov model. The dynamic
voter is hazard-free, and the reliability of the dynamic voter is
376 years. For so few components, the static voter is of amazing
reliability with 875 years. In addition, with the help of loopback
detection, it satisfies safety integrity level 4. At last, we analyze
and discuss some applications of the two voters in railway
signaling systems, and make suggestions on application choice.

Results (Thai) 1:

นามธรรมซึ่งในระบบ fail-safe คอมพิวเตอร์ เช่นรถไฟการแสดงผลสัญญาณระบบ ตรงไดรฟ์บางหน่วยที่สำคัญเมื่อเกิดขึ้นในข้อผิดพลาด จะมีการบาดเจ็บบาง แม้แต่สูญเสียหรือความเสียหาย เพื่อปรับปรุงความน่าเชื่อถือและความปลอดภัยระบบ fail-safe คอมพิวเตอร์ ในเอกสารนี้ เรา innovativelyออกแบบ และใช้สองชนิด 2 ออกของ 3 ผู้ลงคะแนน: การขอแบบไดนามิกและปรุงคง อดีตที่ได้รับการฟังก์ชันส่วนใหญ่กับชีพจร demodulation วงจร การออกเสียงลงคะแนนและหลังตระหนักถึงมันส่วนใหญ่กับการถ่ายทอดข้อมูลแบบสถานะของแข็ง 4 นอกจากนี้เราวิเคราะห์โภชน์กับ Markov แบบไดนามิกขอมาปราศจากอันตราย ความน่าเชื่อถือของแบบไดนามิกจะขอปี 376 สำหรับส่วนประกอบให้น้อย ปรุงคงไม่ตื่นตาตื่นใจความน่าเชื่อถือกับปี 875 นอกจากนี้ ด้วยความช่วยเหลือของวนรอบตรวจหา มันตรงตามระดับความปลอดภัย 4 ในที่สุด เราวิเคราะห์และหารือเกี่ยวกับโปรแกรมประยุกต์บางโปรแกรมของผู้ลงคะแนนทั้งสองในรถไฟสัญญาณระบบ และให้คำแนะนำที่แอพลิเคชัน

Results (Thai) 2:

บทคัดย่อในไม่ปลอดภัยระบบคอมพิวเตอร์เช่นรถไฟระบบการส่งสัญญาณเอาท์พุทโดยตรงไดรฟ์บางหน่วยที่สำคัญ. เมื่อพวกเขาเกิดขึ้นในข้อผิดพลาดจะมีการบาดเจ็บบางแม้ความสูญเสียหรือความเสียหาย เพื่อที่จะปรับปรุงความน่าเชื่อถือและความปลอดภัยของระบบคอมพิวเตอร์ไม่ปลอดภัยในบทความนี้เราสร้างสรรค์ออกแบบและดำเนินการสองชนิด2 ออกจากผู้มีสิทธิเลือกตั้งที่ 3 คือผู้มีสิทธิเลือกตั้งแบบไดนามิกและแบบคงที่ผู้มีสิทธิเลือกตั้ง อดีตประสบความสำเร็จในฟังก์ชั่นการลงคะแนนเสียงส่วนใหญ่กับวงจร demodulation ชีพจรและหลังส่วนใหญ่ตระหนักว่ามันมีสี่รีเลย์สถานะของแข็ง นอกจากนี้เราจะวิเคราะห์แสดงของพวกเขาที่มีรูปแบบมาร์คอฟ แบบไดนามิกผู้มีสิทธิเลือกตั้งเป็นอันตรายฟรีและความน่าเชื่อถือของผู้มีสิทธิเลือกตั้งแบบไดนามิกเป็น376 ปี สำหรับส่วนประกอบที่ไม่กี่เพื่อให้ผู้มีสิทธิเลือกตั้งคงเป็นที่น่าตื่นตาตื่นใจของความน่าเชื่อถือกับ 875 ปีที่ผ่านมา นอกจากนี้ด้วยความช่วยเหลือของย้อนกลับการตรวจสอบมันสอดคล้องกับระดับความสมบูรณ์ความปลอดภัย 4. ที่ผ่านมาเราวิเคราะห์และหารือเกี่ยวกับการใช้งานบางส่วนของทั้งสองคะแนนเสียงในรถไฟระบบการส่งสัญญาณและให้คำแนะนำในการเลือกแอพลิเคชัน

Results (Thai) 3:

บทคัดย่อในระบบคอมพิวเตอร์ที่ปลอดภัยล้มเหลว เช่น รถไฟ
ส่งสัญญาณระบบ , ผลโดยตรงทำให้บางหน่วยที่สำคัญ .
เมื่อพวกเขาเกิดขึ้นในข้อผิดพลาด จะต้องมีการบาดเจ็บ แม้แต่
ความสูญเสียหรือความเสียหาย เพื่อปรับปรุงความน่าเชื่อถือและความปลอดภัยของระบบคอมพิวเตอร์ที่ปลอดภัย
ล้มเหลว ในกระดาษนี้เราสร้างสรรค์
ออกแบบและใช้สองประเภท :
2-out-of-3 ผู้มีสิทธิเลือกตั้งผู้มีสิทธิเลือกตั้งลงคะแนนเสียงเลือกตั้งแบบไดนามิกและแบบคงที่ อดีตใช้ฟังก์ชั่นการลงคะแนนเสียงส่วนใหญ่กับวงจรดีมอดูเลต

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