Abstract. A new method of operational control system design is developed. The method allows diminishing the system redundancy index as compared with the known approaches. The solution is obtained due to application of balanced codes in creation of operation control system. The proposed structural diagram of the control system realizes the principle of logical complement of Boolean functions based on the use of 2-out-of-4 code. Special features to be taken into account in design of the structure of an operation control system on the base of 1-out-of-4 or 2-out-of-4 codes providing the total self-checking are considered. Advantages of the use of 2-out-of-4 code over 1-out-of-4 code for combinatory logic device control system are demonstrated. In particular, provision of total self-checking of the operation control system on the base of 2-out-of-4 code requires less stringent restrictions than in the case when 1-out-of-4 code is applied.

Keywords: concurrent error detection, logical complement, 1-out-of-4 code, 2-out-of-4 code, totally self-checking structure, testing

References:

1. 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.)
2. Sapozhnikov V.V., Sapozhnikov Vl.V. Samoproveryaemye diskretnye ustroystva (The Self-Checked Discrete Devices), St. Petersburg, 1992, 224 р. (in Russ.)
3. Goessel M., Saposhnikov Vl., Saposhnikov V., Dmitriev A. Proc. of the 6th IEEE Intern. On-line Testing Workshop, Palma de Mallorca, Spain, July 3–5, 2000, рp. 147–152.
4. Sapozhnikov V.V., Sapozhnikov Vl.V., Dmitriev A.V., Morozov A.V., Gessel' M. Electronic Modeling, 2002, no. 6(24), pp. 51–66. (in Russ.)
5. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V., Dmitriev A.V. Automation and Remote Control, 2003, no. 1, pp. 167–176. (in Russ.)
6. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking, Dordrecht, Springer Science+Business Media B.V., 2008, 184 p.
7. Das D.K., Roy S.S., Dmitiriev A., Morozov A., Gössel M. Proc. of the 10th Intern. Workshops on Boolean Problems, Freiberg, Germany, September, 2012, рp. 33–40.
8. Nicolaidis M., Zorian Y. J. of Electronic Testing: Theory and Applications, 1998, no. 12, pp. 7–20.
9. Mitra S., McClaskey E. J. Proc. of Intern. Test Conf., Atlantic City, NJ, USA, October 3–5, 2000, рp. 985–994.
10. Matrosova A. Yu., Levin I., Ostanin S. A. VLSI Design, 2000, no. 1(11), pp. 47–58.
11. Efanov D.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2010, no. 6, pp. 155–162. (in Russ.)
12. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Automation on transport, 2015, no. 1(1), pp. 84–107. (in Russ.)
13. Saposhnikov V.V., Saposhnikov Vl.V., Morozov A., Osadtchi G., Gossel M. Proc. of East-West Design & Test Workshop, Yalta, Ukraine, 2004, рp. 83–87.
14. Goessel M., Morozov A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 2005, no. 8, pp. 161–172. (in Russ.)
15. Sen S.K., Roy S.S. National Conf. (AECDISC-2008), Asansol Engineering College, August 1–2, 2008.
16. Sen S.K., Roy S.S. National Conf. on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2008), Sikkim Manipal Institute of Technology, Sikkim, December 22–24, 2008.
17. Halder S., Roy S.S., Sen S.K. National Conf. (AECDISC-2010), Asansol Engineering College, August 1–2, 2010.
18. Sen S.K. National Conf. on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010), Sikkim Manipal Institute of Technology, Sikkim, December, 22–24, 2010.
19. Aksenova G.P. Automation and Remote Control, 1979, no. 9, pp. 126–135. (in Russ.)