Stateflow

Validazione della progettazione e generazione del codice

Utilizzando Stateflow e altri prodotti Simulink è possibile validare la progettazione in base ai requisiti e generare il codice per l'implementazione su sistema embedded.

Con Simulink Verification and Validation è possibile mappare i requisiti direttamente sugli oggetti Stateflow, verificare la conformità agli standard internazionali di sicurezza (safety) e acquisire la metrica di copertura del modello.

Con Simulink Design Verifier è possibile rilevare errori di progettazione (analisi formale) e generare vettori di test per la copertura completa del modello.

Usando i prodotti di generazione codice aggiuntivi è possibile generare il codice C e C++, HDL o PLC direttamente dal diagramma di stato.

Connecting Simulink with Other Simulation Frameworks

Visualizza webinar