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).

Conformità agli standard di modellazione

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.

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

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.

Trova gli errori nelle linee guide relative alle architetture di software e sistemi in fase di modifica (3:32)

Documentazione | Esempi

Un progetto MATLAB e il tuo modello di processo vengono immessi nel sistema di compilazione per essere analizzati. A questo punto viene generato un elenco di attività che sono state eseguite correttamente nella pipeline

Automazione di CI/CD per la progettazione Model-Based

Semplifica l’adozione e ottimizza i workflow di integrazione continua/distribuzione continua (CI/CD) per Simulink con il pacchetto di supporto CI/CD Automation for Simulink Check™. È possibile definire la propria pipeline CI/CD, prequalificarsi sul proprio desktop per evitare errori in fase di compilazione, eseguire l’integrazione con sistemi di CI come Jenkins^® o Gitlab^® ed eseguire build incrementali per ridurre i tempi di realizzazione.

Richiedi il pacchetto di supporto

Documentazione

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

Misurazione di qualità, complessità e manutenibilità

Valuta le dimensioni, l’architettura e la complessità del tuo modello con metriche di modello che ti aiutano a migliorare la leggibilità, la manutenibilità e la riusabilità dei tuoi artefatti MATLAB^®, Simulink^® e Stateflow^® nel tuo progetto. Nelle dashboard sono contenute le metriche utili a monitorare la propria posizione verso il raggiungimento della conformità a standard quali ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 e non solo.

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 (4:03) o nei test di equivalenza, dei controesempi per la dimostrazione di proprietà (6:33) 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.

Rilevamento di elementi di modellazione duplicati (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