%0 Conference Paper
%A Nguyen, Hanh Phuc
%A Truong, Ninh Thuan
%B SW4PHD: the 2016 Scientific Workshop for PhD Students
%C Hanoi
%D 2016
%F SisLab:1531
%T Mô hình hóa và kiểm chứng các hệ thống thứ lỗi và cân bằng tải
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1531/
%X Trong thiết kế nói chung, tùy thuộc vào mức độ quan trọng, tính chất sống còn của hệ thống đòi hỏi người thiết kế phải đảm bảo tính liên tục trong hoạt động của hệ thống. Ví dụ như hệ thống điều khiển bay, hệ thống cơ sở dữ liệu của các ngân hàng,…Hệ thống thứ lỗi (fault tolerance systems) là khả năng đảm bảo cho hệ thống tiếp tục thực hiện các chức năng của mình khi một phần của hệ thống gặp sự cố. Nói cách khác, hệ thống có thể cung cấp các dịch vụ trong khi vẫn tồn tại lỗi. Nghiên cứu trình bày một phương pháp để mô hình hóa và kiểm chứng tính chất của hệ thống chịu lỗi và cân bằng tải. Bên cạnh đó việc xây dựng và thử nghiệm công cụ kiểm chứng tính chất của hệ thống chịu lỗi và cân bằng tải cũng sẽ được giới thiệu.