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

Ushbu kitobda hisoblash texnikasi tizimlarining ishonchliligi, nosozliklarni aniqlash va ularni bartaraf etish usullari, kombinatsion sxemalarni testlash, bulev funksiyalari, ekvivalent normal shakllar (ENF) kabi mavzular yoritilgan. Kitobda laboratoriya mashg'ulotlari uchun metodik ko'rsatmalar berilgan.

Asosiy mavzular

• Ishonchlilikni baholash: Tizimlarning ishonchliligini baholashning turli usullari, jumladan, mantiqiy-ehtimollik usullari va ularning qo'llanilishi ko'rib chiqiladi.
• Mikrokompyuter ishonchliligini tahlil qilish: Mikrokompyuterlarning ishonchliligini differensial tenglamalar yordamida tahlil qilish va baholash usullari o'rganiladi.
• Vaqt intervallari bo'yicha tizim xatti-harakatini modellashtirish: Tizimning vaqt intervallari bo'yicha xatti-harakatini modellashtirish usullari, ishonchliligi ko'rsatkichlarini hisoblash algoritmlari keltirilgan.
• Kombinatsion sxemalarni testlash: Kombinatsion sxemalarni testlash usullari, D-algoritmi va uning qo'llanilishi batafsil yoritilgan.
• Bulev hosilasi yordamida testlarni yaratish: Raqamli sxemalar uchun testlarni bulev hosilasi usuli yordamida yaratish texnikasi, nosozliklarni aniqlash shartlari bayon etilgan.
• Haqiqat jadvali usuli bilan test sintezi: Haqiqat jadvali usuli yordamida test sintezi, ekvivalent nosozlik sinflarini aniqlash va minimal testlarni yaratish usullari ko'rsatilgan.
• Ekvivalent normal shakl (ENF) yordamida nosozliklarni aniqlash: ENF usuli yordamida nosozliklarni aniqlash va nazorat qilish, testlarni yaratish bosqichlari yoritilgan.