Mô hình bài toán hệthống dự phòng bảo vệ tích cực:

Một phần của tài liệu Nghiên cứu các phương pháp nâng cao độ tin cậy cho hệ thống tính toán qua cấu trúc hệ thống (Trang 64)

Cùng với mô hình bài toán hệ thống máy tính phân cấp chúng ta sẽ sử dụng các cấu hình tƣơng ứng với lựa chọn hai - lựa chọn với sự ra đời của chi nhánh bổ sung trong cấu trúc của hệ thống cho việc tổ chức hoạt động bảo vệ đƣợc xem xét để xây dựng HCSchịu lỗi sử dụng phƣơng pháp bảo vệ chủ động tích cực đƣợc thể hiện trong hình 3.3.

9 10 11

12 13 14

Hình 3.3. Cấu hình hệ thống HCS với AP

Chúng ta xem xét một cấu hình thể hiện cho khả năng hoạt động không có sự thất bại của cấu hình số 9, nhƣ thể hiện trong hình 2. Số bộ xử lý không dự phòng trong hệ thống mà không đƣợc bảo vệ chủ động - năm. Do đó, xác suất thất bại của hệ thống phần này – p5.

Tính toán xác suất hoạt động không thất bại cho phần bị bắt bởi lớp AP và bao gồm ba bộ vi xử lý. Nguyên tắc linh hoạt nhất của AP - tức là bằng cách AP xác định lại bộ vi xử lý kiểm soát và kiểm soát ƣu tiên thấp đƣợc sử dụng. Rõ

ràng khả năng hoạt động không có sự thất bại này là một phần của hệ thống Рh bằng tổng xác suất hoạt động của cả ba bộ vi xử lý (р3) và xác suất hoạt động của hai trong số ba bộ vi xử lý.

𝑃ℎ = 𝑝3 + 3𝛼1𝐴𝑃(1 − 𝑝)𝑝2

Trong đó: α1AP–khả năng phát hiện xác suất thất bại một tầng AP khi xảy ra. Biểu thức cuối cùng biểu thị cho khả năng hoạt động không có sự thất bại của HCS với cấu hình số 9 có thể viết nhƣ sau:

𝑃 9 = 𝑝5[𝑝3 + 3𝛼1𝐴𝑃 1 − 𝑝 𝑝2]

Tƣơng tự nhƣ vậy, biểu thức thể hiện cho khả năng hoạt động không có sự thất bại của HCS với cấu hình số 10:

𝑃 10 = 𝑝3[𝑝3 + 3𝛼1𝐴𝑃 1 − 𝑝 𝑝2]2

Giả định α2АP - khả năng phát hiện xác suất thất bại cho hai cấp AP. Chúng tôi tin rằng hệ thống sau khi thất bại ở hai cấp độ đầu tiên AP sẽ đƣợc chuyển thành đơn cấp AP. Ngoài ra, giả định rằng đơn cấp AP là một hệ quả của sự biến đổi trong đó hai cấp AP và ban đầu hai cấp AP đƣợc tạo ra với việc sử dụng các nguyên tắc linh hoạt nhất của AP - tức là AP xác định lại bộ vi xử lý kiểm soát và kiểm soát ƣu tiên thấp.

Cho các giả định và ký hiệu chúng ta nhận đƣợc biểu thức tính xác suất của khả năng hoạt động hệ thống không có sự thất bại với cấu hình số 11-14:

𝑃 11 = 𝑝3 𝑝3 + 3𝛼1𝐴𝑃 1 − 𝑝 𝑝2 [𝑝4 + 4𝛼2𝐴𝑃 1 − 𝑝 𝑝3 + 6𝛼1𝐴𝑃(1 − 𝑝)2𝑝2]; 𝑃 12 = 𝑝3[𝑝4 + 4𝛼2𝐴𝑃 1 − 𝑝 𝑝3 + 6𝛼1𝐴𝑃(1 − 𝑝)2𝑝2]2; 𝑃 13 = 𝑝[𝑠3 + 𝛼1𝐴𝑃𝐶31(1 − 𝑠)𝑠2]; 𝑃[14] = 𝑝[𝑠4 + 4𝛼2𝐴𝑃 1 − 𝑠 𝑠3 + 6𝛼1𝐴𝑃(1 − 𝑠)2𝑠2]; 𝑣ớ𝑖 𝑠 = 1 − 𝐶3𝑖(1 − 𝑝)𝑖𝑝3−𝑖 3 𝑖=1

Một phần của tài liệu Nghiên cứu các phương pháp nâng cao độ tin cậy cho hệ thống tính toán qua cấu trúc hệ thống (Trang 64)