Компонентами проекта системы управления технологической машины являются алгоритм управления,
управляющая программа, принципиальная схема, схема расположения электрооборудования, схемы исполнительных механизмов и т. п. Формальным ядром проекта выбрано логическое описание в виде системы предикатных формул. Реализован метод распределенного моделирования, при котором результаты моделирования формального ядра отображаются на неформализованных частях проекта.