ufsm

UFSMは、階層状態マシンを描画し、コードを生成するためのツールです。 2つの主要な部分は、グラフィカルエディターとコードジェネレーター「UFSM-Generate」の「UFSM-Compose」です。

免責事項

UFSMは進行中の作業であり、不完全であり、機能しないマシンを設計することは完全に可能です。

歴史

• バージョン0.1-0.3

  状態マシンのグラフィカルな表現に忠実なツリー構造で動作するかなり複雑なランタイムを使用しました。これは機能しましたが、リソースが空腹でエラーが発生しやすいものでした。

  最初のバージョンも外部の描画ツールに依存しており、XMI形式を使用してデザインをコンパイル可能なコードに変換しました。

• バージョン0.4.x

  「UFSM Compose」描画ツールを出荷しました

• バージョン0.5.x

  コードの生成方法における基金の変更。 0.5以降、複雑なランタイムは、ほとんどのものを静的に計算するコードジェネレーターを支持してドロップされます。これにより、ランタイムメモリの要件が大幅に削減されます。

将来の計画

• Rust、JS、Pythonなど、コードジェネレーターのバックエンドを追加します
• DRC、デザインルールチェッカー
• BDDベースの状態条件ルールオプティマイザー

建物とインストール

Linuxのappimages：

描画ツールとコードジェネレーターには、リリースの下でAppimagesが利用できます。これは、UFSMをすばやくテストする最も簡単な方法です。

建物：

 $ mkdir build && cd build
$ cmake ..
$ make

依存関係：

パッケージ	Ubuntuパッケージ名
cmake	cmake
uuid	uuid-runtime、uuid-dev
GTK 3	libgtk-3-0、libgtk-3-dev

実行中のテスト：

 $テストを行います

ドキュメントはこちらから入手できます：UFSMドキュメント