Программное обеспечение для автомата GAIA