Một mô hình toán học của bài toán tối ưu hoá độ tin cậy của hệ thống tự động hoá tích hợp