
UFSM adalah alat untuk menggambar mesin keadaan hierarkis dan membuat kode. Dua bagian utama adalah "Komposisi UFSM" editor grafis dan "UFSM-generate", generator kode.

UFSM adalah pekerjaan yang sedang berlangsung, tidak lengkap, sepenuhnya mungkin untuk merancang mesin yang tidak akan berfungsi.
- Versi 0,1 - 0,3
Menggunakan runtime yang agak rumit yang beroperasi pada struktur pohon yang berlaku untuk representasi grafis mesin negara. Ini berhasil tetapi sumber daya lapar dan rawan kesalahan.
Versi pertama juga mengandalkan alat gambar eksternal dan menggunakan format XMI untuk menerjemahkan desain ke kode yang dapat dikompilasi.
- Versi 0.4.x
Alat menggambar "UFSM Compose" yang dikirim
- Versi 0.5.x
Perubahan fundametal dalam bagaimana kode dihasilkan. Dari 0,5 dan seterusnya, runtime yang rumit dijatuhkan demi generator kode yang menghitung sebagian besar hal secara statis. Ini mengurangi persyaratan memori runtime secara substansial.
- Tambahkan lebih banyak Code Generator Backends, misalnya Rust, JS dan Python
- DRC, Pemeriksa Aturan Desain
- Pengoptimal Aturan Kondisi Negara Berbasis BDD
AppImages for Linux:
Di bawah Rilis AppImages tersedia untuk alat menggambar dan generator kode. Ini adalah cara termudah untuk dengan cepat menguji UFSM.
Bangunan:
$ mkdir build && cd build $ cmake .. $ make
Ketergantungan:
| Kemasan | Nama Paket Ubuntu |
|---|---|
| cmake | cmake |
| UUID | uuid-runtime, uuid-dev |
| GTK 3 | libgtk-3-0, libgtk-3-dev |
Menjalankan tes:
$ membuat tes
Dokumentasi tersedia di sini: Dokumentasi UFSM