TY  - CONF
ID  - SisLab1531
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1531/
A1  - Nguyen, Hanh Phuc
A1  - Truong, Ninh Thuan
Y1  - 2016/03/26/
N2  - 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.
TI  - 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
M2  - Hanoi
AV  - public
T2  - SW4PHD: the 2016 Scientific Workshop for PhD Students
ER  -