The goal of the project is simulation of working of a washing machine, based on SWITCH-technology.

Automata-based method is well-suitable for programming tasks of controlling technical systems. Transition graph of created automata visualizes how the system works. It allows to decompose program developing in two phases : design and implementation.

The program is created in Eclipse with UniMod tool, which allows to interpret or generate program code automatically from the transition graph of the finite automaton. Functionality of input and output events is written on Java manually.