Computer aided synthesis of reversible logic in traffic control systems

• Autorzy: Pniewski R.
• Języki publikacji: EN

Abstrakty

EN

Currently traffic control systems in place relay systems used microprocessor systems. A better solution may be the use of reversible logic in the synthesis of digital control systems. The main problem in the design of reversible logic is the transformation of the description of the system from the form of Boolean equations to the reversible form. The article presents error-proof reversible gates and software supporting the automatic synthesis process. The presented programs were developed and launched by the author of the article. The article presents the algorithms used to describe the description of circuits. The results of the programs’ operation and results of simulation of systems with reversible logic are presented.

Słowa kluczowe

EN

traffic control system; reversible logic; synthesis

PL

system kontroli ruchu; logika rewersyjna; synteza

• Wydawca: Polskie Stowarzyszenie Telematyki Transportu
• Czasopismo: Archives of Transport System Telematics
• Rocznik: 2018
• Tom: Vol. 11, iss. 3
• Strony: 43--48
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Pniewski R.

• UNIVERSITY OF TECHNOLOGY AND HUMANITIES IN RADOM, Faculty of Transport and Electrical Engineering, Malczewskiego 29, 26-600 Radom, Poland

Bibliografia

• [1] DE VOS A.: Reversible Computing in c-MOS, Proc. Advanced Training Course on Mixed Design of VLSI Circuits, 1994, pp. 36-41
• [2] DILL K., PERKOWSKI M.: Minimization of Generalized Reed-Muller Forms with a Genetic Algorithm, Proc. Genetic Programming’97 Conf., Stanford University,CA, July 1997, p. 362
• [3] DRECHSLER R., et al.: Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams, Proc. DAC’94, 1994, pp. 415-419
• [4] KERNTOPF P., PERKOWSKI M., PODLASKI K.: Synthesis of reversible circuits: A view on the state-of-the-art, Proceedings of the 12th IEEE Conference on Nanotechnology (IEEE-NANO), 2012
• [5] KORNASZEWSKI M., CHRZAN M., OLCZYKOWSKI Z.: Implementation of new solutions of intellignet transport systems in railway transport in Poland, in Mikulski J. (ed) Smart Solutions in Today’s Transport, Springer Verlag, Berlin Heidelberg, CCIS 715 (2017), pp. 282–292
• [6] ŁUKASIK Z., et al.: Assessment of the safety of microprocessorbased semi-automatic block signalling system, Springer-Verlag, Series: Advances in Intelligent Systems and Computing, 2017, pp. 137-144
• [7] MAHAMUD A.AL, et al.: Synthesis of Fault Tolerant Reversible Logic Circuits. Proceedings of IEEE International Conference on Testing and Diagnosis, Chengdu, China, 2009, pp. 1-4
• [8] MASLOV D., DUECK G. W., MILLER D. M.: Techniques for the synthesis of reversible Toff oli networks, ACM Transactions on Design Automation of Electronic Systems, 12(4)
• [9] NOWAKOWSKI W., T. CISZEWSKI T., ŁUKASIK Z.: The concept of railway traffic control systems remote diagnostic, in Mikulski J. (ed) Smart Solutions in Today’s Transport, Springer Verlag, Berlin Heidelberg, CCIS 715 (2017) pp. 471-481
• [10] PERES A.: Reversible logic and quantum computers. Physical Review A, 1985, pp. 3266-3276
• [11] PNIEWSKI R.: Metoda oceny bezpieczeństwa cyfrowych systemów automatyki kolejowej. Monografie Wydawnictwo UTH Radom
• [12] PNIEWSKI R., BOJARCZAK P., KORNASZEWSKI M.: Application of Reversible Logic in Synthesis of Traffic Control Systems, in Mikulski J. (ed) Smart Solutions in Today’s Transport, Springer Verlag, Berlin Heidelberg, CCIS 715 (2017), pp 447-460
• [13] PNIEWSKI R., KORNASZEWSKI M., CHRZAN M.: Safety of electronic ATC systems in the aspect of technical and operational. 16th International Scientific Conference Globalization and Its Socio-Economic Consequences. Proceedings, Part IV. University of Zilina, The Faculty of Operation and Economics of Transport and Communications, Department of Economics, Rajecke Teplice, Slovak Republic, October 2016, pp. 1729-1735
• [14] TAHA S.M.R.: Reversible Logic Synthesis Methodologies with Application to Quantum Computing. Springer International Publishing Switzerland 2016
• [15] TOFFOLI T.: Reversible computing, Tech Memo MIT/LCS/ TM-151, MIT Lab for Computer Science, 1980
• [16] http://www.revkit.org/ (the revkit program website) [date of access: 20.01.2018]