VNU-UET Repository

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

Nguyen, Hanh Phuc and Truong, Ninh Thuan (2016) 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. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

[img] PDF
Download (203kB)

Abstract

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.

Item Type: Conference or Workshop Item (Poster)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Dr Ngoc Thang Bui
Date Deposited: 23 May 2016 05:20
Last Modified: 23 May 2016 05:21
URI: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1531

Actions (login required)

View Item View Item