DREAM Tool este un cadru generic, care are drept scop asigurarea unui domeniu semantic comun, care poate exprima mai multe (în timp real, consumul de energie, resurse) constrângeri.
Domeniul semantic are un C ++ model de executabil care a fost ancorat semantic pentru formalismul automata hibrid. Deși modelul de calcul corespunde automate hibrid, până acum am avut succes în analiza modelelor de aproximare conservatoare utilizarea automatelor temporizate pe sistemele de dimensiuni moderate.
Pentru a face cu exemple de mari dimensiuni utilizatorul are posibilitatea de a utiliza interfața de simulare / testarea pe executabil C ++ modelul înainte de implementarea sistemului. Am de gând să se extindă algoritmi genetici pentru a rezolva un număr mare de probleme.
DREAM este un cadru de simulare și verificare, care oferă un model formal și analiză a sistemului în mai puțin de o zi. Sisteme în DREAM sunt specificate folosind XML într-un mod simplu. Sper că veți găsi că este util.
Real-time middleware oferă platforme fiabile și eficiente în sprijinul nevoilor funcționale și calitatea serviciilor (QoS) cheie ale distribuite integrate sisteme (DRE) în timp real.
Principalele provocări în evoluția sistemului DRE includ compoziția în siguranță a componentelor de sistem și de cartografiere specificațiile funcționale pe platforma țintă. Tehnologii bazate pe modele ajuta la rezolvarea acestor probleme prin care permite analiza design-time și asigurarea mijloacelor pentru evaluarea rapidă a alternativelor de proiectare cu privire la end-to-end proprietăți QoS, previzibilitate și măsuri de performanță înainte de a comite o platformă specifică.
Distribuit în timp real încorporat Analiza Metoda DREAM este un instrument open-source și metode pentru optimizarea calității multiplu de servicii (QoS) proprietățile distribuite integrate sisteme (DRE) în timp real. Proiectul se concentrează pe aplicarea practică a metodelor de analiză formale în timp real middleware pentru a automatiza de verificare, dezvoltarea, configurarea și integrarea sistemelor DRE pe baza de middleware.
Ce este nou în această versiune:
· Această versiune a implementat mai multe optimizări pentru îmbunătățirea performanțelor modelului de verificare, care rezultă în câștiguri de performanță impresionante de cel puțin 2-3 ori.
· Nu există pierderi de memorie cunoscute prezente în versiunea curentă.
· Arbori AVL Balanced sunt acum folosite, rezultând în speedups exponențiale în mai multe etape ale metodei modelului de verificare.
· Validarea Schema XML a fost implementat.
· Raportarea timp de verificare a fost actualizat pentru a include date privind vitezele de simulare.
· Testarea pe bază de simulare aleatorie oferă acum o urmă de executare, atunci când un termen limită este pierdut.
Comentariile nu a fost găsit