ПОБУДОВА РІВНОМІРНОГО НАДЛИШКОВОГО КОДУ ДЛЯ СИНТЕЗУ САМОКОНТРОЛЬОВАНИХ ПРИСТРОЇВ НА ОСНОВІ ДАНИХ ПРО ЇХ СТРУКТУРИ

Д.В. Єфанов

Èlektron. model. 2022, 44(1):43-53

https://doi.org/10.15407/emodel.44.01.043

АНОТАЦІЯ

Розглянуто задачу организації контролю комбінаційних пристроїв автоматики та об­числювальної техніки з використанням надлишкового кодування. На відміну від відомих подходів запропоновано спосіб формування рівномірного розділюваного коду з враху­ванням особливостей структури вихідного комбінаційного прострою. Цей спосіб дає змогу використовувати у коді, який будується, інформацію про можливі помилки на виходах схеми та враховувати їх при синтезі схеми контролю. На етапі постановки за­дачі визначається модель несправностей, яка відповідає коду, що будується, з вияв­лен­ням всіх (або частини) помилок на виходах схеми. На відміну від відомого над­лишкового коду для організації контролю комбінаційних пристроїв запропонований спосіб доз­воляє враховувати індівідуальні властивості їх структур. Застосування такого підходу при організації самоконтрольованих комбінаційних пристроїв з незмінною структурою розширює число способів їх побудови порівняно з відомими раніше.

КЛЮЧОВІ СЛОВА:

самоконтрольований комбінаційний пристрій, рівномірний розділюваний двоїчний код, виявлення помилок на виходах комбінаційних пристроїв, побудова коду «під схему», структурна надлишковість самоконтрольованого пристрою.

СПИСОК ЛІТЕРАТУРИ

1. Sogomonyan, E.S. and Slabakov, E.V. (1989), Samoproverjaemyje ustrojstva i otkazo­ustojchivyje sistemy [Self-checking devices and fault-tolerant systems], Radio i Svjaz`, Moscow, USSR.
2. Piestrak, S.J. (1995), Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Oficyna Wydawnicza Politechniki Wrocłavskiej, Wrocław, Poland.
3. Lala, P.K. (2001), Self-Checking and Fault-Tolerant Digital Design, Morgan Kaufmann Publishers, San Francisco, USA.
4. Göessel, M., Ocheretny, V., Sogomonyan, E. and Marienfeld, D. (2008), New Methods of Concurrent Checking: Edition 1, Springer Science+Business Media B.V., Dordrecht,
5. Drozd, A.V., Kharchenko, V.S. and Antoshchuk, S.G. (2012), Rabochee diagnostirovanie bezopasnykh informatsionno-upravljayustchikh sistem [Objects and Methods of On-Line Testing for Safe Instrumentation and Control Systems], National Aerospace University "KhAI", Kharkov, Ukraine.
6. Sapozhnikov, V.V., Sapozhnikov, Vl.V. and Efanov, D.V. (2020), Kody s summirovaniem dlya sistem tekhnicheskogo diagnostirovaniya. Tom 1: Klassicheskie kody Bergera i ih modifikacii [Sum Codes for Technical Diagnostics Systems. Volume 1: Classical Ber­ger Codes and Their Modifications], Nauka, Moscow, Russia.
7. Sapozhnikov, V.V., Sapozhnikov, Vl.V. and Efanov, D.V. (2021), Kody s summirovaniem dlya sistem tekhnicheskogo diagnostirovaniya. Tom 2: Vzveshennyje kody s summirovanijem [Sum Codes for Technical Diagnostics Systems. Volume 2: Weight-Based Sum Codes], Nauka, Moscow, Russia.
8. Sapozhnikov V.V., Sapozhnikov Vl.V. and Efanov D.V. (2015), “Klassifikatsija oshibok v informatsionnykh vektorakh sistematicheskikh kodov”, Izvestiya Vysshikh Uchebnykh Zavedeniy. Priborostroenie, Vol. 58, no. 5, pp. 333—343, DOI: 10.17586/0021-3454-2015-58-5-333-343.
9. Berger, J.M. (1961), “А Note on Error Detecting Codes for Asymmetric Channels”, Information and Control, Vol. 4, no. 1, рp. 68—73, DOI: 10.1016/S0019-9958(61) 80037-5.
10. Freiman, C.V. (1962), “Optimal Error Detection Codes for Completely Asymmetric Binary Channels”, Information and Control, Vol. 5, no. 1, pp. 64—71, DOI: 1016/S0019-9958(62)90223-1.
11. Efanov, D.V., Sapozhnikov, V.V, and Sapozhnikov, Vl.V. (2017), “Usloviya obnaru­zheniya neispravnosti logicheskogo ehlementa v kombinacionnom ustrojstve pri funkcio­nal'nom kontrole na osnove koda Bergera”, Avtomatika i telemekhanika, Vol. 5, pp. 152—165.
12. Sapozhnikov V.V., Sapozhnikov Vl.V. and Efanov D.V. (2020), “Obnaruzhenie neisprav­nostej v kombinacionnyh logicheskih skhemah na osnove ih kontrolya po gruppam simmetrichno nezavisimyh vyhodov”, Electronnoje Modelirovanije, Vol. 42, no. 2, pp. 3—23, DOI: 10.15407/emodel.42.02.003.
13. Efanov, D.V., Sapozhnikov, V.V. and Sapozhnikov, Vl.V. (2020), “Organization of a Fully Self-Checking Structure of a Combinational Device Based on Searching for Groups of Symmetrically Independent Outputs”, Automatic Control and Computer Sciences, Vol. 54, no. 4, рp. 279—290, DOI: 10.3103/S0146411620040045.
14. Efanov, D., Sapozhnikov, Vl., Sapozhnikov, V. and Plotnikov, D. (2018), “The Evaluation of Error Detection Probability at the Outputs of Combinational Circuits Under Concurrent Error Detection on the Basis of Summation Codes”, Proceedings of 16th IEEE East-West Design & Test Symposium (EWDTS’2018), Kazan, Russia, September 14-17, 2018, pp. 154—158, DOI: 1109/EWDTS.2018.8524735.
15. Zakrevskij, A., Pottosin, Yu. and Cheremisinova, L. (2009), Optimization in Boolean Space, TUT Press, Tallinn, Estonia.
16. Gessel M., Morozov A.A., Sapozhnikov V.V. and Sapozhnikov Vl.V. (1997), “Issledovanie kombinacionnyh samoproveryaemyh ustrojstv s nezavisimymi i monotonno nezavisimymi vyhodami”, Avtomatika i telemechanika, Vol. 2, pp. 180—193.
17. Efanov D.V., Sapozhnikov V.V. and Sapozhnikov Vl.V. (2018), “Sintez samoproveryaemyh kombinacionnyh ustrojstv na osnove vydeleniya special'nyh grupp vyhodov”, Avto­matika i telemekhanika, Vol. 9, pp. 79—94.
18. Sapozhnikov, V.V., Morosov, A., Sapozhnikov,Vl.V. and Göessel, M. (1998), “A New Design Method for Self-Checking Unidirectional Combinational Circuits”, Journal of Electronic Testing: Theory and Applications, Vol. 12, no. 1-2, рp. 41—53, DOI: 10.1023/ A:1008257118423.
19. Morosow, A, Sapozhnikov, V.V., Sapozhnikov, Vl.V. and Goessel, M. (1998), “Self-Checking Combinational Circuits with Unidirectionally Independent Outputs”, VLSI Design, Vol. 5, no. 4, рp. 333—345, DOI: 10.1155/1998/20389.

Повний текст: PDF