eprintid: 1531
rev_number: 8
eprint_status: archive
userid: 243
dir: disk0/00/00/15/31
datestamp: 2016-05-23 05:20:43
lastmod: 2016-05-23 05:21:36
status_changed: 2016-05-23 05:20:43
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Hanh Phuc
creators_name: Truong, Ninh Thuan
creators_id: thuantn@vnu.edu.vn
title: 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
ispublished: pub
subjects: IT
divisions: fac_fit
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.
date: 2016-03-26
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: FALSE
citation:   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.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1531/1/Nguyen%20Hanh%20Phuc-poster_2016_03.pdf