Các phương pháp dự phòng nâng cao tin cậy của hệ thống tính toán

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THƠNG TRIỆU XN HỊA CÁC PHƯƠNG PHÁP DỰ PHÒNG NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG TÍNH TỐN LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH THÁI NGUYÊN - 2014 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN & TRUYỀN THƠNG TRIỆU XN HỊA CÁC PHƯƠNG PHÁP DỰ PHÒNG NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG TÍNH TỐN Ngành: Khoa học máy tính Mã số: 60.48.01 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Người hướng dẫn khoa học: TS NGUYỄN VĂN ĐOÀN THÁI NGUYÊN - 2014 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ LỜI CAM ĐOAN Tôi xin cam đoan nội dung kiến thức trình bày luận văn tơi tìm hiểu tài liệu, nghiên cứu trình bày theo cách hiểu thân hướng dẫn trực tiếp TS.Nguyễn Văn Đoàn Các nội dung nghiên cứu kết thực nghiệm đề tài hồn tồn trung thực Trong q trình làm luận văn, tơi có tham khảo đến số tài liệu liên quan tác giả, ghi rõ nguồn gốc tài liệu tham khảo liệt kê phần tài liệu tham khảo cuối luận văn Nếu sai tơi xin hồn tồn chịu trách nhiệm Thái Nguyên, ngày 28 tháng năm 2014 Người cam đoan Triệu Xn Hòa LỜI CẢM ƠN Trong q trình học tập nghiên cứu lớp Cao học khóa 11 chun ngành Khoa học máy tính Trường Đại học Cơng nghệ thông tin truyền thông - Đại học Thái Nguyên, nhận nhiều bảo, dìu dắt, giảng dạy nhiệt tình thầy, giáo Trường Đại học Công nghệ thông tin truyền thông - Đại học Thái Nguyên Viện công nghệ thông tin Việt Nam Các thầy cô giáo giúp đỡ, tạo điều kiện tốt cho q trình cơng tác học tập Nhân dịp xin bày tỏ lời cảm ơn chân thành tới tập thể thầy, cô giáo Trường Đại học Công nghệ thông tin truyền thông - Đại học Thái Nguyên, thầy cô giáo Viện công nghệ thông tin Việt Nam Tôi xin chân thành cảm ơn sâu sắc tới thầy giáo TS Nguyễn Văn Đoàn cho tơi nhiều ý kiến đóng góp q báu, tận tình hướng dẫn tạođiều kiện cho tơi hồn thành tốt luận văn tốt nghiệp Tơi xin cảm ơn đồng nghiệp người thân động viên, giúp đỡ tơi q trình nghiên cứu thực luận văn Quá trình thực đề tài khơng tránh khỏi thiếu sót, mong tiếp tục nhận đóng góp ý kiến thầy, cô giáo, bạn đồng nghiệp đề tài nghiên cứu tơi để đề tài hồn thiện Tôi xin trân trọng cảm ơn! Thái Nguyên, ngày 28 tháng năm 2014 Học viên Triệu Xuân Hòa MỤC LỤC MỞ ĐẦU CHƯƠNG KHÁI QUÁT VỀ ĐỘ TIN CẬY HỆ THỐNG VÀ BÀI TỐN DỰ PHỊNG 1.1 Khái quát độ tin cậy hệ thống 1.1.1 Khái niệm độ tin cậy hệ thống 1.1.2 Chỉ số độ tin cậy hệ thống 1.1.3 Vai trò độ tin cậy hệ thống 16 1.2 Bài tốn dự phòng hệ thống 17 1.2.1 Khái niệm 17 1.2.2 Các cách tiếp cận dự phòng hệ thống 17 CHƯƠNG NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG TÍNH TỐN 20 2.1 Các bước tính tốn độ tin cậy hệ thống 20 2.1.1 Xây dựng sơ đồ logic theo cấu trúc hệ thống 20 2.1.2 Thuật toán chuyển đổi sơ đồ cấu trúc logic sang đồ thị liên kết 21 2.1.3 Thuật tốn tìm tất đường ma trận liên kết: 23 2.1.4 Thuật tốn tìm tất đường ma trận liên kết theo lý thuyết đồ thị 26 2.1.5 Tối thiểu hóa tốn tử logic 28 2.1.6 Trực giao hóa toán tử logic 29 2.1.7 Chuyển đổi mơ hình logic sang giá trị đại số 31 2.2 Tính độ tin cậy hệ thống có dự phòng 32 2.2.1 Hệ thống dự phòng nóng 32 2.2.2 Hệ thống dự phòng lạnh 33 2.2.3 Hệ thống dự phòng theo chế bỏ phiếu (chập 3) 37 2.2.4 Hệ thống dự phòng bảo vệ tích cực 38 2.3 Đảm bảo độ tin cậy hệ thống 39 CHƯƠNG THỬ NGHIỆM NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG MÁY CHỦ NGÂN HÀNG 43 3.1 Bài toán 43 3.2 Sử dụng phương pháp dự phòng nâng cao độ tin cậy hệ thống xây dựng cơng thức tính độ tin cậy 46 3.2.1 Sử dụng phương pháp dự phòng truyền thống 46 3.2.2 Sử dụng phương pháp chủ động tích cực (Active Protection – AP)48 3.2.3 Sử dụng kết hợp phương pháp dự phòng truyền thống phương pháp dự phòng bảo vệ tích cực 51 3.3 Xây dựng chương trình thử nghiệm 52 3.3.1 Yêu cầu chương trình thử nghiệm 52 3.3.2 Một số hình ảnh chương trình 53 3.4 Nhận xét phương án dự phòng 55 KẾT LUẬN 59 DANH MỤC CƠNG TRÌNH KHOA HỌC LIÊN QUAN ĐẾN LUẬN VĂN 60 TÀI LIỆU THAM KHẢO 61 DANH MỤC KÝ HIỆU, TỪ VIẾT TẮT Từ viết tăt Từ tiếng Anh Từ cụm từ AP Active Protection Phương pháp dự phòng chủ động MTTF Mean Time To Failure Thời gian hoạt động an tồn trung bình MTBF Mean Time Between Failure Thời gian trung bình hai lần hỏng MTTR Mean Time To Repair Thời gian trung bình sửa chữa cố Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ DANH MỤC HÌNH ẢNH Hình 1.1: Biểu diễn hàm mật độ phân phối xác Hình 1.2: Biểu diễn hàm phân phối xác suất Hình 1.3: Biểu diễn độ tin cậy phần tử Hình 1.4: Biểu diễn hàm phân phối độ tin cậy 10 Hình 1.5: Biểu diễn cường độ hỏng hóc 10 Hình 1.6: Các khoảng cách làm việc khoảng cách phục hồi 12 Hình 1.7: Một kịch phát lỗi sửa lỗi 15 Hình 2.1: Sơ đồ hệ phần tử nối tiếp 20 Hình 2.2: Sơ đồ hệ phần tử song song 20 Hình 2.3: Hệ thống dự phòng nóng 32 Hình 2.4: Hệ thống dự phòng lạnh 33 Hình 2.5: Hệ thống dự phòng chập 37 Hình 2.6: Hệ thống dự phòng tích cực 38 Hình 2.7: Cấu hình hệ thống dạng 40 Hình 3.1: Sơ đồ cấu trúc hệ thống ngân hàng 44 Hình 3.2: Sơ đồ cấu trúc hệ thống mạng máy tính ngân hàng 44 Hình 3.3: Cấu hình hệ thống 45 Hình 3.4: Cấu hình hệ thống với dự phòng 46 Hình 3.5: Cấu hình hệ thống với AP 48 Hình 3.6: Cấu hình hệ thống với AP nhân 51 Hình 3.7: Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống với cấu hình số 1, số 16, số 21, số 23 theo thời gian 56 Hình 3.8: Cấu hình hệ thống với AP nhân dự phòng 57 Hình 3.9: Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống với cấu hình số 1, số 21, số 24, số 25 theo thời gian 58 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ MỞ ĐẦU Lý chọn đề tài Việc đánh giá độ tin cậy hệ thống dựa cấu trúc hệ thống, thông qua độ tin cậy thành phần hệ thống tốn phức tạp, để giải cần đến cơng cụ lý thuyết xác suất, lý thuyết đồ thị, logic Phương pháp đánh giá độ tin cậy hệ thống dựa sở lý thuyết xác suất trình ngẫu nhiên áp dụng đạt kết khả quan Dự báo độ tin cậy hệ thống có hiệu cao, liên quan đến trình sản xuất lập trình dự tốn nào, chi phí bảo trì, chi phí tối thiểu cấu hình hệ thống, cách khác, tổng số lợi nhuận dự kiến tối đa độ tin cậy hệ thống chọn theo cơng thức dựa tính tốn tuổi thọ thiết bị, dịch vụ đời sống thực tế thiết bị khơng hoạt động tốt Để nâng cao độ tin cậy yếu tố thành phần, người ta sử dụng kỹ thuật bổ sung thành phần dư thừa, hay gọi hệ thống có dự phòng Việc sử dụng thành phần dự phòng khơng hướng nghiên cứu mới, nhiên việc đề xuất sử dụng chúng hệ thống có cấu trúc khác nhau, hệ phân tán, tính tốn song song … nhiều nghiên cứu tập trung phát triển Với mục tiêu tìm hiểu việc nâng cao độ tin cậy hệ thống, đặc biệt việc sử dụng phương pháp dự phòng, tơi lựa chọn đề tài “Các phương pháp dự phòng nâng cao độ tin cậy hệ thống tính tốn” làm đề tài cho luận văn tốt nghiệp Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ Mục đích nghiên cứu Mục đích nghiên cứu đề tài đưa cácphương pháp dự phòng để nâng cao độ tin cậy hệ thống tính tốn qua cấu trúc hệ thống tính tốn Nhằm tránh cố lỗi xảy hệ thống Nhiệm vụ nghiên cứu Xuất phát từ mục đích trên, nhiệm vụ đề tài đặt sau: - Tìm hiểu khái niệm liên quan đến độ tin cậy hệ thống, phương pháp tính độ tin cậycủa hệ thống tính tốn - Các phương pháp dự phòng nâng cao độ tin cậy hệ thống tính tốn; - Ứng dụng phương pháp dự phòng để nâng cao độ tin cậy hệ thống vào ví dụ hệ thống phân tán cụ thể (dạng tree) Phương pháp nghiên cứu Sử dụng phối hợp phương pháp: - Phương pháp phân tích, tổng hợp lý luận: Nghiên cứu, tìm hiểu, phân tích tài liệu có liên quan đến độ tin cậy hệ thống phương pháp tính, đánh giá độ tin cậy hệ thống - Phương pháp sử dụng toán học: Sử dụng phương pháp xác suất thống kê, xử lý kết quảvà xây dựng đồ thị trực quan Cấu trúc luận văn Ngoài phần mở đầu kết luận, luận văn gồm có3 chương: Chương 1: KHÁI QUÁT VỀ ĐỘ TIN CẬY HỆ THỐNG VÀ BÀI TỐN DỰ PHỊNG 1.1 Khái niệm độ tin cậy hệ thống 1.2 Bài tốn dự phòng Chúng ta xem xét cấu hình thể cho khả hoạt động khơng có thất bại cấu hình số 10, thể hình 3.5 Số xử lý khơng dự phòng hệ thống mà không bảo vệ chủ động Do đó, xác suất thất bại hệ thống phần p Tính tốn xác suất hoạt động không thất bại cho phần bị bắt lớp AP bao gồm bốn vi xử lý Nguyên tắc linh hoạt AP - tức cách AP xác định lại vi xử lý kiểm soát kiểm soát ưu tiên thấp sử dụng Rõ ràng khả hoạt động khơng có thất bại phần hệ thống Рh tổng xác suất hoạt động bốn vi xử lý (р ) xác suất hoạt động ba số bốn vi xử lý Trong đó: α1AP - phát xác suất thất bại tầng AP xảy Biểu thức cuối biểu thị cho khả hoạt động khơng có thất bại hệ thống với cấu hình số 10 viết sau: Tương tự vậy, biểu thức thể cho khả hoạt động thất bại hệ thống với cấu hình số 11: Giả định α2АP - khả phát xác suất thất bại cho hai cấp AP Hệ thống sau thất bại hai cấp độ AP chuyển thành đơn cấp AP Ngoài ra, giả định đơn cấp AP hệ biến đổi hai cấp AP ban đầu hai cấp AP tạo với việc sử dụng nguyên tắc linh hoạt AP - tức AP xác định lại vi xử lý kiểm soát kiểm soát ưu tiên thấp Cho giả định ký hiệu nhận biểu thức tính xác suất khả hoạt động hệ thống khơng có thất bại với cấu hình số 12, 13 sau: Giả định α3АP - khả phát xác suất thất bại cho ba cấp AP Hệ thống sau thất bại ba cấp độ AP chuyển thành hai cấp AP, thất bại hai cấp độ AP chuyển thành đơn cấp AP Với giả định ký hiệu trên, ta nhận biểu thức tính xác suất khả hoạt động hệ thống khơng có thất bại cấu hình 14-16 sau: Với 3.2.3 Sử dụng kết hợp phương pháp dự phòng truyền thống phương pháp dự phòng bảo vệ tích cực Cấu hình tương ứng với kết hợp xây dựng phương án chịu lỗi hệ thống hiển thị hình 3.6 17 18 19 20 22 21 23 Hình 3.6: Cấu hình hệ thống với AP nhân Cho giả định ký hiệu viết biểu thức tính xác suất khả hoạt động hệ thống khơng có thất bại với cấu hình số 17-23: Với 3.3 Xây dựng chương trình thử nghiệm 3.3.1 Yêu cầu chương trình thử nghiệm Với việc có nhiều phương án dự phòng với số lượng phần tử dự phòng khác chương trình thử nghiệm cần tính độ tin cậy cho phương án dự phòng Ngồi chương trình thể tất kết tính tốn phương án dự phòng thành bảng giúp ta lựa chọn phương án dự phòng tối ưu Chương trình thử nghiệm xây dựng ngơn ngữ C# phù hợp với việc tính tốn dễ dàng lập trình Chương trình gồm có modul: - Mode 1: Tính độ tin cậy hệ thống tương ứng với phương pháp dự phòng lựa chọn số nút dự phòng - Mode 2: Tính tồn kết phương án dự phòng Input Output chương trình: 3.3.2 Một số hình ảnh chương trình - Tính độ tin cậy hệ thống dự phòng truyền thống - Tính độ tin cậy hệ thống dự phòng bảo vệ tích cực - Tính độ tin cậy hệ thống có dự phòng kết hợp 3.4 Nhận xét phương án dự phòng Giá trị xác suất hoạt động khơng có thất bại hệ thống đưa bảng với cấu hình số 1-23 Khi tính tốn xác suất P[i] (i = 23) sử dụng đầu vào sau: thời gian hoạt động phân phối xác suất vi xử lý hệ thống tương ứng với theo cấp số nhân P(t) = exp(-λt); tỷ lệ thất bại λ = 7*10-7 h-1 [2]; α1АP =0,8; α2АP =1-(1- α1АP)2=0,96; α3АP =1-(1α1АP)3= 0,992; α1=0,8; thời gian hoạt động hệ thống - 61.320 (7 năm) Cấu hình năm Số 0.9521 năm 0.9065 năm năm 0.8631 0.8218 năm năm 0.7825 0.7450 năm 0.7094 Số 0.9556 0.9132 0.8726 0.8338 0.7967 0.7612 0.7272 Số 0.9591 0.9199 0.8821 0.8459 0.8111 0.7777 0.7456 Số 0.9626 0.9266 0.8918 0.8582 0.8258 0.7945 0.7644 Số 0.9662 0.9334 0.9015 0.8707 0.8407 0.8117 0.7836 Số 0.9697 0.9402 0.9114 0.8833 0.8560 0.8293 0.8034 Số 0.9733 0.9471 0.9214 0.8962 0.8715 0.8473 0.8236 Số 0.9768 0.9540 0.9314 0.9092 0.8873 0.8657 0.8444 Số 0.9804 0.9610 0.9416 0.9224 0.9034 0.8844 0.8657 Số 10 0.9649 0.9309 0.8978 0.8656 0.8345 0.8042 0.7749 Số 11 0.9732 0.9467 0.9207 0.8950 0.8697 0.8449 0.8205 Số 12 0.9769 0.9541 0.9316 0.9094 0.8876 0.8662 0.8450 Số 13 0.9795 0.9594 0.9395 0.9198 0.9005 0.8814 0.8625 Số 14 0.9805 0.9613 0.9424 0.9237 0.9054 0.8873 0.8696 Số 15 0.9764 0.9524 0.9280 0.9035 0.8788 0.8540 0.8294 Số 16 0.9901 0.9797 0.9686 0.9568 0.9444 0.9313 0.9177 Số 17 0.9757 0.9499 0.9228 0.8948 0.8661 0.8372 0.8080 Số 18 0.9804 0.9610 0.9418 0.9227 0.9037 0.8849 0.8663 Số 19 0.9841 0.9683 0.9527 0.9372 0.9218 0.9066 0.8915 Số 20 0.9793 0.9568 0.9329 0.9078 0.8818 0.8553 0.8284 Số 21 0.9877 0.9751 0.9625 0.9497 0.9368 0.9237 0.9105 Số 22 0.9800 0.9594 0.9382 0.9166 0.8947 0.8725 0.8503 Số 23 0.9938 0.9868 0.9792 0.9707 0.9615 0.9515 0.9408 Phân tích giá trị bảng cho thấy ưu điểm việc sử dụng AP so với dự phòng truyền thống với số vi xử lý cần thiết Với số lượng thiết bị dự phòng mà nhân bản, AP kiểm sốt bao gồm hầu hết phần hệ thống (hoặc phát lỗi nhiều khả năng), làm tăng khả quan sát hệ thống cung cấp gọi phòng ảo - phòng vi xử lý với phần tử dự phòng nâng cao khả kiểm sốt hệ thống Cấu hình số 21 với năm vi xử lý dự phòng, cung cấp khả thất bại hệ thống sau năm: 0,9105 cấu hình hiệu Hình 3.7cho thấy đồ thị xác suất khả hoạt động khơng có thất bại hệ thống với cấu hình số 1, số 16, số 21, số 23 theo thời gian Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống 1.0000 0.9500 0.9000 0.8500 0.8000 0.7500 0.7000 năm năm năm Số năm Số 16 Số 21 năm năm năm Số 23 Hình 3.7:Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống với cấu hình số 1, số 16, số 21, số 23 theo thời gian Xem xét trường hợp nhân ba, nhân bốn cấu hình số 21 hình 3.6 Cấu hình hệ thống với ứng dụng dự phòng ba thể hình 3.8 21 24 25 Hình 3.8: Cấu hình hệ thống với AP nhân dự phòng Biểu thị РТР - xác suất vi xử lý ba trường hợp dự phòng ba; 2- phát xác suất thất bại vi xử lý trường hợp dự phòng ba Chúng tin sau phát thất bại xử lý dự phòng ba chuyển đến trùng lặp với khả phát xác thất bại cặp Cho giả định ký hiệu, tương tự: Biểu cho khả hoạt động khơng có thất bại hệ thống với cấu hình số 24-25 tính sau: Với thơng số đầu vào trên, giá trị xác suất hoạt động thất bại hệ thống với cấu hình số 24-25 sau: Cấu hình năm Số 24 0.9894 năm 0.9785 năm năm 0.9675 0.9563 năm năm 0.9450 0.9335 năm 0.9218 Số 25 0.9853 0.9776 0.9697 0.9616 0.9533 0.9448 0.9928 Hình 3.9 cho thấy đồ thị xác suất hoạt động thất bại hệ thống với cấu hình số 1, số 21, số 24, số 25 Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống 1.0000 0.9500 0.9000 0.8500 0.8000 0.7500 0.7000 năm năm năm Số Số 21 năm Số 24 năm năm năm Số 25 Hình 3.9:Đồ thị xác suất khả hoạt động khơng có thất bại hệ thống với cấu hình số 1, số 21, số 24, số 25 theo thời gian Cấu hình số 16, số 21, số 23, số 24, số 25 cung cấp khả thất bại hệ thống suốt bảy năm hoạt động khơng nhỏ 0,9 Trong đó, khả thất bại hệ thống mà không sử dụng phương pháp để cải thiện độ tin cậy (cấu hình số - hình 3.2) 0,7094 So với cấu hình ban đầu, hệ thống sau dự phòng(cấu hình số 16, số 21, số 23, số 24, số 25) có độ tin cậy tăng từ 28,36% - 33,18% KẾT LUẬN Sau thời gian tìm hiểu, nghiên cứu tài liệu hoàn thành luận văn phương pháp phân tích tổng hợp tài liệu, luận văn đưa sở lý thuyết chung độ tin cậy, số phương pháp dự phòng nâng cao độ tin cậy hệ thống ứng dụng Luận văn thực tất nội dung đạt mục tiêu đề đề cương duyệt Các kết đạt bao gồm: - Tìm hiểu, nghiên cứu lý thuyết độ tin cậy: khái niệm, vai trò độ tin cậy bước tính tốn độ tin cậy hệ thống; - Tìm hiểu, nghiên cứu phương pháp dự phòng nhằm tăng độ tin cậy cho hệ thống: phương pháp dự phòng truyền thống (nóng, lạnh, chập ba), phương pháp dự phòng bảo vệ tích cực đưa quy trình đảm bảo độ tin cậy hệ thống phương pháp dự phòng; - Thử nghiệm phương pháp dự phòng nâng cao độ tin cậy hệ thống máy tính ngân hàng: + Lần lượt áp dụng phương pháp dự phòng truyền thống, tích cực vào mơ hình máy tính phân cấp khơng an tồn đưa kết so sánh phương pháp dự phòng với + Xây dựng chương trình thử nghiệm tính tốn độ tin cậy hệ thống có dự phòng + Từ kết độ tin cậy hệ thống, đưa phương pháp cải tiến sử dụng kết hợp phương pháp dự phòng truyền thống với dự phòng bảo vệ tích cực đạt kết tốt Mặc dù em có nhiều nỗ lực nghiên cứu thực đề tài, thời gian trình độ có hạn, chắn luận văn khơng tránh khỏi nhiều thiếu sót Em hy vọng việc áp dụng phương pháp dự phòng nhằm nâng cao độ tin cậy hệ thống tính tốn đề tài tiếp tục nhận nhiều quan tâm nghiên cứu phát triển mạnh mẽ thời gian tới./ DANH MỤCCƠNG TRÌNH KHOA HỌC LIÊN QUAN ĐẾN LUẬN VĂN [1] Lê Quang Minh, Triệu Xuân Hòa, Trần Thanh Thương (09/2014), “Phát triển phương pháp dự phòng nâng cao độ tin cậy hệ thống”, Tạp chí KH&CN Đại học Thái Nguyên, tập 122, số 08/2014, tr 59-66 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Đỗ Đức Giáo (2008), Toán rời rạc, Nhà xuất Đại học Quốc gia Hà Nội, tr.492-495, 496-498 [2] Trần Diên Hiển, Vũ Viết Yên (2005), Nhập môn lý thuyết xác suất thống kê toán, Nhà xuất Đại học Sư phạm, Hà Nội, tr16, 31 [3] Phạm Thị Thanh Hồng, Phạm Minh Tuấn (2006), Hệ thống thông tin quản lý, Nhà xuất Khoa học kỹ thuật Hà Nội, tr.23, 24 [4] Phan Văn Khôi (2001), Cơ sở đánh giá độ tin cậy, Nhà xuất Khoa học Kỹ thuật, tr9, tr13, tr33-37, tr180-185, tr188-196 [5] Lê Quang Minh, Lê Khánh Dương, Phạm Anh Khiêm (06/2014), “Đảm bảo độ tin cậy hệ thống phương pháp dự phòng truyền thống dự phòng bảo vệ tích cực”, báo cáo tham dự Hội nghị Nghiên cứu ứng dụng công nghệ thông tin (FAIR) 2014 [6] Nguyễn Duy Việt (4/2011), “Tính độ tin cậy hệ thống khơng phục hồi”, tạp chí Khoa học Giao thông Vận tải, tr2-4 [7] Lê Thị Hải Yến (2012), Các phương pháp đánh giá độ tin cậy hệ thống tính tốn qua cấu trúc hệ thống, Luận văn Thạc sĩ Công nghệ phần mềm, Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội Tiếng Anh [8] Carlo Kopp (1996), System Reliability and metrics of Reliability, Peter Harding & Associates Pty Ltd, pp.5-7, 8,9 [9] Mahesh Pandey, Mikko Jyrkama (2008), System Reliability Analysis,University of Waterloo, pp.2-5, 23 Tiếng Nga [10] LeQuangMinh (2007), “Анализ методов обеспечения отказоустойчивости и живучести вычислительных систем”, Естественные науки и технологии- №5 (Phântíchcácphươngphápbảo đảm độtincậyvà độhoạt độngcủahệthốngtínhtốn, Tạpchí “Khoahọctựnhiênvà cơngnghệ”, số – 2007) [11] LeQuangMinh (2007),“Анализ эффективности применения методов повышения отказоустойчивости ИВС реального времени”, Микроэлектроники и информатики, Тез докл Всероссийской конференции (Phântíchhiệuquảcủaviệcứngdụngcácphươngphápnângcao độtincậychohệthốngthờigianthựccó cấutrúcdạngcây Hội thảo khoa học tồn LB Nga, Mátxcơva) [12] Le Quang Minh, Романовский А.С., к.т.н., доц, (2007) “ОЦЕНКА ЭФФЕКТИВНОСТИ ПРИМЕНЕНИЯ МЕТОДОВ АКТИВНОЙ ЗАЩИТЫ ОТ ОТКАЗОВ В ИЕРАРХИЧЕСКИХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ” (Đánh giá hiệu phương pháp dự phòng bảo vệ hệ thống máy tính phân cấp) ... độ tin cậy hệ thống, phương pháp tính độ tin cậycủa hệ thống tính tốn - Các phương pháp dự phòng nâng cao độ tin cậy hệ thống tính tốn; - Ứng dụng phương pháp dự phòng để nâng cao độ tin cậy hệ. .. VỀ ĐỘ TIN CẬY HỆ THỐNG VÀ BÀI TỐN DỰ PHỊNG 1.1 Khái niệm độ tin cậy hệ thống 1.2 Bài toán dự phòng Chương 2: NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG TÍNH TỐN 2.1 Các bước tính tốn độ tin cậy hệ thống. .. Tính độ tin cậy hệ thống có dự phòng 2.3 Đảm bảo độ tin cậy hệ thống Chương 3:THỬ NGHIỆM NÂNG CAO ĐỘ TIN CẬY CỦA HỆ THỐNG MÁY CHỦ NGÂN HÀNG 3.1 Bài tốn 3.2 Sử dụng phương pháp dự phòng nâng cao