Cấu hình HCS với dự phịng

Một phần của tài liệu Luận văn thạc sĩ UEB 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 công nghệ thông tin (Trang 70 - 72)

Hình 3 .1 Mơ hình hệthống máy tính phân cấp

Hình 3.2Cấu hình HCS với dự phịng

61

Giả định rằng tất cả các bộ vi xử lý của kiểm soát và xử lý HCS là đồng nhất, trùng lặp đƣợc tất cả các tải:

Ký hiệu:p = p(t) khả năng hoạt động khơng có sự thất bại của mỗi bộ xử lý.

q = 1-p xác suất thất bại của một bộ xử lý.

α1 khả năng phát hiện chính xác xác suất thất bại của các cặp. Với ký hiệu này biểu hiện cho khả năng của hệ thống thời gian hoạt động của hai bộ vi xử lý (sơ cấp và sao lƣu), do với mỗi cặp có thể coi là một hệ thống gồm hai phần tử độc lập mắc song song X1, X2 với xác suất hoạt động an tồn cùng là p. Khi đó ta có độ tin cậy [23] của một cặp vi xử lý sẽ là Ps:

P(X1vX2)=P(X1)+Q(X1).P(X2)

= p+(1-p).p = 2p-p2

= 2p(1-p)+p2 = 2pq+p2

Với α1 là xác suất thất bại của mỗi cặp nên ta có Ps=2α1pq+p2 (3.1) Sau khi chuyển đổi (3.1) ta có: Ps=1-(1-p)[1-p(2α1-1)]

Từ các cấu hình hệ thống với bộ vi xử lý dự phòng biểu thị cho khả năng hoạt động khơng có sự thất bại HCS viết nhƣ sau:

= =0 = − = − (1− 1− 1− 2 1−1 ) (3.2)

Trong đó:

Pi - xác suất thất bại của phần tử thứ i (bộ xử lý) HCS N - số lƣợng các bộ vi xử lý trong HCS d - số lƣợng các cặp vi xử lý bản sao trong hệ thống.

Từ biểu thức (3.2), chúng ta sẽ nhận đƣợc biểu thức xác suất hoạt động khơng có sự thất bại của mỗi một cấu hình của HCS cho trên hình 3.2:

1 = 7;

2

=6 =6

3

4 = 4 3 5 = 3 4 6 = 2 5 7 = 6= 1−1− 1−2 −1 8 =7=1−1− 1−2 −1 7

3.3.2 Mơ hình bài tốn hệ thống dự phịng bảo vệ tích cực:

Cùng với mơ hình bài tố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

Một phần của tài liệu Luận văn thạc sĩ UEB 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 công nghệ thông tin (Trang 70 - 72)