Надежность технических средств

Ushbu kitob kompyuter tizimlarining ishonchliligini tahlil qilish va baholashning turli usullarini, shu jumladan ehtimollik usullari, differentsial tenglamalar va testlash usullarini o'rganadi. Unda kombinatsion sxemalar uchun testlarni ishlab chiqish, xatolarni aniqlash va tuzatish bo'yicha amaliy ko'rsatmalar berilgan. Laboratoriya ishlari misollar va amaliy topshiriqlarni o'z ichiga oladi.

Asosiy mavzular

Ishonchlilikni baholashning ehtimollik usullari: Ushbu mavzu tizimlarning ishonchliligini baholash uchun mantiqiy-ehtimollik usullaridan foydalanishni o'z ichiga oladi, tizim komponentlarining ishonchliligini tahlil qilish va tizimning umumiy ishonchlilik ko'rsatkichlarini hisoblash.
Differentsial tenglamalar yordamida ishonchlilikni tahlil qilish: Differentsial tenglamalar yordamida kompyuter tizimlarining ishonchliligini modellashtirish, tizim holatlarini aniqlash va ishonchlilik parametrlarini baholash.
Kombinatsion sxemalarni testlash: Kombinatsion sxemalar uchun testlarni ishlab chiqish va diagnostika qilishning turli usullari, shu jumladan D-algoritmi va Boolean hosila usuli.
Xatolarni aniqlash va tuzatish: Tizimlarda xatolarni aniqlash va tuzatish usullari, jumladan, ekvivalent normal shakl (ЭНФ) usuli yordamida testlarni yaratish.