DREAM Tool

SOGNO Tool è un framework generico che mira a fornire un dominio semantico comune che può esprimere diversi (in tempo reale, il consumo di energia, di risorse) vincoli.
Il dominio semantico ha un modello di C ++ eseguibile che è stato semanticamente ancorata al automi formalismo ibrido. Anche se il modello di computazione corrisponde automi ibridi, finora abbiamo avuto successo per l'analisi dei modelli per approssimazione conservativa utilizzando automi temporizzati su sistemi di dimensioni moderate.
Per affrontare esempi larga scala l'utente ha la possibilità di utilizzare per la simulazione / test sul modello C ++ eseguibile prima di implementare il sistema. Abbiamo in programma di estendere gli algoritmi genetici per risolvere un gran numero di problemi.
DREAM è un quadro di simulazione e verifica che fornisce un modello formale e di analisi del sistema in meno di un giorno. Sistemi a SOGNO vengono specificati utilizzando XML in un modo semplice. Spero vi sia utile.
Real-time middleware offre piattaforme affidabili ed efficienti a supporto esigenze funzionali e di qualità di servizio (QoS) chiave del real-time distribuiti sistemi embedded (DRE).
Le sfide principali riguardanti gli sviluppi del sistema DRE includono composizione sicuro dei componenti del sistema e la mappatura delle specifiche funzionali sulla piattaforma di destinazione. Tecnologie basate Girl Aiuto affrontare questi problemi, consentendo analisi in fase di progettazione e di fornire i mezzi per una rapida valutazione delle alternative di progettazione per quanto riguarda end-to-end QoS proprietà, la prevedibilità e misure di performance prima di impegnarsi in una piattaforma specifica.
Il tempo reale distribuita embedded Metodo d'analisi DREAM è uno strumento open-source e il metodo per ottimizzare la qualità multiplo di servizio (QoS) proprietà di real-time distribuiti sistemi embedded (DRE). Il progetto si concentra sull'applicazione pratica dei metodi di analisi formali in tempo reale middleware per automatizzare la verifica, lo sviluppo, la configurazione e l'integrazione di sistemi basati middleware DRE-.
Cosa c'è di nuovo in questo rilascio:
· Questa versione implementata diverse ottimizzazioni per migliorare le prestazioni model checking, con conseguente miglioramento delle prestazioni impressionanti di almeno 2-3 volte.
· Non ci sono perdite di memoria noti presenti nella release corrente.
· Balanced alberi AVL sono ora utilizzati, con conseguente speedups esponenziali in diverse fasi del metodo di controllo del modello.
· Validazione XML Schema è stato attuato.
· Reporting in tempo di verifica è stato aggiornato per includere i dati sulle velocità di simulazione.
· Test basato sulla simulazione a caso ora fornisce una traccia di esecuzione quando una scadenza è mancato.