Ini adalah aplikasi Linux bernama autoCode4 yang rilis terbarunya dapat diunduh sebagai autoCode4_v1.0.0.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi ini secara online bernama autoCode4 dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
kode otomatis4
DESKRIPSI
autoCode4 adalah mesin yang mensintesis pengontrol dari spesifikasi formal yang dijelaskan di bawah subset logika temporal linier (LTL).Yang penting, ini mensintesis pengontrol aliran data sinkron (dalam bentuk Luster atau Ptolemy II) dan mempertahankan ketertelusuran persyaratan-ke-kode. Fitur tersebut diamanatkan dalam mengembangkan sistem kritis keselamatan dan dianggap penting untuk validasi spesifikasi atau mengintegrasikan implementasi manual seperti kode lama.
Spesifikasi LTL menangkap perilaku yang diinginkan dari pengontrol di mana lingkungan mengambil langkah pertama (yaitu, rasa/input kemudian bereaksi/keluar), sehingga pengontrol yang disintesis dapat dilihat sebagai mesin Mealy.
Tutorial langkah demi langkah tersedia dalam paket perangkat lunak.
Fitur
- Kontrol sintesis dari spesifikasi formal
- Menghasilkan laporan ketertelusuran persyaratan-ke-modul
Para penonton
Dirgantara, Teknologi Informasi, Sains/Penelitian, Manufaktur, Pengembang
User interface
Konsol/Terminal, Baris Perintah
Bahasa Pemrograman
Jawa
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/autocode4/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
