THE MODELS OF DIGITAL COMPONENTS CHECKABILITY IN SAFETY-RELATED SYSTEMS
DOI:
https://doi.org/10.15673/0453-8307.3/2014.32577Keywords:
Safety-critical computer systems – Digital components – Hidden faults – Models of checkability – Potentially hazardous points.Abstract
The problem of the hidden faults for which fault tolerant structure of the digital components does not guarantee function safety of the safety-critical systems is considered. The structural, functional and dual-modes models of checkability for the digital components are offered. The different ways for solving the problem by these models are determined. The expedience in use of the dual-modes model which opens the way for the methods of leveling of the checkability in normal and emergency modes and also detection and elimination of the potentially hazardous points in the digital components is shown.
References
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.
