Zamonaviy elektron qurilmalar ishonchliligini oshirish va ta’minlash usullari

Qurilmalar darajasidagi zaxiralash. Universal EXMlarda struktura tuzilmalarini nisbatan past darajalarida zaxiralash periferiy qurilmalar darajasida (P.Q.) uchraydi. Masalani yechush uchun P.L ni Ba’zi – bir kichik soni kerak bo‘ladi.
Kodlar darajasida zaxiralash. EXM larda oayerativ yozuvchi ыurilma va xisoblab yozuvchi qurilmalarni ishonchliligini oshirish uchun, xatolarni topuvchi va to‘g‘rilovchi kodlar qo‘llaniladi. Bu kodlarni qo‘llash maьlumotlar uzatuvchi kanallardagi xatolarni maьlum bir sonlarini to‘g‘rilash sharoitini beradi . Bunday qurilmalar ish-gi sirpanuvchi zaxirali zaxira sistemalarini ish-gi sifatida baxolaniladi.
Maxsus boshqaruvchi EXMlarda zaxiralash. Maxsus ayniqsa boshqaruvchi EXMlarda zaxiralash ancha keng qo‘llaniladi (bunday sistemalarda ishonchlilikka talablar yuqori bo‘lganligi tufayli). Bir nechta zaxira EXMlar qo‘llaniluvchi sistemalar ham uchraydi. Ishonchlilikni oshirish maqsadida ularning bar qismi yuklangan zaxara rejimida, bir qismi esa yuklanmagan zaxara rejimida ishlashi mumkin.
Ammo EXM darajasidagi zaxiralash iqtisodiy tomonidan qulay emas. X.S.larida og‘irligi, narxi va o‘lchamlarini chegaralashda imkonni oshirish uchun EXM ni aloxida qurilmalari qo‘llaniladi. Qurilmani yeng zarur qismlarini ish - gini oshirish uchun uchlash yoki mantiq qo‘llanaladi.
X.S. dagi zaxiralagshning barcha ko‘rib chiqilgan usullari passiv zaxiralashga kiradi.
1. Dasturiy ta’minoti ishonchliligi asosiy tushunchalari.

Xisoblash apparaturasini ishi ishonchliligini dasturiy ta’minlash bilan birgalikda, hisoblash jarayon shonchliligi sifatida ko‘rish kerak.

Dasturiy ta’minlash ishonchliligi deganda ma’lum ish sharoitlarida, o‘rnatilgan chegalarda o‘zlarini xarakatlarini saqlash, berilgan funksiyalarini bajarish dastur xususiyati tushuniladi.
Dasturiy ta’minot (DT) ishonchliligi buzilmasligi va tiklanuvchanligi bilan aniqlanadi.
Dasturni buzilmasligi yoki DT – EXM da ma’lumotlarni qayta ishlash jarayonida ishga layoqatlilik xususiyatlarini saqlashishi tushuniladi.
DT buzilmasligi uni kuzatishning berilgan vaqt mobaynida, aniq tashqi muxit sharoitlarida buzilmay ishlashi.
Ishonchlilik nuqtai nazaridan DT ni apparaturadan prinsipial farqi, ular eskirmaydilar va buzilishlar sababli ishdan chiqmaydilar.
DT buzilmasligi to‘g‘riligi bilan aniqlanadi: uni barpo qilish etaplaridan kiritilgan borligiga bog‘liq.
Qurilmadagi va DT buzilishlarni kelib chiqish mexanizmi bir – biridan farq qiladi. Qurilmadagi buzilish qurilmadagi elementlar ishdan chiqishiga asoslangan. DT dagi buzilish, quyilgan masalalarga. DT ni mos emasligiga asoslangan. Dasturni korrektligi ni spesifikasiyaga mosligi.