Stateflow
Modellare e simulare una logica decisionale usando macchine a stati e diagrammi di flusso
Stateflow® fornisce un linguaggio grafico che include diagrammi di transizione di stato, diagrammi di flusso, tabelle di transizione di stato e tabelle della verità. Puoi utilizzare Stateflow per descrivere come gli algoritmi® di MATLAB e i modelli® di Simulink reagiscono a segnali di input, eventi e condizioni basate sul tempo.
Stateflow consente di progettare e sviluppare controllo di supervisione, pianificazione di operazioni, gestione dei guasti, protocolli di comunicazione, interfacce utenti e sistemi ibridi.
Con Stateflow, si può modellare la logica decisionale, combinatoria e sequenziale che può essere simulata come blocco in un modello Simulink o eseguita come oggetto in MATLAB. L’animazione grafica consente di analizzare ed eseguire il debug della logica mentre è in esecuzione. I controlli del tempo di modifica e runtime assicurano la coerenza e la completezza della progettazione prima dell’implementazione.
Progettazione di logica di controllo
Modella la logica di sistema utilizzando macchine a stati, diagrammi di flusso e tabelle della verità.
Progettazione grafica di macchine a stati
Costruisci graficamente macchine a stati avvalendoti di stati e giunzioni collegati da transizioni. Puoi anche creare funzioni usando le notazioni del diagramma di flusso, i sottosistemi Simulink, il codice MATLAB e le tabelle della verità.
Diagramma Stateflow che definisce la logica di un sistema di controllo della temperatura di una caldaia. Il diagramma utilizza funzioni grafiche (destra) per implementare gli algoritmi di utility chiamati dal sistema di riscaldamento (sinistra).
Progettazione di diagrammi di flusso
Crea diagrammi di flusso disegnando transizioni sono collegate ai giunzioni. Pattern Wizard consente di creare schemi di flusso logici di comune utilizzo. Puoi utilizzare diagrammi di flusso per progettare la logica di transizione tra gli stati.
Rappresenta graficamente logiche combinatorie come alberi decisionali e loop iterativi con diagrammi di flusso.
Progettazione di logica con tabelle
Le tabelle della verità in Stateflow consentono di modellare la logica in Simulink quando l’output dipende solamente dall’input attuale. Le tabelle di transizione di stato forniscono un ambiente strutturato per la modellazione di macchine a stati in Simulink.
Tabella della verità che implementa la logica per la selezione di una lettura di sensore valida in un algoritmo di identificazione guasti.
Esecuzione e debug di grafici
Visualizza il comportamento del sistema per l’analisi e il debug.
Esecuzione dei grafici Stateflow
Visualizza il comportamento del sistema utilizzando animazioni del diagramma di stato per evidenziare transizioni e stati attivi nei grafici.
Esecuzione del debug di grafici Stateflow
Le funzionalità di debug di Stateflow consentono di analizzare dettagliatamente l’esecuzione del grafico. Puoi impostare un breakpoint, monitorare i valori dei dati e scorrere le varie funzioni nei diagrammi di stato.
Opzioni di visualizzazione dei dati di simulazione in Stateflow. In alto a sinistra: Simulink Data Inspector per la comparazione di segnali specifici; in basso a sinistra: interfaccia MATLAB personalizzata per l’analisi dei dati; destra: Simulink Signal Selector per il confronto di stati specifici.
Sviluppare logica riutilizzabile per applicazioni MATLAB
Utilizza gli oggetti grafici di Stateflow per sviluppare logica riutilizzabile per le applicazioni MATLAB. Progetta macchine a stati e logiche di temporizzazione per un’ampia gamma di applicazioni, incluse misurazioni e test, sistemi autonomi, elaborazioni del segnale e comunicazioni.
Oggetti grafici riutilizzabili
Crea grafici Stateflow standalone che utilizzano tutte le funzionalità del linguaggio MATLAB nelle azioni di stato e transizione. Utilizza questi grafici come oggetti MATLAB nelle applicazioni che richiedono macchine a stati e logica di temporizzazione.
Macchina a stati e logica di temporizzazione
Accelera lo sviluppo di applicazioni MATLAB utilizzando Stateflow per progettare graficamente macchine a stati e logica di temporizzazione che sarebbero difficili da implementare testualmente.
Distribuzione applicazioni Stateflow
Crea applicazioni MATLAB che includono oggetti grafici Stateflow e li condividono senza bisogno di Stateflow.
Condividi applicazioni MATLAB che includono oggetti grafici Stateflow con utenti che non hanno Stateflow.
Pianificare gli algoritmi Simulink
Pianifica algoritmi modellati in Simulink.
Pianificazione periodica e continua
Puoi modellare la logica condizionale, basata sugli eventi e basata sul tempo in Stateflow per richiamare algoritmi Simulink in modo periodica o continua. Orchestra l’esecuzione dei componenti per simulare la pianificazione del tuo ambiente in tempo reale.
Puoi modellare la logica in Stateflow per richiamare algoritmi Simulink e MATLAB in modo periodico o continuo.
Operatori temporali
Utilizza operatori basati su eventi e sul tempo (come after e durata) per specificare la logica di transizione degli stati sulla base di numero di eventi, tempo trascorso e segnali denoised senza la necessità di creare e gestire timer e contatori.
Validare progettazioni e generare un codice
Convalida la tua progettazione in base ai requisiti e genera codice da implementare nel tuo sistema embedded.
Validazione di progettazioni
Utilizza Stateflow con altri prodotti Simulink per convalidare la tua progettazione in base ai requisiti.
- Collega i requisiti direttamente agli oggetti Stateflow trascinandoli e rilasciandoli con Simulink Requirements™.
- Verifica che i diagrammi di stato rispettino gli standard utilizzando Simulink Check™.
- Raccogli modelli e metriche di copertura del codice generato con Simulink Coverage™.
- Rileva errori di progettazioni e genera vettori di test utilizzando Simulink Design Verifier.
- Sviluppa, gestisci ed esegui test basati sulla simulazione con Simulink Test™.
Messa in evidenza di Active Logic utilizzando Model Slicer.
Generazione di codice
Genera codice per l’implementazione della logica Stateflow in sistemi embedded.
- Genera codice C e C++ dai modelli Simulink e Stateflow utilizzando Simulink Coder™.
- Genera codici VHDL e Verilog per progetti FPGA e ASIC con HDL Coder.
- Genera testo strutturato IEC 61131-3 per PLC e PAC utilizzando Simulink PLC Coder™.
Genera codice per implementare la logica Stateflow.
Funzionalità recenti
Diagrammi Stateflow in MATLAB
Programma graficamente, sottoporre a debug ed eseguire macchine a stati standalone come oggetti MATLAB
Code C esterno
Integrare totalmente il Codice C esterno nel grafico Stateflow con sincronizzazione delle modifiche, verifica degli errori, analisi dei valori e analisi con Simulink Coverage and Simulink Design Verifier
Editor tabella della verità
Progettare logica combinatoria con l’ambiente di modifica Simulink e Stateflow utilizzando controllo del tempo di modifica, animazione, breakpoint ed eseguendo debug passo-passo
Sottosistemi Simulink come stati Stateflow
Progettare stati utilizzando algoritmi Simulink continui e periodici per modellare sistemi ibridi
Sequence Viewer
Visualizzare modifiche di stato, attività di eventi e chiamate di funzione nel tempo
Visualizzazione dei dati e dello stato
Streaming di attività dello stato e dei dati direttamente da Stateflow a Simulation Data Inspector
Controllo del tempo di modifica
Rilevare e risolvere potenziali problemi nei grafici in fase di progettazione
Symbol Manager
Creare e gestire dati, eventi e messaggi direttamente in Stateflow Editor
Guarda le note di rilascio per ulteriori informazioni su queste feature e funzioni corrispondenti.
