Uniform redundant codes formation principles for the self-checking combinational devices synthesis based on structures data
- Authors: Efanov D.V.1,2,3
-
Affiliations:
- Peter the Great St. Petersburg Polytechnic University
- Russian University of Transport
- LLC Research and Desing Institute for Transport and Construction Safety
- Issue: Vol 28, No 9 (2022)
- Pages: 489-496
- Section: Digital processing of signals and images
- Published: 12.09.2022
- URL: https://journals.eco-vector.com/1684-6400/article/view/702593
- DOI: https://doi.org/10.17587/it.28.489-496
- ID: 702593
Cite item
Full Text
Abstract
The organizing task of the automation and computer technology combinational devices testing with the diagnostic tools synthesized using redundant coding is considered. In comparison with known approaches that involve the use of binary uniform codes, this article proposes a method for building a uniform separable code. The proposed code considers the combinational device structural features. This method allows to "lay" in the code under construction information about possible errors at the circuit outputs. This allows them to be considered when synthesizing the check circuit. At the same time, at the task setting stage, it is required to specify the fault model, relative to which the code with error detection will be built. In comparison with the already known redundant code, the proposed method makes it possible to consider their structure’s individual features. The use of such an approach to the self-checking combinational device’s organization with an unchangeable structure expands the number of ways to construct them, in comparison with the previously known duplication and circuit outputs groups control using by codes with special diagnostic properties.
About the authors
D. V. Efanov
Peter the Great St. Petersburg Polytechnic University; Russian University of Transport; LLC Research and Desing Institute for Transport and Construction Safety
Author for correspondence.
Email: TrES-4b@yandex.ru
Dr. Sc., Associate Professor
Russian Federation, St. Petersburg; Moscow; St. PetersburgReferences
- Sogomonyan E. S., Slabakov E. V. Self-checking devices and fail-safe systems, Moscow, Radio and communication, 1989, 208 p. (in Russian).
- Drozd A. V., Kharchenko V. S., Antoshchuk S. G., Drozd Yu. V., Drozd M. A., Sulima Yu. Yu. On-line testing of the safe instrumentation and control systems, Eds. A. V. Drozd and V. S. Kharchenko, Kharkov, National Aerospace University. NOT, Zhukovsky "KhAI", 2012, 614 p. (in Russian).
- Bestemyanov P. F. Methods for ensuring the safety of hardware for microprocessor-based train traffic control systems, Elektrotekhnika, 2020, no. 9, pp. 2—8 (in Russian).
- Sapozhnikov Vl. V. Synthesis of Train Traffic Control Systems at Railway Stations with the Exception of Dangerous Failures, Moscow, Nauka, 2021, 229 p. (in Russian).
- Stempkovsky A. L., Zhukova T. D., Telpukhov D. V., Gurov S. I. CICADA: A New Tool to Design Circuits with Correction and Detection Abilities, International Siberian Conference on Control and Communications (SIBCON), 13-15 May 2021, Kazan, Russia, pp. 1—5, doi: 10.1109/SIBCON50419.2021.9438900.
- Drozd O., Rucinski A., Zashcholkin K., Martynyuk O., Drozd J. Resilient Development of Models and Methods in Computing Space. Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021), Batumi, Georgia, September 10—13, 2021, pp. 70—75, doi: 10.1109/EWDTS52692.2021.9581002.
- Drozd O., Sachenko A., Hiromoto R., Zashcholkin K., Drozd M. Particularities of Sync Monitoring in FPGA Components of Safety-Related Systems, Proceedings of 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS’2021), vol. 2, Cracow, Poland, September 22—25, 2021, pp. 979—983, doi: 10.1109/IDAACS53288.2021.9660928.
- Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wroclaw, Oficyna Wydawnicza Politechniki Wroclavskiej, 1995, 111 p.
- Lala P. K. Self-Checking and Fault-Tolerant Digital Design, San Francisco, Morgan Kaufmann Publishers, 2001, 216 p.
- Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications, John Wiley & Sons, 2006, 720 p.
- Goessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht, Springer Science + Business Media B. V., 2008, 184 p.
- Sapozhnikov V. V., Sapozhnikov Vl. V Efanov D. V. Theory of synthesis of self-checking digital systems based on sum codes, St. Petersburg, Lan’, 2021, 580 p. (in Russian).
- Berger J. M. А Note on Error Detecting Codes for Asymmetric Channels, Information and Control, 1961, vol. 4, iss. 1, pp. 68—73, doi: 10.1016/S0019-9958(61)80037-5.
- Freiman C. V. Optimal Error Detection Codes for Completely Asymmetric Binary Channels, Information and Control, 1962, vol. 5, iss. 1, pp. 64—71, doi: 10.1016/S0019-9958(62)90223-1.
- Efanov D. V., Sapozhnikov V. V., Sapozhnikov Vl. V. 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, 2020, vol. 54, iss. 4, pp. 279—290, doi: 10.3103/S0146411620040045.
- Efanov D., Sapozhnikov Vl., Sapozhnikov V., Plotnikov D. 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: 10.1109/ EWDTS.2018.8524735.
- Baghdadi A. A. A., Hahanov V. I., Litvinova E. I. Methods for analyzing and diagnosing digital devices (analytical review), Automated control systems and automation devices, 2014, no. 166, pp. 59—74 (in Russian).
- Zakrevskij A., Pottosin Yu., Cheremisinova L. Optimization in Boolean Space, Tallinn, TUT Press, 2009, 241 p.
- Goessel M., Morozov A. A., Sapozhnikov V. V., Sapozhnikov Vl. V. Investigation of Combination Self-Testing Devices Having Independent and Monotone Independent Outputs, Automation and Remote Control, 1997, no. 2, pp. 180—193 (in Russian).
- Efanov D. V., Sapozhnikov V. V., Sapozhnikov Vl. V. Synthesis of Self-Checking Combination Devices Based on Allocating Special Groups of Output, Automation and Remote Control, 2018, no. 9, pp. 79—94 (in Russian).
- Saposhnikov V. V., Morosov A., Saposhnikov Vl. V., Goessel M. A New Design Method for Self-Checking Unidirectional Combinational Circuits, Journal of Electronic Testing: Theory and Applications, 1998, vol. 12, iss. 1—2, pp. 41—53, doi: 10.1023/A:1008257118423.
- Morosow A., Saposhnikov V. V., Saposhnikov Vl. V., Goessel M. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs, VLSI Design, 1998, vol. 5, iss. 4, pp. 333—345, doi: 10.1155/1998/20389.
Supplementary files

