Method for Determining the Functional Dependences of Working Outputs of Logic Combination Schemes for Development Unidirectional Errors
Keywords:
combinational circuit, errors at operating outputs of logic circuits, types of errors, structural dependence of operating outputs, unidirectionally dependent and unidirectionally independent operating outputs of combinational circuitsAbstract
Structural dependences of the working outputs of logical combinational circuits were studied with the aim of subsequent identification of the type of possible errors. The types of manifested errors and the classification of the working outputs of logical combinational circuits are given. It is shown that the presence of an internal structural connection of discrete devices leads to an increase in the multiplicity of possible errors. The condition for determining the functional dependence of outputs on the manifestation of errors of the studied multiplicity is given. It is noted that out of the many types of errors, unidirectional errors can appear at the outputs of the circuits. A well-known method for determining unidirectionally dependent operating outputs of discrete device circuits is presented, which has a drawback. It is only necessary to pairwise compare each output with the rest of the whole set. For the convenience of the process of searching for such outputs, the author of the article proposed a new method for identifying unidirectionally dependent working outputs. This method differs from known methods in that it is applicable for any number of outputs, which requires much less time to search for the above outputs. It is shown that logical combinational circuits can have functional features, in which only unidirectional errors can appear at the working outputs. Therefore, a new method for identifying any number of unidirectionally independent operating outputs of combinational circuits has been proposed. It is shown that the methods proposed in the article for finding unidirectionally dependent and unidirectionally independent outputs of logical combinational circuits require simple mathematical calculations. In the Multisim, internal faults of the diagnosable circuits are simulated and all possible errors at the working outputs are fixed. According to the results of the experiments, the validity of the theoretical results obtained was also confirmed.
References
1. Hahanov V. Cyber-Physical Computing for IoT-driven Services. New York.: Springer International Publishing AG, 2018. 279 p.
2. Kuntsevich V., Gubarev V., Kondratenko Yu., Lebedev D., Lysenko V. Control Systems: Theory and Applications. River Publishers Series in Automation, Control and Robotics, 2018. 327 p.
3. Wernet M., Brunokowski M., Witt Ph., Meiwald T. Digital tools for relay interlocking diagnostics and condition assessment. DVV Media Group GmbH:SIGNAL + DRAHT. 2019. vol. 111. Issue 11. pp. 39-45.
4. Sapozhnikov Vl.V. Sintez sistem upravleniya dvizheniyem poyezdov na zheleznodorozhnykh stantsiyakh s isklyucheniyem opasnykh otkazov [Synthesis of train traffic control systems at railway stations with the exception of dangerous failures] M.: Nauka. 2021. 229 p. (in Russ.).
5. 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). 2021. pp. 70-75.
6. Boole G. The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning. London.: Cambridge: Macmillan, Barclay, & Macmillan, George Bell. Public domain in the USA. Release date 28 July 2011 y. 87 p.
7. Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnyye sredstva) [Fundamentals of technical diagnostics (optimization of diagnostic algorithms, hardware)]. M.: Energoatomizdat. 1981. 320 p. (In Russ.).
8. Parkhomenko P.P. Nadezhnost i effektivnost v tekhnike: Spravochnik v desyati tomakh. T.9: Tekhnicheskaya diagnostika / pod. red. V.V. Klyuyeva i P.P. Par-khomenko [Reliability and efficiency in engineering: A handbook in ten volumes. T.9: Technical diagnostics / under. ed. V.V. Klyuev and P.P. Parkhomenko]. M.: Mashinostroenie. 1987. 352 p. (In Russ.).
9. Sapozhnikov V.V., Sapozhnikov Vl.V., Hristov H.A., Gavzov D.V. Metody postroeniya bezopasnyh mikroehlektronnyh sistem zheleznodorozhnoj avtomatiki. Pod red. Vl.V. Sapozhnikova [Methods for constructing safe microelectronic systems for railway automation. Edited by Vl.V. Sapozhnikov]. М.: Transport. 1995. 272 p. (In Russ.).
10. Soghomonyan E.S., Slabakov E.V. Samoproveryayemyye ustroystva i otkazo-ustoychivyye sistemy [Self-checking devices and fault-tolerant systems]. M.: Radio i svyaz. 1989. 207 p. (In Russ.).
11. Stempkovskiy A.L., Telpukhov D.V., Gurov S.I., Zhukova T.D., Demeneva A.I. R-code for concurrent error detection and correction in the logic circuits. Proceedings of Young Researchers in Electrical and Electronic Engineering (EIConRus’2018). 2018. pp. 1430-1433.
12. Efanov D.V., Abdullaev R.B. Boolean Complement Method to Polynomial Codes for Combinational Circuits Testing. Proceedings of Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus’2022). 2022. pp. 139-144.
13. 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. no 4. рp. 279-290.
14. Efanov D. V. [Synthesis of self-checking combinational devices based on codes with efficient detection of symmetrical errors]. Trudy SPIIRAN – SPIIRAS Proceedings. 2020. №4. pp. 62-91. (In Russ.).
15. Sogomonyan E.S., Gössel M. Design of Self-Testing and On-Line Fault Detection Combinational Circuits with Weakly Independent Outputs. Journal of Electronic Testing: Theory and Applications. 1993. no 4. pp. 267-281.
16. Morosow A., Sapozhnikov V.V., Sapozhnikov Vl.V. and Goessel M. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs. VLSI Design. 1998. no 5. pp. 333-345.
17. Ubar R. Test diagnostics of digital devices, I. Tallinn.: Tallinn Polytechnic Institute. 1980. 112 p.
18. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. [Conditions for Detecting a Logical Element Fault in a Combination Device under Concurrent Checking Based on Berger`s Code]. Avtomatika i telemekhanika – Automation and remote control. 2017. vol. 5. pp. 152–165. (In Russ.).
19. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. [On the class of codes with summation with all symmetric errors detection]. Elektronnoje Modelirovanije – Electronic modeling. 2017. Issue 39. vol. 3. pp. 47–60. (In Russ.).
20. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Two-Modulus Codes with Summation of One-Data Bits for Technical Diagnostics of Discrete Systems. Automatic Control and Computer Sciences. 2018. vol. 52. Issue 1. pp. 1–12.
21. Berger J.M. А Note on Error Detecting Codes for Asymmetric Channels. Information and Control. 1961. vol. 4. Issue 1. pp. 68–73.
22. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [Features of the organization of functional control systems for combinational circuits based on polynomial codes]. Izvestiya Peterburgskogo universiteta putey soobshcheniya – Proceedings of Petersburg Transport University. 2018. № 3. pp. 432-446. (In Russ.).
23. Abdullaev R.B. [Synthesis of fully self-checking built-in control circuits based on polynomial codes for combinational logic devices]. Avtomatika na transporte – Automation on transport. 2021. №3. pp. 452-476. (In Russ.).
24. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Checking Combinational Circuits by the Method of Logic Complement. Automation and Remote Control. 2005. vol. 66. no. 8. pp. 1336-1346.
25. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Synthesis of Built-in Self-Test Control Circuits Based on the Method of Boolean Complement to Constant-Weight 1-out-of-n Codes. Automatic Control and Computer Sciences. 2019. vol. 53. Issue 6. pp. 481-491.
26. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes. Proceedings of the 10th International Workshops on Boolean Problems. 2012. pp. 33-40.
27. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors. Journal of Electronic Testing: Theory and Applications. 1994. pp. 19-28.
28. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [On the properties of polynomial codes in functional control systems]. Informatika i sistemy upravleniya – Informatics and control systems. 2018. №2. pp. 50-61. (In Russ.).
29. Abdullaev R., Efanov D. Polynomial Codes Properties Application in Concurrent Error-Detection Systems of Combinational Logic Devices // Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021). 2021. pp. 40-46.
30. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [Polynomial codes in functional control systems of combinational logic circuits] Novyye informatsionnyye tekhnologii v issledovanii slozhnykh struktur: Materialy 12-y mezhdunarodnoy konferentsii [New information technologies in the study of complex structures: Proceedings of the 12th international conference]. 2018. pp. 95-96. (In Russ.).
31. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. [Classification of errors in information vectors of systematic codes]. Izvestiya vuzov: Priborostroenie – Journal of instrument engineering. 2015. №5. pp. 333-343. (In Russ.).
32. Ubar R., Raik J., Vierhaus H.T. Design and Test Technology for Dependable Systems-on-Chip. New York.: Information Science Reference, Hershey. IGI Global. 2011. 578 p.
33. Mitra S., McCluskey E.J. Which concurrent error detection scheme to сhoose? Proceedings of International Test Conference. 2000. pp. 985–994.
34. Butorina N. Self-testing checker design for incomplete m-out-of-n codes. Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS`2014). 2014. pp. 258–261.
35. Borecký J., Kohlík M., Kubátová H. Parity Driven Reconfigurable Duplex System. Microprocessors and Microsystems. 2017. vol. 52. pp. 251–260.
2. Kuntsevich V., Gubarev V., Kondratenko Yu., Lebedev D., Lysenko V. Control Systems: Theory and Applications. River Publishers Series in Automation, Control and Robotics, 2018. 327 p.
3. Wernet M., Brunokowski M., Witt Ph., Meiwald T. Digital tools for relay interlocking diagnostics and condition assessment. DVV Media Group GmbH:SIGNAL + DRAHT. 2019. vol. 111. Issue 11. pp. 39-45.
4. Sapozhnikov Vl.V. Sintez sistem upravleniya dvizheniyem poyezdov na zheleznodorozhnykh stantsiyakh s isklyucheniyem opasnykh otkazov [Synthesis of train traffic control systems at railway stations with the exception of dangerous failures] M.: Nauka. 2021. 229 p. (in Russ.).
5. 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). 2021. pp. 70-75.
6. Boole G. The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning. London.: Cambridge: Macmillan, Barclay, & Macmillan, George Bell. Public domain in the USA. Release date 28 July 2011 y. 87 p.
7. Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnyye sredstva) [Fundamentals of technical diagnostics (optimization of diagnostic algorithms, hardware)]. M.: Energoatomizdat. 1981. 320 p. (In Russ.).
8. Parkhomenko P.P. Nadezhnost i effektivnost v tekhnike: Spravochnik v desyati tomakh. T.9: Tekhnicheskaya diagnostika / pod. red. V.V. Klyuyeva i P.P. Par-khomenko [Reliability and efficiency in engineering: A handbook in ten volumes. T.9: Technical diagnostics / under. ed. V.V. Klyuev and P.P. Parkhomenko]. M.: Mashinostroenie. 1987. 352 p. (In Russ.).
9. Sapozhnikov V.V., Sapozhnikov Vl.V., Hristov H.A., Gavzov D.V. Metody postroeniya bezopasnyh mikroehlektronnyh sistem zheleznodorozhnoj avtomatiki. Pod red. Vl.V. Sapozhnikova [Methods for constructing safe microelectronic systems for railway automation. Edited by Vl.V. Sapozhnikov]. М.: Transport. 1995. 272 p. (In Russ.).
10. Soghomonyan E.S., Slabakov E.V. Samoproveryayemyye ustroystva i otkazo-ustoychivyye sistemy [Self-checking devices and fault-tolerant systems]. M.: Radio i svyaz. 1989. 207 p. (In Russ.).
11. Stempkovskiy A.L., Telpukhov D.V., Gurov S.I., Zhukova T.D., Demeneva A.I. R-code for concurrent error detection and correction in the logic circuits. Proceedings of Young Researchers in Electrical and Electronic Engineering (EIConRus’2018). 2018. pp. 1430-1433.
12. Efanov D.V., Abdullaev R.B. Boolean Complement Method to Polynomial Codes for Combinational Circuits Testing. Proceedings of Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus’2022). 2022. pp. 139-144.
13. 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. no 4. рp. 279-290.
14. Efanov D. V. [Synthesis of self-checking combinational devices based on codes with efficient detection of symmetrical errors]. Trudy SPIIRAN – SPIIRAS Proceedings. 2020. №4. pp. 62-91. (In Russ.).
15. Sogomonyan E.S., Gössel M. Design of Self-Testing and On-Line Fault Detection Combinational Circuits with Weakly Independent Outputs. Journal of Electronic Testing: Theory and Applications. 1993. no 4. pp. 267-281.
16. Morosow A., Sapozhnikov V.V., Sapozhnikov Vl.V. and Goessel M. Self-Checking Combinational Circuits with Unidirectionally Independent Outputs. VLSI Design. 1998. no 5. pp. 333-345.
17. Ubar R. Test diagnostics of digital devices, I. Tallinn.: Tallinn Polytechnic Institute. 1980. 112 p.
18. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. [Conditions for Detecting a Logical Element Fault in a Combination Device under Concurrent Checking Based on Berger`s Code]. Avtomatika i telemekhanika – Automation and remote control. 2017. vol. 5. pp. 152–165. (In Russ.).
19. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. [On the class of codes with summation with all symmetric errors detection]. Elektronnoje Modelirovanije – Electronic modeling. 2017. Issue 39. vol. 3. pp. 47–60. (In Russ.).
20. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Two-Modulus Codes with Summation of One-Data Bits for Technical Diagnostics of Discrete Systems. Automatic Control and Computer Sciences. 2018. vol. 52. Issue 1. pp. 1–12.
21. Berger J.M. А Note on Error Detecting Codes for Asymmetric Channels. Information and Control. 1961. vol. 4. Issue 1. pp. 68–73.
22. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [Features of the organization of functional control systems for combinational circuits based on polynomial codes]. Izvestiya Peterburgskogo universiteta putey soobshcheniya – Proceedings of Petersburg Transport University. 2018. № 3. pp. 432-446. (In Russ.).
23. Abdullaev R.B. [Synthesis of fully self-checking built-in control circuits based on polynomial codes for combinational logic devices]. Avtomatika na transporte – Automation on transport. 2021. №3. pp. 452-476. (In Russ.).
24. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Checking Combinational Circuits by the Method of Logic Complement. Automation and Remote Control. 2005. vol. 66. no. 8. pp. 1336-1346.
25. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Pivovarov D.V. Synthesis of Built-in Self-Test Control Circuits Based on the Method of Boolean Complement to Constant-Weight 1-out-of-n Codes. Automatic Control and Computer Sciences. 2019. vol. 53. Issue 6. pp. 481-491.
26. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Constraint Don’t Cares for Optimizing Designs for Concurrent Checking by 1-out-of-3 Codes. Proceedings of the 10th International Workshops on Boolean Problems. 2012. pp. 33-40.
27. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and Unidirectional Multibit Errors. Journal of Electronic Testing: Theory and Applications. 1994. pp. 19-28.
28. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [On the properties of polynomial codes in functional control systems]. Informatika i sistemy upravleniya – Informatics and control systems. 2018. №2. pp. 50-61. (In Russ.).
29. Abdullaev R., Efanov D. Polynomial Codes Properties Application in Concurrent Error-Detection Systems of Combinational Logic Devices // Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021). 2021. pp. 40-46.
30. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Abdullaev R.B. [Polynomial codes in functional control systems of combinational logic circuits] Novyye informatsionnyye tekhnologii v issledovanii slozhnykh struktur: Materialy 12-y mezhdunarodnoy konferentsii [New information technologies in the study of complex structures: Proceedings of the 12th international conference]. 2018. pp. 95-96. (In Russ.).
31. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. [Classification of errors in information vectors of systematic codes]. Izvestiya vuzov: Priborostroenie – Journal of instrument engineering. 2015. №5. pp. 333-343. (In Russ.).
32. Ubar R., Raik J., Vierhaus H.T. Design and Test Technology for Dependable Systems-on-Chip. New York.: Information Science Reference, Hershey. IGI Global. 2011. 578 p.
33. Mitra S., McCluskey E.J. Which concurrent error detection scheme to сhoose? Proceedings of International Test Conference. 2000. pp. 985–994.
34. Butorina N. Self-testing checker design for incomplete m-out-of-n codes. Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS`2014). 2014. pp. 258–261.
35. Borecký J., Kohlík M., Kubátová H. Parity Driven Reconfigurable Duplex System. Microprocessors and Microsystems. 2017. vol. 52. pp. 251–260.
Published
2022-07-14
How to Cite
Abdullaev, R. (2022). Method for Determining the Functional Dependences of Working Outputs of Logic Combination Schemes for Development Unidirectional Errors. Informatics and Automation, 21(4), 786-811. https://doi.org/10.15622/ia.21.4.6
Section
Robotics, Automation and Control Systems
Copyright (c) Руслан Борисович Абдуллаев
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with this journal agree to the following terms: Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).