DREAM Tool

DREAM Tool bir neçə (real-time, enerji istehlakı, resurs) məhdudiyyətlər ifadə edə bilər bir ümumi semantik domen təmin etməkdir ümumi çərçivəsində edir.
semantik domain semantically hibrid automata formalizmə anchored ki, bir yürütülebilir C ++ model var. Hesablama model hibrid avtomatlar uyğun olsa da, bu günə qədər orta ölçüsü sisteminin vaxtında automata istifadə mühafizəkar uyğunlaşdırılması modelləri təhlil uğurlu olmuşdur.
Geniş miqyaslı nümunələri ilə istifadəçi məşğul sisteminin həyata əvvəl yürütülebilir C ++ model simulyasiya / test interface istifadə etmək imkanına malikdir. Biz problemləri bir çox həll etmək üçün genetik alqoritmlər genişləndirmək niyyətindəyik.
DREAM bir gün az sistem bir formal model və analiz edir simulyasiya və yoxlama çərçivəsində edir. Yuxuda Systems bir sadə şəkildə XML istifadə edərək müəyyən edilir. Mən sizə faydalı tapa ümid edirik.
Real-time middleware (Dre) sistemləri paylanmış əlaqədar real-vaxt əsas funksional və xidmət (QoS) keyfiyyəti ehtiyaclarını dəstək Etibarlı və səmərəli platformaları təmin edir.
DRE sistemi inkişaflar əsas problemlər təhlükəsiz sistem komponentləri tərkibi və hədəf platforma üzərində funksional xüsusiyyətləri Xəritəçəkmə daxildir. Model-based texnologiyaları dizayn-vaxt analiz imkan və son-to-end üçün QoS xüsusiyyətləri, qabaqcadan və performans tədbirlər xüsusi platforma törətməkdə əvvəl münasibətdə dizayn alternativ sürətli qiymətləndirilməsi üçün vasitə təmin edərək bu məsələləri kömək edir.
Təhlil Əlaqə DREAM Ankastre paylanan Real-time (Dre) sistemləri paylanmış əlaqədar real-vaxt xassələri xidməti (QoS) çox keyfiyyətli optimallaşdırılması üçün bir açıq mənbə alət və metodudur. Layihə middleware əsaslı DRE sistemlərinin yoxlanılması, inkişaf, konfiqurasiya, və inteqrasiya avtomatlaşdırılması üçün real-time middleware formal təhlili üsulları tətbiq yönəlmişdir.
Bu Release Yenilikler:
· Bu versiya ən az 2-3 dəfə təsirli performans mənfəət nəticəsində, inkişaf etmiş model yoxlanılması performans üçün bir neçə optimallaşdırılması həyata keçirilir.
· Cari azad mövcuddur heç bir tanınmış yaddaş sızıntıları var.
· Balanced AVL ağacları indi model yoxlanılması metodu bir neçə addımlar exponential speedups ilə nəticələnən istifadə olunur.
· XML şeması qiymətləndirmə həyata keçirilmişdir.
· Yoxlanılması time hesabat simulyasiya sürəti haqqında məlumatları daxil yüksəldildi.
· Random simulyasiya-based test indi son buraxılmış icra iz təmin edir.