Simulink Check

Misurazione della qualità del progetto, tracking delle attività di verifica e controllo della conformità agli standard

Simulink Check™ analizza i modelli, i requisiti e i test per valutare la qualità del progetto e la conformità agli standard. Fornisce controlli e metriche, riconosciuti in ambito industriale, che identificano eventuali violazioni delle linee guida e degli standard di modellazione durante la progettazione. Gli standard di sviluppo di software ad alta integrità supportati includono ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 e le linee guida di MathWorks Advisory Board (MAB). Simulink Check supporta anche standard di codifica sicuri come CERT C, CWE e ISO/IEC TS 17961. È possibile creare controlli personalizzati conformi ai propri standard o linee guida in grado di identificare eventuali problemi di conformità direttamente nell’editor.

Simulink Check fornisce metriche come la dimensione e la complessità per valutare lo stato e la qualità del progetto. La dashboard per i test sui modelli combina i dati provenienti dalle attività di test basate sui requisiti per eseguire il tracking dello stato del test. Il refactoring automatico del modello consente di sostituire gli elementi di progetto duplicati, ridurre la complessità del progetto e identificare il contenuto riutilizzabile. Lo strumento Model Slicer isola i comportamenti problematici presenti nei modelli e genera modelli semplificati per eseguire il debug.

Il supporto relativo agli standard industriali è disponibile nell’IEC Certification Kit (per ISO 26262 e IEC 61508) e nel DO Qualification Kit (per DO-178).

Finestra di Model Advisor che mostra un browser con l’elenco dei controlli degli standard di modellazione inclusi in Simulink Check e un pannello che descrive suggerimenti, tipi di controlli e stato dei risultati.

Controlli della conformità agli standard industriali in Model Advisor che mostrano i risultati di quelli eseguiti: superato, non superato, avviso e giustificato.

Verifica della conformità agli standard industriali

Utilizza i controlli preconfigurati della conformità a standard industriali quali ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, le linee guida di MathWorks Advisory Board (MAB), JMAAB, CERT C, CWE e ISO/IEC TS 17961.

Implementazione della progettazione Model-Based per garantire la conformità alla certificazione DO-254

Documentazione | Esempi

Struttura di cartelle con controlli personalizzati selezionati che genera un avviso in caso di utilizzo di una forma di icona errata per un operatore logico.

Personalizzazione dei controlli dei modelli

Configura, personalizza e automatizza i controlli personalizzati di Model Advisor per garantire che i modelli siano conformi agli standard e alle linee guida della tua organizzazione.

Documentazione | Esempi

Individuazione e risoluzione di errori in tempo reale

Utilizza il controllo in fase di modifica per identificare eventuali errori e risolverli non appena vengono introdotti in modo da evitare successive modifiche. Crea controlli personalizzati in fase di modifica per Simulink^®, System Composer™ o Stateflow^® e garantisci la conformità agli standard della tua organizzazione.

Documentazione | Esempi

Come definire controlli personalizzati del tempo di modifica (3:58)

Model Testing Dashboard con un pannello di artefatti che mostra un albero di modelli, requisiti e test.

Tracking dei test basati su requisiti

Monitora lo stato e la qualità degli artefatti dei test unitari per valutare la completezza dei test basati su requisiti e rispettare gli standard ISO 26262 e DO-178C.

Gestione del processo dei test basati sui requisiti con la Model Testing Dashboard (5:13)

Documentazione | Esempi

Metrics Dashboard che mostra la percentuale di linee guida sull’alta integrità soddisfatte e grafici a barre delle metriche per il potenziale riutilizzo e altri dati.

Misurazione della qualità del modello mediante l’uso di metriche

Raccogli le metriche del modello per valutare l’architettura, la complessità e la leggibilità del modello in conformità agli standard ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128 e altri standard. Integra metriche quali dimensione del modello, righe di codice, stato di conformità alle linee guida, riutilizzo e complessità in un’unica vista.

Modellazione degli obiettivi di qualità per la collaborazione tra OEM e fornitori (24:13)

Documentazione | Esempi

Model Advisor che mostra un controllo delle impostazioni dei caratteri del modello selezionato.

Automazione delle revisioni dei modelli e dei rapporti

Genera rapporti Model Advisor ai fini delle revisioni. Giustifica eventuali violazioni per eliminare avvisi ed errori. Esegui i controlli su più macchine in parallelo per accelerare la verifica della conformità con Parallel Computing Toolbox™.

Documentazione | Esempi

Modelli Simulink con evidenziazione dei segnali e dei blocchi che influiscono su uno specifico output di segnale.

Semplificazione e debug di modelli complessi

Utilizza Model Slicer per evidenziare le dipendenze funzionali attraverso una combinazione di analisi statica e dinamica basata sul comportamento attivo durante la simulazione. Esegui il debug degli errori nei test di base o nei test di equivalenza, dei controesempi per la dimostrazione di proprietà o degli integer overflow.

Debug degli errori nei test di base con Model Slicer (4:03)

Documentazione | Esempi

Gli schemi duplicati in un modello sono evidenziati come gruppi di cloni e un grafico a barre mostra un riepilogo.

Identificazione e refactoring dei cloni di modellazione nei modelli

Analizza i modelli e individua cloni e schemi di modellazione duplicati. Esegui il refactoring automatico al fine di migliorare la manutenibilità, aumentare il riutilizzo e ridurre la complessità del progetto. Rileva gli schemi inefficienti ed eseguine il refactoring per aumentare l’efficienza del codice.

Rilevazione di cloni di modellazione (2:13)

Documentazione | Esempi

Risorse di prodotto:

Documentazione Esempi di codice Video Requisiti Note della release

Airbus Helicopters accelera lo sviluppo di un software certificato DO-178B con la progettazione Model-Based

“Utilizziamo il nostro modello di progettazione del sistema in Simulink per ARP4754 per stabilire requisiti fissi e oggettivi. Risparmiamo tempo utilizzando il modello come base per il nostro modello di progettazione del software DO-178, da cui generiamo il codice di volo e riutilizzando i test di convalida per la verifica del software.”
Ronald Blanrue, Airbus Helicopters

Visualizza altri casi dei clienti