Stateflow

 

Stateflow

Modellazione e simulazione di una logica decisionale usando macchine a stati e diagrammi di flusso

Progettazione di macchine a stati

Con Stateflow, è possibile progettare macchine a stati usando elementi di trascinamento ed enunciati logici semplici. Stateflow Onramp e sessioni di formazione sono disponibili per aiutarti a prendere dimestichezza con lo strumento.

Creazione di diagrammi di flusso

È possibile utilizzare i diagrammi di flusso per rappresentare la logica a stati. Pattern Wizard consente di generare automaticamente dei diagrammi di flusso per pattern logici comuni.

Modellazione della logica con le tabelle

Stateflow dispone di tabelle di transizione di stato e di tabelle di verità. Le tabelle di transizione di stato offrono una visione tabulare per modellare la logica, mentre le tabelle di verità implementano progetti di logica combinatoria in formato tabulare.

Esecuzione dei grafici Stateflow

Una volta eseguito il proprio diagramma di stato, delle animazioni mettono in evidenza gli stati attivi e le transizioni. È possibile modificare manualmente le variabili durante l’esecuzione per visualizzarne l’impatto sul sistema.

Monitoraggio e analisi dei dati

Simulation Data Inspector offre la possibilità di visualizzare i dati delle simulazioni. Questo strumento consente di monitorare un sistema per raccogliere informazioni utili sul suo comportamento.

Debug della logica in Stateflow

La funzionalità di debugging di Stateflow consente di seguire nel dettaglio l’esecuzione del grafico. È possibile impostare dei breakpoint e seguire varie funzioni del proprio diagramma di stato per capirne il comportamento imprevisto.

Pianificazione delle attività in Stateflow

Stateflow può invocare gli algoritmi di Simulink in modo periodico o continuo per pianificare l’esecuzione di componenti e simulare un ambiente in tempo reale.

Convalida dei progetti con Simulink

Stateflow si integra perfettamente con gli altri prodotti MathWorks per verificare, convalidare e testare i progetti. È possibile sfruttare questi prodotti per assicurarsi che i propri progetti soddisfino i requisiti, per trovare gli errori fin dalle prime fasi e per raggiungere gli obiettivi in termini di qualità.

Generazione di codice per la distribuzione

La generazione di codice consente di implementare la logica del proprio statechart su sistemi embedded. Stateflow supporta workflow per generare codice C, C++, VHDL e Verilog, così come testo strutturato per PLC.

“Fino a Deep Space 1, la tecnologia basata sulla generazione automatica di codice e gli statechart non erano mai stati utilizzati su sistemi di grandi dimensioni per i software per l’avionica per veicoli spaziali. Gli strumenti di MathWorks hanno reso possibile questo approccio.”

Wesley Huntress, NASA