МОДЕЛІ КОНТРОЛЕПРИДАТНОСТІ ЦИФРОВИХ КОМПОНЕНТІВ В СИСТЕМАХ КРИТИЧНОГО ЗАСТОСУВАННЯ
DOI:
https://doi.org/10.15673/0453-8307.3/2014.32577Ключові слова:
Комп’ютерні системи критичного застосування – Цифрові компоненти – Приховані несправності – Моделі контролепридатності – Потенційно небезпечні точки.Анотація
Розглянуто проблему прихованих несправностей, за якою відмовостійке побудування цифрових компонентів не гарантує функціональної безпеки систем критичного застосування. Запропоновано структурну, функціональну та двохрежимну моделі контролепридатності для цифрових компонентів. За цими моделями визначаються різні шляхи для вирішення проблеми. Показана доцільність використання двохрежимної моделі, що відкриває шлях для методів вирівнювання контролепридатності нормального та аварійного режимів, а також виявлення та усунення потенційно небезпечних точок цифрових компонентів.
Посилання
REFERENCES
Safety of Critical Infrastructures: Mathematical and Engineering Methods of Analysis and Ensuring / Pod red. Kharchenko V. S. – Ministerstvo obrasovanija i nauki Ukraini, Nationalniy aerokosmixheskiy universitet im. N. E. Zhukovskogo «KhAI», 2011. – 641 p.
2.Yastrebenetsky M. A. (edit.). Safety of Nuclear Power Plants Instrumentation and Control Systems / M. A. Yastrebenetsky. –Ukraine, Кyiv: Теchnika, 2004. – 472 p.
3.Bachmach E. S., Herasimenko A. D., Golovir V. A. i dr. Otkazobezopasnie informacionno-upravlajushchie sistemi na programmiruemoy logike / Pod red. Kharchenko V. S. i Sklara V. V. – Nationalniy aerokosmixheskiy universitet «KhAI», Nauchno-proizvodstvennoe predprijatie «Radiy», 2008. – 380 p.
4.Sulima J. J. Analiz rizikiv pri testovomu diagnostuvanni cifrovich komponentiv system kritichnogo zastosuvannja / J. J. Sulima, J. B. Shugaylo, O. V. Drozd // Holodilna tehnika і tehnologija. – 2011. – № 1. – P. 77 – 79.
5.Shcherbakov N. S. Dostovernost raboti cifrovih ustroystv / N. S. Shcherbakov. – M.: Mashinostroenie, 1989. – 224 p.
6.Bennets, R. G. Proektirovanie testoprigodnih logicheskih shem / R. G. Bennets. – M.: Radio i svjaz, 1995. – 180 p.
7.Drozd A. Checkability of the digital components in safety-critical systems: problems and solutions / A. Drozd, V. Kharchenko, S. Antoshchuk, J. Sulima, M. Drozd // Proc. IEEE East-West Design & Test Symposium. – Sevastopol, Ukraine, 9 – 12 Sept. – P. 411 – 416, 2011. doi: 10.1109/ewdts.2011.6116606
8.Sulima J. J. Ozinka ta metod pidvishchennja kontrolepridatnosti cifrovih komponentov v sistemah kritichnogo zastosuvannja / J. J. Sulima, O. V. Drozd // Holodilna tehnika і tehnologija. – 2011. – № 1. – P. 90-92.
Rabochee diagnostirovanie bezopasnih informacionno-upravljaushchih system / Pod red. Drozda A. V. i Kharchenko V. S. –Kharkov: Nationalniy aerokosmixheskiy universitet im. N. E. Zhukovskogo «KhAI», 2012. – 614 p.
