A.A. Pavlov1, A.N. Tsarkov2, Yu. A. Romanenko3, I.I. Korneev4, A.Yu. Romanenko5, M.I. Makeev6, F.A. Pavlov7
1, 3, 4, 6, 7 Serpukhov Branch of Military Academy of the Strategic Missile Forces Peter the Great
(Serpukhov, Moscow Region, Russia)
2, 5 ANO “Institute of Engineering Physics” (Serpukhov, Moscow Region, Russia)
Modern development of information technology is characterized by the widespread use of specialized computers (SEVM).
The occurrence of errors and failures in these systems leads to emergency situations, and in some cases to catastrophic consequences, so there is a need to develop effective methods for their detection and correction.
An analysis of works in this area showed that the most effective method for detecting and correcting errors are corrective codes with syndromic decoding, which allow solving this problem using 10-30% of hardware costs for these purposes.
Currently, studies have been carried out that allow the use of correction codes to control the processor when performing arithmetic and logical operations, with the exception of the logical negation operation.
Important arithmetic operations of the ALU are multiplication and division.
The multiplication operation is carried out by the multiple operation of adding the multiplicand, determined by the value of the multiplier.
The division operation is carried out by repeatedly subtracting the divisor from the dividend (adding the dividend to the divisor presented in the additional code).
To represent the divisor in an additional code, the values of the information bits are first inverted, and a unit is added to the result, however, the existing algebraic codes do not allow detecting and correcting errors when performing the logical inversion operation.
Thus, there is a need to develop a code that detects and corrects errors when performing an arithmetic subtraction operation.
When solving the problem, the expediency of using algebraic linear codes for detecting and correcting errors in specialized computers is substantiated, which allows, in relation to the majority method and the duplication method, to significantly reduce hardware costs and use 10–30% of reserve equipment for these purposes.
The possibility of using corrective codes to correct processor errors during information processing has been established.
An example of using a Hamming code to correct processor errors during an addition operation is considered.
It is shown that the existing algebraic codes cannot be used to control the arithmetic operations of subtraction and division, since they do not allow controlling the logical inversion operation necessary to represent a negative number in an additional code.
An algorithm for constructing a code has been developed that makes it possible to control the logical operation of negation and, consequently, the representation of a negative number in an additional code. The parameters of the developed code are determined.
An example of using the proposed code to control the arithmetic operation of subtraction is considered.
The proposed methodological apparatus for error detection and correction makes it possible to use the developed code not only for protecting information storage and transmission devices, but also for correcting processor errors when performing subtraction and division arithmetic operations.
As a result of the research, a code was developed for detecting and correcting errors in the ALU of the processor of specialized computers.
In contrast to the methods of using codes to control the arithmetic operation of addition, the proposed code allows you to control the formation of an additional code to detect and correct errors when performing a subtraction (division) operation. The use of the proposed method makes it possible to significantly reduce hardware costs for detecting and correcting errors in a computer.
Pavlov A.A., Tsarkov A.N., Romanenko Yu.A., Korneev I.I., Romanenko A.Yu., Makeev M.I., Pavlov F.A. Methodological apparatus for detecting and correcting errors in information processing devices in communication and telecommunications systems. Radiotekhnika. 2023. V. 87. № 3. P. 148−155. DOI: https://doi.org/10.18127/j00338486-202303-14 (In Russian)
- Grebeshkov A.Yu. Mikroprocessornye sistemy i programmnoe obespechenie v sredstvah svyazi. Samara: PGUTI. 2009. 298 s.
- Shcherbakov N.S. Samokorrektiruyushchiesya diskretnye ustrojstva. M.: Mashinostroenie. 1975. 214 s. (In Russian).
- Shcherbakov N.S. Dostovernost' raboty cifrovyh ustrojstv. M.: Mashinostroenie. 1989. 224 s. (In Russian).
- Hagbae Kim, Kang G. Shin Evaluation of Fault Tolerance Latency from Real-Time Application`s Perspectives. IEEE Transactions on computers. January 2000. V. 49. № 1. P. 55–64.
- Prager K., Vahey M., Farwell W., Whitney J., Lieb J. A fault tolerant signal processing computer. Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on. 2000. P. 169–174.
- Naseer R., Draper J. Parallel Double Error Correcting Code Design to Mitigate Multi-Bit Upsets in SRAMs. Information Sciences Institute University of Southern California. IEEE Trans Device. Mater 2008. V. 6. P. 222–225.
- Pavlov A.A., Pavlov P.A., Car'kov A.N., Horuzhenko O.V. Kontrol' processora v avtomatizirovannyh izmeritel'nyh sistemah. Izmeritel'naya tekhnika. 2011. № 2. S. 12–15 (In Russian).
- Pavlov A.A., Volkov V.Z., Car'kov A.N., Korsunskij D.A. Obnaruzhenie oshibok v arifmetiko-logicheskih ustrojstvah specializirovannyh EVM informacionno-izmeritel'nyh sistem. Izmeritel'naya tekhnika. 2018. № 6. S. 35–40 (In Russian).
- Pavlov A.A., Volkov V.Z., Car'kov A.N., Korsunskij D.A. Metodicheskij podhod povysheniya dostovernosti funkcionirovaniya ustrojstv obrabotki informacii s minimal'noj informacionnoj i apparaturnoj izbytochnost'yu. Pribory i sistemy. upravlenie, kontrol', diagnostika. 2018. № 6. S. 30–37 (In Russian).
- Pavlov A.A., Car'kov A.N., Dolgovyazov A.V., Volkov V.Z., Korsunskij D.A., Gusev A.V. Metod korrekcii oshibok v arifmetiko logicheskih ustrojstvah processorov informacionno-izmeritel'nyh sistem. Izmeritel'naya tekhnika. 2019. № 4. S. 30–37 (In Russian).
- Pavlov A.A., Car'kov A.N., Korsunskij D.A., Volkov V.Z., Efremov V.P. Metod korrekcii oshibok v ustrojstvah obrabotki i peredachi informacii. Radiotekhnika. 2020. T. 84. № 6(3). S. 12–22. DOI: https://doi.org/10.18127/j00338486-202003(06)-02 (In Russian).