ufsm

UFSM - это инструмент для рисования иерархических государственных машин и генерации кода. Две основные части-это «UFSM-Compose» графический редактор и «генератор UFSM», генератор кода.

Отказ от ответственности

UFSM - это работа, которая неполна, в полной мере возможна проектировать машины, которые не будут работать.

История

• Версии 0,1 - 0,3

  Использовал довольно сложное время выполнения, которая работала на структуре деревьев, которая верна графическому представлению состояния машины. Это сработало, но было голодным ресурсом и подверженным ошибкам.

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

• Версия 0.4.x

  Поставляется инструмент рисования UFSM Compose

• Версия 0.5.x

  Фундаметальное изменение в том, как генерируется код. С 0,5 и иначе сложное время выполнения отбрасывается в пользу генератора кода, который вычисляет большинство вещей статически. Это существенно уменьшает требования к памяти времени выполнения.

Планы на будущее

• Добавить больше бэкэндов генератора кода, например, Rust, JS и Python
• DRC, Проверка правила дизайна
• Оптимизатор правил состояния на основе BDD на основе BDD

Строительство и установка

Артимии для Linux:

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

Здание:

 $ MKDIR BUILD && CD BUILD
$ cmake ..
$ make

Зависимости:

Упаковка	Ubuntu Package name
Cmake	Cmake
uuid	Uuid-runtime, uuid-dev
GTK 3	Libgtk-3-0, libgtk-3-dev

Продолжительные тесты:

 $ сделать тесты

Документация доступна здесь: документация UFSM