DREAM įrankis yra bendrinis sistema, kuria siekiama užtikrinti bendrą semantinį domeną, kuris gali reikšti keletą (realaus laiko, energijos suvartojimas, išteklius) apribojimus.
Semantinis domenas turi vykdomąjį C ++ modelį, kuris buvo semantiškai pritvirtinti prie hibridinių automatų formalizmo. Nors apskaičiavimo modelis atitinka hibridinės automatų, kiek mums pavyko analizuojant modeliams konservatorius, suderinimo naudojant timed automatai ant vidutinio dydžio sistemoms.
Kad galėtų susidoroti su didelio masto pavyzdžių vartotojas turi galimybę naudotis modeliavimo / testavimo sąsają vykdomąjį C ++ modelis prieš įdiegiant sistemą. Mes planuoti išplėsti genetinių algoritmų išspręsti daug problemų.
Svajonė yra modeliavimas ir patikra sistema, kuri suteikia oficialų modelį ir analizuoti savo sistemą mažiau nei vieną dieną. Sistemos Dream yra detalizuojamos naudojant XML paprastu būdu. Tikiuosi, jums naudingas.
Realaus laiko tarpinė užtikrina patikimas ir veiksmingas platformas patvirtinamuosius svarbiausių funkcinių ir paslaugų kokybės (QoS) poreikius paskirstytos realiu laiku įterptųjų (DRE) sistemos.
Pagrindiniai iššūkiai DRE sistemos pokyčius yra saugus sudėtį sistemos komponentų ir kartografijos funkcines specifikacijas ant tikslinės platforma. Modelis pagrįstas technologijos padeda spręsti šiuos suteikiant dizainas laiko analizę ir teikia priemones greitam vertinimo projektavimo alternatyvų atžvilgiu end-to-end QoS savybes, nuspėjamumą ir veiklos priemones prieš įsipareigojant konkrečios platformos klausimus.
Platinama Realaus laiko Įterptosios analizės metodas svajonė yra atviro kodo įrankis ir metodas optimizuoti kelis paslaugų kokybės (QoS) savybes paskirstytos realiu laiku įterptųjų (DRE) sistemos. Projekto tikslas praktinio taikymo formalių analizės metodai realiu laiku tarpinės automatizuoti tikrinimo, plėtrą, konfigūraciją ir integraciją tarpinės pagrindu DRE sistemas.
Kas naujo šioje versijoje:
· Ši versija įgyvendino keletą optimizavimo geresniam modelis tikrinimo rezultatų, todėl įspūdingų rezultatų prieaugio bent 2-3 kartus.
· Nėra jokių žinomų atminties nutekėjimas, esančių dabartinės spaudai.
· Subalansuotą AVL medžiai dabar naudojami, todėl eksponentinio speedups kelių žingsnių modelio patikros metodas.
· XML schema patvirtinimas buvo įgyvendintas.
· Patikrinimo metu ataskaitos buvo modernizuotos, siekiant įtraukti duomenis apie modeliavimo greičiu.
· Atsitiktinės modeliavimas pagrįstas testavimas dabar suteikia vykdymo pėdsakų, kai terminas yra praleidote.
Komentarai nerastas