Uppaal Gerçek zamanlı sistemlerin modellenmesi, doğrulanması ve doğrulanması için entegre bir araç ortamı
Şimdi İndirin

Uppaal Sıralama ve Özet

Uppaal Etiketler

model onaylamak doğrulamak Süreç Modelleme Ortamı doğrulama aracı Yazılım Doğrulama Aracı Gerçek zamanlı sistem modelleyici Gerçek zamanlı sistem doğrulaması Gerçek zamanlı sistem doğrulaması Bilgi Sistemleri Doğrulama modelleme ortamı

Uppaal Açıklama

UPPAAL, zamanlanmış otomata ağları olarak modellenen gerçek zamanlı sistemleri tasarlamanıza, doğrulamanıza ve doğrulamanıza olanak sağlayan kapsamlı bir yazılım uygulamasıdır. Java'da geliştirilmiştir ve kullanıcı dostu bir çalışma alanına sarılmıştır. Uppaal'ı neredeyse taşınabilir hale getiren kurulum paketi yoktur. Bilgisayarınızda Java yüklü olması şartıyla, program dosyalarını diskin bir kısmına kaydedebilir ve aracı başlatmak için JAR dosyasını tıklatabilirsiniz. Başka bir olasılık, Java yüklü olan herhangi bir PC'de doğrudan çalıştırmak için bir kalem sürücüsüne kaydetmektir. Dikkate geçmeye değer önemli bir özellik, Windows kayıt defteri ayarlarını değiştirmemesi veya izniniz olmadan diskteki ekstra dosyalar oluşturmamasıdır. Düzenleme, Simülasyon ve Doğrulama Araçları GUI, projeyi düzenlemek, simüle etmek ve doğrulamak için üç sekmeye bölünmüş tek bir pencereden ayrılır. Editör, proje parçalarını (örneğin beyannameler, şablonlar) ve yazma kodu için iki kareye ayrılır, simülatör modelleme sırasında bir sistemin olası dinamik çalışmalarını araştırır ve doğrular, doğrulama aracı projeye genel bir bakış sağlar, böylece sizi etkinleştirir. Sorguları ve yorumları yazın. Program ayarlarını yapılandırma, etiketleri yakınlaştırmak, etiketleri gizlemek, simülatörü yeniden yüklemek, Simülatörü yeniden yüklemek, sözdizimini kontrol etmek ve dönüştürmek, arama sırasını değiştirmek ve dönüştürmek için, Arama sırasını değiştir (önce, ilk önce, rastgele derinlik), durum alanı azaltma ve Temsil, teşhis izini, ekstrapolasyon ve karma masa boyutunu ve daha fazlasını seçin. Değerlendirme ve Sonuç Bizim testlerimizde herhangi bir istikrar sorunuyla karşılaşmadık, çünkü uppaal asmak, çarpma veya hata mesajları açtı. İyi bir tepki süresi ve sistem performansı üzerinde minimum etkiye sahiptir, bu nedenle CPU ve RAM'i domuz etmez. Sonuç olarak, Uppaal, gerçek zamanlı sistemleri modellemek, onaylamak ve doğrulamak için entegre bir ortamda çalışmak isteyen öğrencilere kullanışlı olarak gelir. Bu yorum Elena Opris, Son Güncelleme 4 Ocak 2015 tarihinde Güncellendi

Uppaal İlgili Yazılım