Reference for citation: Efanov D. V., Pivovarov D. V. Checkers of self-dual and "close in meaning" signals. Journal of Instrument Engineering. 2024. Vol. 67, N 1. P. 5—19 (in Russian). DOI: 10.17586/0021-3454-2024-67-1-5-19.

Abstract. The features of the application of self-dual and “close in meaning” functions properties for the synthesis of highly reliable digital systems using the data inversion method are considered. It is proposed to use the properties of self-anti-dual functions when controlling calculations in devices implemented with the use of time redundancy and pulse mode of operation. The checker for self-anti-dual signals is developed. The conditions for synchronizing the delay element, the frequency of changing the operating and inverse input combinations, the frequency of the signal at the synchronization input of the checker and the moment of changing the working input combination, necessary for the correct operation of the built-in control circuits, are determined.

Keywords: self-testing digital devices, data reverse method, temporary redundancy, self-dual Boolean function, self-anti-dual Boolean function, self-dual signal checker, self-anti-dual signals checker

References:

1. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Osnovy teorii nadezhnosti i tekhnicheskoy diagnostiki (Fundamentals of the Theory of Reliability and Technical Diagnostics), St. Petersburg, 2019, 588 р. (in Russ.)
2. Efanov D.V., Pogodina T.S. Informatics and Automation, 2023, no. 2(22), pp. 349–392, DOI: 10.15622/ia.22.2.5. (in Russ.)
3. Drozd A., Kharchenko V., Antoshchuk S., Sulima J., Drozd M. Proceedings of the 9th IEEE East-West Design & Test Symposium (EWDTS’2011), Sevastopol, Ukraine, 2011, pp. 411–416, DOI: 10.1109/EWDTS.2011.6116606.
4. Drozd A.V., Kharchenko V.S., Antoshchuk S.G., Drozd Yu.V., Drozd M.A., Sulima Yu.Yu. Rabocheye diagnostirovaniye bezopasnykh informatsionno-upravlyayushchikh sistem (Working Diagnostics of Safe Information and Control Systems), Khar’kov, 2012, 614 р. (in Russ.)
5. Kharchenko V., Kondratenko Yu., Kacprzyk J. Green IT Engineering: Concepts, Models, Complex Systems Architectures, Springer, Book series “Studies in Systems, Decision and Control”, 2017, vol. 74, 305 p., DOI: 10.1007/978-3-319-44162-7.
6. 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), Moscow, 2021, 229 р. (in Russ.)
7. Yablonskiy S.V. Vvedeniye v diskretnuyu matematiku (Introduction to Discrete Mathematics), Moscow, 2003, 384 р. (in Russ.)
8. Reynolds D.A., Meize G. IEEE Transactions on Computers, 1978, no. 12(C-27), pp. 1093–1098, DOI: 10.1109/TC.1978.1675011.
9. Aksenova G.P. Avtomatika i Telemekhanika, 1987, no. 10, pp. 144–153. (in Russ.)
10. Biernat J. International Conference on Dependability of Computer Systems, May, 25–27 2006, Szklarska Poreba, Poland, DOI: 10.1109/DEPCOS-RELCOMEX.2006.50.
11. Rai S., Raitza M., Sahoo S.S., Kumar A. Design, Automation & Test in Europe Conference & Exhibition (DATE), March 09–13, 2020, Grenoble, France, DOI: 10.23919/DATE48585.2020.9116216.
12. Gessel M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1999, no. 11(60), pp. 1653–1663.
13. 13. Saposhnikov Vl.V., Moshanin V., Saposhnikov V.V., Goessel M. Journal of Electronic Testing: Theory and Applications, 1999, no. 3(14), pp. 295–300, DOI: 10.1023/A:1008370405607.
14. Gessel' M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2000, no. 7(61), pp. 1192–1200.
15. Gessel' M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2001, no. 4, pp. 642–652.
16. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.
17. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Osadchy G., Pivovarov D. Proceedings of the 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13–16, 2019, pp. 136–143, DOI: 10.1109/EWDTS.2019.8884398.
18. Efanov D.V., Pogodina T.S. Proceedings of the 2023 Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), January 24–27, 2023, St. Petersburg, Russia, pp. 72–77.
19. Efanov D.V., Pogodina T.S. Vestnik Tomskogo Gosudarstvennogo Universiteta - Upravlenie, Vychislitel'naya Tekhnika i Informatika, 2023, no. 63, pp. 118–136, DOI: 10.17223/19988605/63/14. (in Russ.)
20. Efanov D.V., Pogodina T.S. Journal of Instrument Engineering, 2023, no. 7(66), pp. 539–558, DOI: 10.17586/0021-3454-2023-66-7-539-558. (in Russ.)
21. Shalyto A.A. Logicheskoye upravleniye. Metody apparatnoy i programmnoy realizatsii (Logical Control. Hardware and Software Implementation Methods), St. Petersburg, 2000, 780 р. (in Russ.)
22. Shalyto A.A. Journal of Computer and Systems Sciences International, 2001, no. 5, pp. 782–792.
23. Zakrevsky A.D., Pottosin Yu.V., Cheremisinova L.D. Logicheskiye osnovy proyektirovaniya diskretnykh ustroystv (Logical Foundations of Discrete Device Design), Moscow, 2007, 592 р. (in Russ.)
24. Hessel M., Moshanin V.I., Sapozhnikov V.V., Sapozhnikov Vl.V. Avtomatika i Telemekhanika, 1997, no. 12, pp. 193–200. (in Russ.)