TMR và cấu hình hệ thống kép có chẩn đoán so sánh bỏ phiếu tự động. Chẩn đoán này cung cấp phát hiện thất bại ngẫu nhiên. Hệ thống và chẩn đoán bỏ phiếu có thể được kiểm tra thông qua quy trình kiểm tra thiết bị hiện trường nếu các quy trình kiểm tra thiết bị hiện trường bao gồm các quy trình sau đây và hệ thống báo động đã được kiểm tra để xác minh rằng không có chẩn đoán so sánh nào được thử nghiệm.
Đối với mỗi vòng an toàn khi nguồn (hoặc cáp liên lạc) được xóa khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, chẩn đoán so sánh sẽ chỉ ra lỗi. Khi nguồn vượt quá, dung sai lỗi phần cứng được loại bỏ khỏi các gói I/O, hệ thống không thể đến trạng thái an toàn được cấu hình, cũng cho:
YAIC: Mỗi cảm biến tương tự phải được kiểm tra riêng, một cảm biến tại một thời điểm. Mỗi thử nghiệm, nếu có thể, nên phạm vi cảm biến vượt quá phạm vi hoạt động bình thường trong giới hạn trên và dưới của phạm vi cảm biến có thể phát hiện được. Mỗi đầu ra được kiểm tra khi đầu ra được phân biệt thông qua quá trình chuyển đổi phạm vi đầy đủ cần thiết để kiểm tra thiết bị hiện trường. Khi nguồn (hoặc cáp truyền thông) được loại bỏ khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, hệ thống sẽ duy trì đầu ra cần thiết.
Ydia: Mỗi cảm biến nên được kiểm tra gây ra quá trình chuyển đổi logic trên bộ điều khiển.
Ydoa: Kích thích chức năng an toàn sao cho đầu ra thực hiện chuyển đổi. Khi nguồn (hoặc cáp truyền thông) được loại bỏ khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, hệ thống sẽ duy trì đầu ra cần thiết. Bất kỳ lỗi đầu ra tạo ra một dấu hiệu lỗi.
Yhra: Mỗi cảm biến tương tự được kết nối với đầu vào phải được kiểm tra riêng. Mỗi đầu ra được kiểm tra khi đầu ra được chuyển qua chuyển đổi quy mô đầy đủ cần thiết để kiểm tra thiết bị hiện trường. YHRA là một bảng chỉ đơn giản, các chế độ phát hiện lỗi và lỗi được kiểm tra theo mã ứng dụng được chứng nhận 61511.
YTCC: Đầu vào cặp nhiệt có thể được kiểm tra tại chỗ nếu có sẵn nhiệt độ tham chiếu độc lập để so sánh. Phát hiện TC mở có thể được kiểm tra bằng cách ngắt kết nối một dây dẫn trên mỗi TC tại các ốc vít bảng đầu cuối. Nhiệt độ giao nhau lạnh được kiểm tra bằng cách kiểm tra nhiệt độ với tab Công cụ Lạnh.
Yvib: Mỗi cảm biến được kết nối với đầu vào phải được kiểm tra riêng, một cảm biến tại một thời điểm (VIBPROX, VIBPROX-KPH, VIBSIESMIC, POSPROX). Mỗi thử nghiệm (nếu có thể) nên phạm vi cảm biến vượt quá phạm vi hoạt động bình thường trong giới hạn trên và dưới của phạm vi có thể phát hiện được. Độ chính xác đầu vào của Phasor* có thể được kiểm tra tại chỗ nếu có tốc độ tham chiếu để so sánh. Khi nguồn (hoặc cáp truyền thông) được loại bỏ khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, hệ thống sẽ duy trì đầu ra cần thiết.
Ypro: Đầu vào tốc độ được kiểm tra khi tín hiệu đầu vào được thay đổi và so sánh với tín hiệu tham chiếu. E-Stop và liên hệ đầu vào liên lạc được kiểm tra khi được kích hoạt và ETR được quan sát thấy để bỏ học. Khi nguồn (hoặc cáp truyền thông) được loại bỏ khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, hệ thống sẽ duy trì đầu ra cần thiết.
Ysil: Một phiên bản nâng cao của YPRO bao gồm các đầu vào tốc độ, cửa E-Stop, ETR, các điều khoản cho đầu vào tiếp xúc, đầu ra rơle, đầu vào cặp nhiệt điện và máy dò ngọn lửa.
Ytur: Đầu vào tốc độ được kiểm tra khi tín hiệu đầu vào được thay đổi và so sánh với tín hiệu tham chiếu. Đầu vào của máy dò ngọn lửa (Gieger-Muller) được kiểm tra khi sự hiện diện của ngọn lửa được quan sát. Đầu vào E-Stop được kiểm tra khi được kích hoạt và PTR được quan sát thấy để bỏ học. Khi nguồn (hoặc cáp truyền thông) được loại bỏ khỏi một gói I/O trong kênh chịu lỗi lỗi phần cứng, hệ thống sẽ duy trì đầu ra cần thiết.