Refrigeration Engineering and Technology

ISSN-print: 0453-8307
ISSN-online: 2409-6792
ISO: 26324:2012
Архiви

Повышение достоверности контроля цифровых компонентов в системах критического применения

##plugins.themes.bootstrap3.article.main##

А. В. Дрозд
М. М. Аль-Даби
М. А. Дрозд
И. Н. Николенко

Анотація

Рассмотрены возможности повышения достоверности методов рабочего диагностирования в контроле результатов, вычисляемых в цифровых компонентах информационных управляющих систем критического применения, широко используемых в энергетике, включая криогенные приложения. Предложен подход к повышению достоверности контроля результатов на основе различения существенных и несущественных ошибок, вызываемых в приближенном результате неисправностями цифровых схем с повышенной функциональной контролепригодностью. Для операций умножения и деления мантисс предложены модели результата, являющиеся его верхней и нижней границами. На множестве моделей результата определены и оценены методы контроля по неравенствам, обеспечивающие различение существенных и несущественных ошибок для матричных умножителей и делителей с функциональной контролепригодностью, повышенной сокращением матричных структур.
Ключові слова:
Для цієї мови відсутні ключові слова

##plugins.themes.bootstrap3.article.details##

Як цитувати
Дрозд, А. В., Аль-Даби, М. М., Дрозд, М. А., & Николенко, И. Н. (2017). Повышение достоверности контроля цифровых компонентов в системах критического применения. Refrigeration Engineering and Technology, 53(3). https://doi.org/10.15673/ret.v53i3.702
Розділ
АВТОМАТИКА, КОМП’ЮТЕРНІ ТА ТЕЛЕКОМУНІКАЦІЙНІ ТЕХНОЛОГІЇ

Посилання

1. Kharchenko, V. S., Sklyar, V. V. (edits). (2008) FPGA-based NPP I&C Systems: Development and Safety Assessment. Ukraine: RPC Radiy, National Aerospace University “KhAI”, SSTC on Nuclear and Radiation Safety, 188 p.

2. Nicolaidis, M., Zorian, Y. (1998). On-Line Testing for VLSI – a Compendium of Approaches. Electronic Testing: Theory and Application (JETTA). Journal of Electronic Testing: Theory and Applications. vol. 12, pp. 7-20. Doi: https://doi.org/10.1007/978-1-4757-6069-9_1

3. Drozd, A., Lobachev, M., Drozd, J. (2006). The problem of on-line testing methods in approximate data processing. Proceedings of 12th IEEE International On-Line Testing Symposium. Como, Italy, pp. 251-256. Doi: https://doi.org/10.1109/iolts.2006.61

4. Drozd, A., Antoshchuk, S. (2011). New on-line testing methods for approximate data processing in the computing circuits. Proceedings of IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Prague, Czech Republic, pp. 15-17. Doi: https://doi.org/10.1109/idaacs.2011.6072759

5. Drozd, M., Drozd, A. (2014). Safety-Related Instrumentation and Control Systems and a Problem of the Hid-den Faults. Proceedings of the 10th International Conference on Digital Technologies (DT’2014). – Zhilina, Slovak Republic, P. 137-140. Doi: https://doi.org/10.1109/dt.2014.6868692

6. Drozd, J., Drozd, A., Antoshchuk, S., Kushnerov, A., Nikul, V. (2015). Effectiveness of Matrix and Pipeline FPGA-Based Arithmetic Components of Safety-Related Systems. Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Warsaw, Poland, pp. 785-789. Doi: https://doi.org/10.1109/idaacs.2015.7341410

7. Drozd, J., Drozd, A., Antoshchuk, S. (2017). Green IT engineering in the view of resource-based approach. In book: Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, V. Kharchenko, Y. Kondratenko, J. Kacprzyk (Eds.), vol. 74. Berlin, Heidelberg: Springer International Publishing, pp. 43–65. Doi: https://doi.org/10.1007/978-3-319-44162-7_3

8. ANSI/IEEE Std 754-1985. (1985). IEEE Standard for Binary Floating-Point Arithmetic.

9. IEEE Std 754™-2008 (Revision of IEEE Std 754-1985) IEEE Standard for Floating-Point Arithmetic. (2008). IEEE 3 Park Avenue New York, NY 10016–5997, USA.

Найчастіше прочитані статті того самого автора (ів)