Định nghĩa bắt tay PLC–thị giác bằng trạng thái rõ ràng

Vấn đề và điều kiện áp dụng

Xung ngắn và kết quả chưa xác nhận có thể bỏ chi tiết hoặc dùng quyết định cũ. Thỏa thuận hành vi trước khi ánh xạ sang tín hiệu hay giao thức thật. Phụ lục là mã giả khái niệm.

Chuẩn bị thử nghiệm

Định nghĩa sẵn sàng, bận, có kết quả và lỗi cùng định danh chi tiết, xác nhận tương ứng. 200 ms xử lý và 500 ms chờ xác nhận chỉ là giả định.

Viết hợp đồng ứng dụng trước ánh xạ I/O hoặc giao thức. Chốt bên tạo mã, sở hữu trạng thái, xác nhận và xử lý chi tiết khi lỗi. Ready, Busy, Result, Fault là khái niệm, không thanh ghi hay lệnh được hứa. Kiểm giao tiếp thật trong tài liệu, tách thời gian điện hoặc mạng khỏi kiểm tra. Không mã giao dịch thì thiết kế và xét cách ghép, không giả định kết quả tiếp thuộc chi tiết tiếp. Quan sát bằng trace hoặc đo tín hiệu phù hợp.

Các bước thực hiện

1. Chỉ nhận yêu cầu khi sẵn sàng, lưu định danh trước khi chuyển bận.
2. Công bố định danh và kết quả cùng nhau, giữ ổn định.
3. Chỉ trở lại sẵn sàng sau xác nhận đúng kết quả; từ chối mã không khớp.
4. Hết hạn xử lý hoặc lỗi thu ảnh phải báo lỗi, không coi OK cũ là hiện tại.
5. Thử yêu cầu khi bận, lặp yêu cầu, mất xác nhận và khởi động lại; yêu cầu phục hồi rõ.

VENDOR-NEUTRAL PSEUDOCODE — state semantics, not protocol commands
# Serialize these application events; names below are conceptual.
state = READY
generation = new_generation()
active_token = none
on_request(id):
    if state != READY: record_rejected_request(id); return
    active_token = (generation, id)
    state = BUSY
    arm_processing_deadline(active_token)
    start_bounded_inspection(active_token)
on_completed(token, value):
    if state != BUSY or token != active_token:
        record_stale_result(token); return
    cancel_processing_deadline(token)
    if not application_payload_valid(value):
        enter_fault(token, INVALID_PAYLOAD); return
    publish_stable_result(token, value)
    state = RESULT
    arm_acknowledgement_deadline(token)
on_acknowledge(token):
    if state != RESULT or token != active_token:
        record_unmatched_acknowledgement(token); return
    cancel_acknowledgement_deadline(token)
    clear_published_result()
    active_token = none
    state = READY
on_timeout(token, expected_state):
    if token != active_token or state != expected_state:
        record_stale_timer(token); return
    enter_fault(token, TIMEOUT)
on_acquisition_failure(token):
    if state == BUSY and token == active_token:
        enter_fault(token, ACQUISITION_FAILURE)
enter_fault(token, reason):
    cancel_all_deadlines(token)
    invalidate_pass_result()
    record_fault_and_pending_part(token, reason)
    state = FAULT
on_authorized_recovery:
    if state != FAULT: return
    resolve_part_disposition()
    stop_pending_work_and_clear_events()
    generation = new_generation()
    active_token = none
    state = READY

Ready nhận một yêu cầu hợp lệ, gắn mã trước thu. Busy giữ mã, từ chối hay xếp sau theo thiết kế, không âm thầm thay. Hoàn thành xuất quyết định cùng mã, giữ tới xác nhận đúng. Xác nhận mã khác không xóa. Hết hạn, lỗi thu hoặc dữ liệu sai sang Fault, vô hiệu đạt cũ. Chỉ về Ready sau phục hồi được phép giải quyết chi tiết. Đây là phối hợp công đoạn, không thay điều khiển an toàn độc lập.

Biên bản thử nghiệm giả định

Đây là giả định minh họa, không phải kết quả đo của Deyi. Thay bằng biên bản thử nghiệm đã được phê duyệt tại dây chuyền của bạn.

Với T300, giữ kết quả và mã ổn định tới phản hồi xác nhận đúng hoặc chuyển lỗi đã định nghĩa. Thử yêu cầu thứ hai khi Busy, xác nhận T299, hoàn thành sau hạn và khởi động lại bộ điều khiển. Ghi trạng thái và cách xử lý chi tiết thật. Hủy hoặc kiểm tra thế hệ bộ định thời cũ để hết hạn T300 không gây lỗi cho yêu cầu sau. Phụ lục mô tả hành vi; tín hiệu và định dạng bản tin cần giao thức bộ điều khiển đã chọn.

Mỗi timer có bên quản, đầu mốc và thế hệ. Hai hạn ví dụ thử hai chờ khác nhau, không thiết lập khuyến nghị. Hủy khi rời trạng thái hoặc kiểm mã, thế hệ lúc hết. Hoàn thành muộn sau lỗi hay thay chỉ là chẩn đoán. Mất xác nhận khác lỗi kiểm: quyết định có thể đúng nhưng giao dịch còn mở. Chốt gửi lại kết quả ổn định, giữ chi tiết hoặc đối chiếu người vận hành. Mạng khỏe lại không tự giải quyết giao dịch cũ.

Hai sơ đồ mô tả quy trình

Khoanh vùng lỗi

• Xung ngắn hơn khả năng quan sát cần đổi thiết kế.
• Xác nhận sai định danh cần xem hàng đợi và thứ tự.
• Tự xóa lỗi có thể che chi tiết chưa kiểm; phải định nghĩa xử lý.

Nghiệm thu và bàn giao

Theo dõi mỗi yêu cầu tới một kết quả cuối mà không ghi đè. Thử hết hạn, reset và mất điện hai phía. 200/500 ms không bảo đảm tương thích thiết bị.

Chốt giới hạn nghiệm thu trước khi thử và giữ bằng chứng gốc. Ví dụ không xác nhận tính năng của một model được cung cấp.

Dùng bảng trạng thái dự kiến cho bình thường, yêu cầu khi Busy, xác nhận sai, trùng, thiếu ảnh, muộn, mất mạng, khởi động. So trạng thái, mã, kết quả và xử lý thật. Khởi động không biến đạt cũ thành mới. Thử lỗi sát biên để lộ timer cũ và tranh chấp, lặp bình thường. Bàn giao trạng thái, timer, trace, phục hồi duyệt và tín hiệu thật. Phụ lục trung lập cần xét theo thiết bị, không lệnh PLC chạy được hay tính năng Deyi.

Tài liệu liên quan

Đọc các hướng dẫn lựa chọn và ứng dụng liên quan trước khi chọn thiết bị. Để đánh giá kỹ thuật, hãy chuẩn bị ảnh mẫu, kết quả yêu cầu, điều kiện vận hành và biên bản thử nghiệm.