Целью данного проекта является моделирование работы стиральной машины на основе SWITCH-технологии.

Автоматный подход удобен для программирования задач управления технической системой. Граф переходов спроектированного автомата наглядно представляет работу системы. Это позволяет разделить создание программы на два этапа: проектирование и реализация.

Программа создана с помощью системы разработки Eclipse и инструментального средства UniMod, которое позволяет автоматически интерпретировать или скомпилировать код программы на основе графов переходов автоматов, построенных при проектировании. Функции входных и выходных воздействий написаны на языке Java вручную.