RÜYA Aracı birkaç (gerçek zamanlı, güç tüketimi, kaynak) kısıtlamaları ifade edebilir, ortak bir anlamsal etki sağlamayı amaçlayan genel bir çerçevedir.
semantik alanı semantik melez otomata biçimcilik demirlemiş olan bir yürütülebilir C ++ modeli vardır. Hesaplama modeli hibrid otomata karşılık rağmen, bugüne kadar biz orta boy sistemlerde zamanlanmış otomata kullanarak muhafazakar yaklaşım ile model analiz başarılı olmuştur.
Büyük ölçekli örneklerle kullanıcıya başa sistemi uygulamadan önce yürütülebilir C ++ model üzerinde simülasyon / test arabirimi kullanmak için yeteneği vardır. Biz sorunların çok sayıda çözmek için genetik algoritmalar genişletmek planlıyoruz.
RÜYA bir günden kısa bir sürede sistem bir model ve analiz sağlar bir simülasyon ve doğrulama çerçevedir. RÜYA Sistemleri basit bir şekilde XML kullanılarak belirtilen edilir. Ben bunu yararlı bulacağını umuyorum.
Gerçek zamanlı katman (PRM) sistemleri gömülü dağıtılmış gerçek zamanlı anahtar işlevsel ve hizmet (QoS) kalite ihtiyaçlarını destekleyen güvenilir ve verimli platformlar sağlar.
PRM sistem gelişmeler kilit zorluklar güvenli sistem bileşenlerinin kompozisyon ve hedef platform üzerine fonksiyonel özellikleri haritalama içerir. Model tabanlı teknolojiler tasarım zamanı analiz sağlayan ve uçtan uca QoS özellikleri, öngörülebilirlik ve performans ölçüleri belirli bir platform için taahhütte bulunmadan önce ilgili tasarım alternatiflerinin hızlı değerlendirme için araçlar sunarak bu sorunları ele yardımcı olur.
Analiz Metodu RÜYA Gömülü Dağıtılmış Gerçek zamanlı (PRM) sistemleri gömülü dağıtılmış gerçek zamanlı özelliklerini servisi (QoS) çoklu kalitesini optimize etmek için bir açık kaynak aracı ve yöntemidir. Proje katman tabanlı PRM sistemlerinin doğrulama, geliştirme, yapılandırma ve entegrasyon otomatikleştirmek için gerçek zamanlı katman resmi analiz yöntemlerinin pratik uygulama üzerinde duruluyor.
Bu Sürümdeki Yenilikler:
· Bu sürüm en az 2-3 kez etkileyici performans artışı sonuçlanan geliştirilmiş model kontrolü performansı için çeşitli optimizasyonlar uygulamıştır.
· Mevcut sürümde mevcut bilinen bellek sızıntıları vardır.
· Dengeli AVL ağaçları hemen model kontrolü yönteminin birkaç adımda üslü hızlanma elde kullanılır.
· XML şeması doğrulama hayata geçirildi.
· Doğrulama zamanlı raporlama simülasyon hızları verileri içerecek şekilde yükseltildi.
· Rastgele simülasyon tabanlı test artık son cevapsız bir yürütme izini sağlar.
Yorum Bulunamadı