DREAM Tool

DREAM Tool ay isang pangkaraniwang balangkas na naglalayong sa pagbibigay ng isang karaniwang semantic domain na kung saan ay maaaring ipahayag sa ilang (real-time, kapangyarihan consumption, resource) limitasyon.
May isang executable C ++ model na kung saan ay semantically iniduong sa hybrid automata pormalismo Ang semantic domain. Kahit na ang mga modelo ng pagtutuos tumutugma sa hybrid automata, sa ngayon kami ay naging matagumpay sa pag-aaral ang mga modelo sa pamamagitan ng konserbatibo pagtatantya gamit time automata sa moderate systems laki.
Upang pakikitungo sa malakihang mga halimbawa ang gumagamit ay may kakayahan upang gamitin ang interface simulation / testing sa mga maipapatupad na C ++ model bago ang pagpapatupad ng sistema. Plano naming palawakin ang genetic algorithm upang malutas ang isang malaking bilang ng mga problema.
Dream ay isang simulation at pagpapatunay framework na nagbibigay ng isang pormal na modelo at pagtatasa ng iyong system sa mas mababa sa isang araw. Systems sa Dream ay tinukoy gamit ang XML sa isang matapat na paraan. Umaasa ako mong mahanap ito kapaki-pakinabang.
Real-time middleware nagbibigay ng maaasahan at mahusay na platform na sumusuporta key pagganap at kalidad ng serbisyo (QoS) mga pangangailangan ng ibinahagi sistema (DRE) na naka-embed na real-time.
Key hamon sa developments na sistema DRE isama safe komposisyon ng mga bahagi ng sistema at pagmamapa ang pagganap na mga detalye papunta sa target platform. Makatulong sa mga teknolohiya ng Modelo-based matugunan ang mga isyu sa pamamagitan ng pagpapagana ng pagtatasa ng disenyo-oras at nagbibigay ng mga paraan para sa mabilis na pagsusuri ng mga alternatibo na disenyo na may paggalang sa mga end-to-end na mga katangian QoS, predictability at pagganap ng mga panukala bago gumawa sa isang partikular na platform.
Ang mga ibinahagi embed Pagtatasa Paraan DREAM Real-time ay isang open-source na kasangkapan at pamamaraan para sa pag-optimize ng maramihang kalidad ng serbisyo (QoS) mga katangian ng ibinahagi sistema (DRE) na naka-embed na real-time. Ang mga proyekto ay nakatutok sa mga praktikal na aplikasyon ng pormal na pamamaraan sa pagtatasa sa real-time middleware upang awtomatiko ang pag-verify, pag-unlad, configuration, at pagsasama ng middleware-based DRE systems.
Ano ang Bago sa Paglabas na ito:
· Ipinatupad Ang bersyon na ito ng ilang mga optimizations para sa pinabuting pagganap checking modelo, na nagreresulta sa mga nadagdag na impressive pagganap ng hindi bababa sa 2-3 beses.
· Walang mga kilala leaks memory naroroon sa kasalukuyang release.
· Balanseng AVL puno ay ginagamit ngayon, na nagreresulta sa pagpaparami speedups sa ilang mga hakbang ng paraan checking model.
· Validation XML panukala ay ipinatupad.
· Time Verification pag-uulat ay na-upgrade na isama ang data sa mga bilis ng simulation.
· Random testing simulation-based na ngayon ay nagbibigay ng isang pagpapatupad ng bakas kapag ang isang deadline ay hindi nakuha.