MIMPI Tool adalah kerangka umum yang bertujuan menyediakan domain semantik umum yang dapat mengekspresikan beberapa (real-time, konsumsi daya, sumber daya) kendala.
Domain semantik memiliki C ++ Model executable yang telah semantis berlabuh ke automata formalisme hybrid. Meskipun model perhitungan sesuai dengan automata hybrid, sejauh ini kami telah berhasil dalam menganalisis model dengan pendekatan konservatif menggunakan automata waktunya pada sistem ukuran sedang.
Untuk menghadapi contoh skala besar pengguna memiliki kemampuan untuk menggunakan antarmuka simulasi / pengujian pada C ++ Model eksekusi sebelum menerapkan sistem. Kami berencana untuk memperpanjang algoritma genetika untuk memecahkan sejumlah besar masalah.
MIMPI adalah simulasi dan verifikasi kerangka yang menyediakan model formal dan analisis sistem anda dalam waktu kurang dari satu hari. Sistem di IMPIAN yang ditentukan dengan menggunakan XML dengan cara sederhana. Saya harap Anda merasa berguna.
Real-time middleware menyediakan platform diandalkan dan efisien mendukung kebutuhan fungsional dan kualitas layanan (QoS) kunci didistribusikan real-time embedded (DRE) sistem.
Tantangan utama dalam perkembangan sistem DRE termasuk komposisi yang aman dari komponen sistem dan pemetaan spesifikasi fungsional ke platform target. Teknologi berbasis Model membantu mengatasi masalah ini dengan memungkinkan analisis desain-waktu dan menyediakan sarana untuk evaluasi cepat alternatif desain sehubungan dengan end-to-end QoS properti, prediktabilitas dan ukuran kinerja sebelum melakukan platform tertentu.
Distributed Real-time Embedded Analisis Metode MIMPI adalah alat open-source dan metode untuk mengoptimalkan kualitas beberapa layanan (QoS) sifat didistribusikan real-time embedded (DRE) sistem. Proyek ini berfokus pada aplikasi praktis dari metode analisis formal untuk real-time middleware untuk mengotomatisasi verifikasi, pengembangan, konfigurasi, dan integrasi sistem DRE berbasis middleware.
Apa yang Baru di Release ini:
· Versi ini menerapkan beberapa optimasi untuk meningkatkan kinerja memeriksa model, sehingga keuntungan kinerja mengesankan setidaknya 2-3 kali.
· Tidak ada kebocoran memori dikenal hadir dalam rilis saat ini.
· Seimbang pohon AVL yang sekarang digunakan, sehingga pemercepat eksponensial dalam beberapa langkah dari metode pemeriksaan Model.
· Validasi XML Schema dilaksanakan.
· Waktu Verifikasi pelaporan ditingkatkan untuk menyertakan data pada kecepatan simulasi.
· Pengujian berbasis simulasi sembarang sekarang menyediakan jejak eksekusi ketika tenggat waktu yang terlewatkan.
Komentar tidak ditemukan