ITMO University
“Programming Technologies” Department

Refrigerator modelling (fragments)

© A.R.Ishmetyev, A.N.Sitnikov, A.A. Shalyto

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation (in Russian)
Executable program
Source code

Annotation

The project is an example of using SWITCH-technology for modelling refrigerator. Model contains three objects: "Air cleaner", "Open-door tracking loop", "Frazil controller". Choice of the model was caused by small amount of states and events. It helps to provide obvious demonstration of this technology.

Application of the SWITCH-technology is the best way to solve problem put by: as against of traditional programming, the SWITCH-technology allows to describe device's states everytime neatly.

The model doesn't exhaust by those three objects (automata), which were choosen by authors. Also it possible to programme other control devices by means of SWITCH-technology, e.g.: compressor, cooling system etc. But it wasn't author's main aim. Goal is - demonstrate the convenience of SWITCH-technology for the task of this kind.