@inproceedings{SisLab1531,
       booktitle = {SW4PHD: the 2016 Scientific Workshop for PhD Students},
           month = {March},
           title = {M{\^o} h{\`i}nh h{\'o}a v{\`a} ki?m ch?ng c{\'a}c h? th?ng th? l?i v{\`a} c{\^a}n b?ng t{\h a}i},
          author = {Hanh Phuc Nguyen and Ninh Thuan Truong},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1531/},
        abstract = {Trong thi?t k? n{\'o}i chung, t{\`u}y thu?c v{\`a}o m?c {\dj}? quan tr{\d o}ng, t{\'i}nh ch?t s?ng c{\`o}n c{\h u}a h? th?ng {\dj}{\`o}i h{\h o}i ng??i thi?t k? ph{\h a}i {\dj}{\h a}m b{\h a}o t{\'i}nh li{\^e}n t{\d u}c trong ho{\d a}t {\dj}?ng c{\h u}a h? th?ng. V{\'i} d{\d u} nh? h? th?ng {\dj}i?u khi?n bay, h? th?ng c? s? d? li?u c{\h u}a c{\'a}c ng{\^a}n h{\`a}ng,?H? th?ng th? l?i (fault tolerance systems) l{\`a} kh{\h a} n{\u a}ng {\dj}{\h a}m b{\h a}o cho h? th?ng ti?p t{\d u}c th?c hi?n c{\'a}c ch?c n{\u a}ng c{\h u}a m{\`i}nh khi m?t ph?n c{\h u}a h? th?ng g?p s? c?. N{\'o}i c{\'a}ch kh{\'a}c, h? th?ng c{\'o} th? cung c?p c{\'a}c d{\d i}ch v{\d u} trong khi v?n t?n t{\d a}i l?i. Nghi{\^e}n c?u tr{\`i}nh b{\`a}y m?t ph??ng ph{\'a}p {\dj}? m{\^o} h{\`i}nh h{\'o}a v{\`a} ki?m ch?ng t{\'i}nh ch?t c{\h u}a h? th?ng ch{\d i}u l?i v{\`a} c{\^a}n b?ng t{\h a}i. B{\^e}n c{\d a}nh {\dj}{\'o} vi?c x{\^a}y d?ng v{\`a} th? nghi?m c{\^o}ng c{\d u} ki?m ch?ng t{\'i}nh ch?t c{\h u}a h? th?ng ch{\d i}u l?i v{\`a} c{\^a}n b?ng t{\h a}i c{\~u}ng s{\~e} {\dj}??c gi?i thi?u.}
}