Robot tiên tiến trong môi trường an toàn: khảo sát các kỹ thuật đảm bảo độ tin cậy

( 0 đánh giá )
Miễn phí

Robot tiên tiến có hai đặc điểm chính gây rủi ro: khả năng tự chủ (quyết định độc lập) và tương tác vật lý với người.

  • Các nguy cơ mới gồm: va chạm, sai lệch quyết định, lỗi phần mềm, sai lệch nhận thức, và tương tác không đồng bộ.
  • - Phân loại kỹ thuật đảm bảo độ tin cậy:
  •   + Phòng ngừa lỗi: kiến trúc phần mềm mô-đun, quy tắc lập trình (MISRA-C), phát triển theo mô hình.
  •   + Loại bỏ lỗi: kiểm tra phần mềm, mô phỏng, xác minh mô hình, kiểm tra thời gian chạy.
  •   + Dự báo lỗi: phân tích rủi ro (FMEA, FTA, HAZOP, STPA, ESHA, SHARD), xây dựng hồ sơ an toàn (GSN).
  •   + Chịu lỗi: giám sát lỗi, phục hồi, giám sát an toàn độc lập, giảm mức tự chủ khi có lỗi.
  • - Các công cụ mô phỏng như MORSE, Gazebo, Blender được dùng để kiểm tra hành vi robot trong môi trường ảo.
  • - Giám sát an toàn độc lập (safety monitor) có thể ngắt lệnh từ bộ điều khiển chính nếu phát hiện hành vi nguy hiểm.
  • - Các tiêu chuẩn ISO hiện hành chưa đủ để bao phủ các tình huống phức tạp của robot tự chủ.
  • - Các thách thức chính:
  •   + Mô hình hóa tương tác người–robot để phân tích rủi ro.
  •   + Giám sát an toàn thích nghi theo ngữ cảnh và nhiệm vụ.
  •   + Xác minh hành vi của bộ lập kế hoạch (planner) và tầng quyết định.
  •   + Xây dựng hồ sơ an toàn (safety case) để chứng minh độ tin cậy.