DREAM Tool on yleinen kehys, jonka tavoitteena on luoda yhteinen semanttinen verkko, joka voi ilmaista useita (reaaliaikainen, virrankulutus, resurssi) rajoitukset.
Semanttinen verkko on suoritettavan C ++ mallia, joka on semanttisesti ankkuroitu hybridi automaatit formalismin. Vaikka malli laskennan vastaa hybridi automaatit, toistaiseksi olemme onnistuneet analysoinnissa malleja konservatiivinen lähentämisestä avulla ajastetun automaatit on Keskikokoiset järjestelmissä.
Käsitellä laajoja esimerkkejä käyttäjä on kyky käyttää simulointi / testaus käyttöliittymä suoritettavan C ++ mallia ennen järjestelmän toteuttamiseen. Aiomme laajentaa geneettisiä algoritmeja ratkaista useita ongelmia.
DREAM on simulointi ja todentaminen puitteet, joissa muodollinen malli ja analyysi järjestelmän vajaassa vuorokaudessa. Järjestelmät DREAM määritellään XML suoraviivaisella tavalla. Toivottavasti löydät sen tarpeelliseksi.
Reaaliaikainen middleware tarjoaa luotettavaa ja tehokasta alustat tukevat keskeiset toiminnalliset ja palvelun laadun (QoS) tarpeet jaetaan reaaliaikaisiin sulautettuihin (DRE) järjestelmiin.
Keskeisiä haasteita DRE järjestelmässä kehitykseen kuuluu turvallisen kokoonpanon järjestelmän osat ja kartoittamalla toiminnalliset eritelmät päälle Kohdeympäristö. Malli-pohjaiset teknologiat auttavat käsittelemään näitä asioita mahdollistamalla suunnittelu-ajan analyysiä ja keinot nopeasti arvioida suunnittelun vaihtoehtoja suhteen end-to-end QoS ominaisuuksia, ennustettavuutta ja suorituskyky toimenpiteet ennen sitoutumistaan tiettyyn alustalle.
Hajautettu Reaaliaikainen Embedded Analyysi Menetelmä DREAM on avoimen lähdekoodin työkalu ja menetelmän optimoimiseksi useita palvelun laatua (QoS) ominaisuudet jaetaan reaaliaikaisiin sulautettuihin (DRE) järjestelmiin. Hankkeessa keskitytään käytännön soveltamista virallisen analyysimenetelmät reaaliaikaisia middleware automatisoida tarkastusta, kehitys, kokoonpano ja integrointi middleware-pohjaisten DRE järjestelmiin.
Mitä uutta tässä julkaisussa:
· Tämä versio toteutettu useita optimointeja parannettu malli tarkkailun suorituskyky, jolloin vaikuttava suorituskyky voittoja on vähintään 2-3 kertaa.
· Ei ole tiedossa muistivuotokuvioista läsnä nykyisessä julkaisu.
· Tasapainoinen AVL puut ovat nyt käytetään, mikä eksponentiaalinen speedups useissa vaiheissa mallin Tarkistusmenetelmä.
· XML validointi toteutettiin.
· Tarkastaminen aika raportointi oli päivitetty sisältämään tietoja simulointi nopeudet.
· Random simulointi-testaus tarjoaa nyt suoritustallenteen kun määräaika on menetetty.
Kommentteja ei löytynyt