DOI 10.17586/0021-3454-2018-61-3-227-239
UDC 681.518.5:004.052.32
METHOD OF ORGANIZING SYSTEMS OF FUNCTIONAL CONTROL OF COMBINATION LOGIC SCHEMES BASED ON MODULE-WEIGHTED BERGER CODES
PSTU; Professor, Department of Automation and Telemechanics on the Railways
V. V. Sapozhnikov
PSTU; Professor, Department of Automation and Telemechanics on the Railways
D. V. Ephanov
PSTU; Department of Automation and Telemechanics on the Railways
Read the full article
Abstract. A new method is proposed for organization of concurrent error detection system of combinational logical circuits with 100 % detection of single stuck-at faults on inner structure elements outputs. The method is based on partition of circuit outputs into the groups in which values of maximum two outputs may be distorted simultaneously. Module-weighted Berger codes with data vector lengths m = 2b, b = {2, 3, …} are used for the control. It is noted that module-weighted code with m = 4 is the most effective for this purpose: its generator has the simplest structure for which the self-checking property is easily ensured.
Keywords: functional control system, combinational circuit, module-weighted Berger codes, 100 % fault detection; outputs independence
References:
References:
- Karavay M.F., Sogomonyan E.S. Automation and Remote Control, 1979, no. 8, pp. 105–119.
- Parkhomenko P.P., Sogomonyan E.S. Osnovy tekhnicheskoy diagnostiki. Optimizatsiya algoritmov diagnostirovaniya, apparaturnye sredstva (Basics of Technical Diagnostics. Optimization of Algorithms of Diagnosing, Hardware Means), Moscow, 1981, 320 р. (in Russ.)
- Litikov I.P., Sogomonyan E.S. Automation and Remote Control,1985, no. 3, pp.111–121.
- GoesselM., Sogomonyan E.S.Automation and Remote Control, 1996, no. 11, pp.155–165.
- Aksenova G.P.Automation and Remote Control, 2010, no. 12, pp.154–165.
- Aksenova G.P.Automation and Remote Control, 2015, no. 2, pp.141–149.
- Parkhomenko P.P.Automation and Remote Control, 2009, no. 5, pp.180–189.
- Skobtsov Yu.A., Skobtsov V.Yu. Logicheskoe modelirovanie i testirovanie tsifrovykh ustroystv (Logical Modeling and Testing of Digital Devices),Donetsk, 2005,436 р. (in Russ.)
- Khakhanov V.I., Litvinova E.I., Guz' O.A.Proektirovanie i testirovanie tsifrovykh sistem na kristallakh (Design and Testing of Digital Systems on Crystals), Khar'kov,2009,484 р. (in Russ.)
- Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Applications, 1998, no. 1–2(12), pp. 7–20.
- Mitra S., McCluskey E.J.Proceedings of International Test Conference, 2000, Atlantic City, USA, 03–05 October 2000, pp. 985–994. DOI: 10.1109/TEST.2000.894311.
- Drozd A.V., Kharchenko V.S., Antoshchuk S.G., Drozd Yu.V., Drozd M.A., Sulima Yu.Yu. Rabochee diagnostirovanie bezopasnykh informatsionno-upravlyayushchikh sistem (Working Diagnosing of Safe Management Information Systems), Khar'kov, 2012, 614 p. (in Russ.)
- 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.
- Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
- Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnye ustroystva (The Self-Checked Discrete Devices), St. Petersburg, 1992, 224 p. (in Russ.)
- Goessel M., Graf S. Error Detection Circuits, London, McGraw-Hill, 1994, 261 p.
- Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications, John Wiley & Sons, 2006, 720 p.
- Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D.New Methods of Concurrent Checking, Dordrecht, Springer Science+Business Media B.V., 2008, 184 p.
- Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V., Nikitin D.A.Information Science and Control Systems,2015, no. 3, pp. 53–62.(in Russ.)
- Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Electronic Modeling,2017, no. 4(39), pp.69–88.
- GoesselM., Sogomonyan E.S.Automation and Remote Control,1992, no. 8, pp.150–160.
- Busaba F.Y., Lala P.K. Journal of Electronic Testing: Theory and Applications, 1994, no. 1, pp. 19–28. DOI: 10.1007/BF00971960.(in Russ.)
- GoesselМ., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V.Automation and Remote Control, 1994, no. 4, pp. 148–160.(in Russ.)
- Goessel М., Morozov A.A., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1997, no. 2, pp. 180–193.(in Russ.)
- Matrosova A.Yu., Ostanin S.A. Proceedings of the IEEE European Test Workshop (ITW’98), 27–29 May 1998, Sitges, Barcelona, Spain.
- Morosow A., Saposhnikov V.V., Saposhnikov Vl.V., Goessel M. VLSI Design, 1998, no. 4(5), pp. 333–345.
- Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2017, no. 5, pp. 152–165. (in Russ.)
- Collection of Digital Design Benchmarks,http://ddd.fit.cvut.cz/prj/Benchmarks/.
- Sentovich E.M., Singh K.J., Lavagno L., Moon C., Murgai R., Saldanha A., Savoj H., Stephan P.R., Brayton R.K., Sangiovanni-Vincentelli A. Electronics Research Laboratory, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 4 May 1992, 45 p.
- Fujiwara E., Muto N., Matsuoka K. IEEE Transaction on Computers, 1984, no. 8(33), pp. 583–588.
- Ghosh S., Basu S., Touba N.A. Proceedings of 23rd IEEE VLSI Test Symposium (VTS'05), 2005, pp. 315–320.
- Aksenova G.P. Problemy Upravleniya, 2008, no. 5, рр. 62–66. (in Russ.)
- Bose B., Lin D.J. IEEE Transaction on Computers, 1985, no. C-34, pp. 1026–1032.
- Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes, Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.
- Efanov D.V. RUSSIAN PHYSICS JOURNAL, 2016, no. 8/2(59), pp.33–36.(in Russ.)
- Efanov D.V. Tomsk State University Journal of Control and Computer Science,2016, no. 4, pp.13–26. DOI: 10.17223/19988605/37/2.(in Russ.)
- Carter W., Schneider P.Proceedings of IFIP Congress 68, Edinburgh, Scotland, 1968, pp. 878–883.
- Huches J.L.A., McCluskey E.J., Lu D.J.IEEE Transactions on Computers, 1984, no. 6(C-33), pp. 546–550.