(C) 2003 A.A. Distel, D.A. Kobak, A.A. Shalyto
Saint-Petersburg State Institute of Fine Mechanics and Optics (Technical University)
From here it is possible to download the full text of documentation in Russian in a PDF-format (168 Kb)
Here is the program (7 Kb)
Source texts (36 Kb)
The purpose of the following work is the creating of the traffic lights' controlling programm. As a basis of our model we assumed the real traffic lights, that are used to regulate the road traffic in St. Petersburg. For the sake of simplicity the standard variant was chosen, with the three lights--red, yellow and green. Except of the very lights the programm is also modelling the control desk of s traffic-contrloller, that is only used in the manual mode. There is also provided the button, turning on the green light for the pedestrians.
For algorithmization and programming the tasks of logic management the SWITCH-technology was proposed by A. A. Shalito, that was later advanced by him with the help of N. I. Tukkel for the using with event-driven and with object-oriented programs. It is possible to learn more details about this technology ans to examine some concrete examples on http://is.ifmo.ru and http://www.softcraft.ru.
This technology is convenient for the tasks of the technical objects' controlling, such as, for example, the examined here traffic lights. The reason of this is that it is very convenient to centralize the whole logic of the program in one place when using the SWITCH-technology. The other advantage of this approach is that the resulting code is isomorphic to the original transition graph. It allows to understand the logic of the program without reading its source code, but only by examining the graph.
Out project was written in C++.