Проект представляет собой модель устройства для продажи проездных билетов. Проект создан с использованием автоматного подхода к программированию.

Традиционный подход к написанию программ, когда постепенно добавляется все новый и новый код, далеко не совершенен. Основная проблема состоит в том, что стадия проектирования программы фактически отсутствует. В то же время, автоматная технология программирования позволяет разработчику основной акцент сделать именно на проектировании программы. Данная работа показала, что автоматный подход целесообразно использовать для проектирования и программирования автоматических устройств, обслуживающих человека в повседневной жизни. Явное выделение состояний делает логику программы более простой для восприятия, а, следовательно, и минимизирует работы по отладке приложения.

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