Bosh sahifa > Ko'rgazma > Kontent

O'rnatilgan tizimning ishonchliligi

Mar 08, 2019

Ichki o'rnatilgan tizimlar ko'p hollarda ko'p yillar mobaynida xatosiz ishlaydigan mashinalarda yashaydi va ayrim holatlarda xato yuz berganda o'z-o'zidan tuzalib ketadi. Shuning uchun dasturiy ta'minot odatda shaxsiy kompyuterlar uchun ishlab chiqilgan va sinchkovlik bilan sinab ko'riladi va disk drayvlari, kalitlarga yoki tugmalar kabi ishonchsiz mexanik harakatlanuvchi qismlarga yo'l qo'yilmaydi.


Muayyan ishonchlilik masalalari quyidagilarni o'z ichiga olishi mumkin:


Tizim tuzatish uchun ishonchli tarzda o'chirib qo'yilmaydi, yoki ta'mirlash uchun juda ham qulaydir. Masalan, kosmik tizimlar, dengiz osti kabellari, navigatsion beakonlar, quduqli teshik tizimlari va avtomobillarni o'z ichiga oladi.

Tizim xavfsizligi uchun harakat qilish kerak. "Limp rejimlari" kamroq toqat mumkin. Ko'pincha zaxiralashlar operator tomonidan tanlanadi. Masalan, samolyotlarni boshqarish, reaktorni nazorat qilish tizimlari, xavfsizlikning muhim kimyoviy zavod nazorati, poezd signallari.

Tizim yopilganda katta miqdorda pul yo'qotadi: telefon kalitlari, zavod nazorati, ko'prik va lift boshqaruvlari, pul o'tkazish va bozorlarni sotish, avtomatlashtirilgan savdo va xizmat ko'rsatish.

Ba'zida xatolardan tuzatish uchun turli usullar qo'llaniladi - xotira sızması kabi dasturiy ta'minot xatolar, hamda apparatdagi yumshoq xatolar:


dasturiy ta'minot muntazam ravishda "watchdog" quyi tizimlarini keraksiz zaxiralar bilan muntazam ravishda xabardor qilmaguncha, kompyuterni qayta tiklashni kuzatuvchi taymer, qisman funktsiyani

Ishonchli hisoblash bazasi (TCB) bilan loyihalash me'morchiligi juda xavfsiz va ishonchli tizim muhitini ta'minlaydi

Katta tizimlar uchun mo'ljallangan hipervisor har qanday quyi tizim komponenti uchun xavfsiz encapsulationni ta'minlab berishi mumkin, shuning uchun komprometatsiya qilingan dastur komponenti boshqa quyi tizimlarga yoki imtiyozli tizim dasturlariga aralasha olmaydi. Ushbu inkassulyatsiya kamchiliklarni bir kichik tizimdan boshqasiga tarqatishdan saqlaydi, shu bilan ishonchliligini oshiradi. Shu bilan birga, kichik tizimni avtomatik tarzda o'chirib qo'yishi va xatolarni aniqlashda qayta ishga tushishi mumkin.

Immunitetli dasturiy ta'minot