Simulink Check
Misurazione della qualità del progetto, tracking delle attività di verifica e controllo della conformità agli standard
Hai domande? Contatta l’ufficio commerciale.
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, EN 50716 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 e dashboard per valutare lo stato e la qualità del progetto. 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
Collegamento degli agenti IA a Simulink Check
Integra funzionalità specifiche del dominio nel tuo workflow di Agentic AI.
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.
Individuazione e risoluzione di errori in tempo reale
Usa la Model Guidance Dashboard per identificare gli errori e correggerli man mano che vengono introdotti, evitando così rilavorazioni successive. Crea controlli personalizzati in fase di modifica per Simulink, System Composer o Stateflow per soddisfare gli standard della tua organizzazione.
Personalizzazione dei controlli dei modelli
Crea, configura e automatizza i controlli personalizzati di Model Advisor per garantire che i modelli siano conformi agli standard e alle linee guida della tua organizzazione.
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.
Esecuzione di controlli con agenti IA
Con Simulink Agentic Toolkit e Simulink Check puoi utilizzare agenti IA per creare controlli, verificare la conformità, individuare problemi e proporre correzioni. Puoi anche automatizzare le correzioni e ripetere i controlli sul modello, supervisionando al contempo le azioni dell’agente.
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à degli artefatti MATLAB, Simulink e Stateflow del tuo progetto. Nelle dashboard sono contenute le metriche utili a monitorare i progressi verso la conformità a ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 e ad altri standard.
Automazione di CI/CD per la progettazione Model-Based
Semplifica l’adozione e ottimizza i workflow di integrazione continua/distribuzione continua (CI/CD) con CI Support Package for Simulink. Definisci la tua pipeline di CI/CD, esegui una pre-qualificazione delle modifiche sul tuo desktop per evitare errori in fase di compilazione, esegui l’integrazione con sistemi di CI come Jenkins® o GitLab® ed esegui build incrementali per ridurre i tempi di realizzazione.
Semplificazione e debug di modelli complessi
Utilizza Model Slicer per evidenziare le dipendenze funzionali attraverso una combinazione di analisi statica e analisi 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 overflow di interi.
Identificazione ed esecuzione del refactoring dei cloni di modellazione
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 i pattern inefficienti ed eseguine il refactoring per aumentare l’efficienza del codice generato.
Risorse sui prodotti:
“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 validazione per la verifica del software.”
FAQ su Simulink Check
Simulink Check è un componente aggiuntivo di Simulink che aiuta gli ingegneri a migliorare la qualità dei modelli Simulink identificando automaticamente potenziali problemi e verificando la conformità alle linee guida per la modellazione o agli standard industriali. Fornisce strumenti per eseguire controlli, esaminare i risultati e monitorare le metriche di qualità.
Simulink Check supporta standard per sistemi ad alta integrità, tra cui ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128 e le linee guida di MathWorks Advisory Board (MAB), nonché standard di codifica sicura come CERT C, CWE e ISO/IEC TS 17961.
Sì, puoi configurare, personalizzare e automatizzare controlli personalizzati di Model Advisor per garantire che i modelli siano conformi agli standard e alle linee guida della tua organizzazione, identificando i problemi di conformità direttamente nell’editor.
La Model Testing Dashboard contiene i dati delle attività di test basate sui requisiti per monitorare lo stato e la qualità degli artefatti dei test unitari e valutare la completezza dei test basati sui requisiti ai fini della conformità agli standard ISO 26262 e DO-178C.
Il controllo in fase di modifica identifica gli errori e li gestisce man mano che vengono introdotti nell’area di lavoro Simulink, evitando così di doverli correggere in un secondo momento. Consente inoltre di creare controlli personalizzati per Simulink, System Composer o Stateflow conformi agli standard della tua organizzazione.
Model Slicer evidenzia le dipendenze funzionali per isolare i comportamenti problematici nei modelli e genera modelli semplificati per eseguire il debug di problemi quali errori nei test di base, errori nei test di equivalenza o overflow di interi.
Sì, Simulink Check analizza i modelli per individuare cloni e pattern di modellazione duplicati, quindi li sottopone a refactoring automatico al fine di migliorare la manutenibilità, aumentare il riutilizzo e ridurre la complessità del progetto.
Sì, il CI/CD Automation for Simulink Check Support Package semplifica l’adozione dei workflow di integrazione continua/distribuzione continua, consentendo di definire pipeline, eseguire la pre-qualificazione delle modifiche sul desktop, eseguire l’integrazione con sistemi come Jenkins o GitLab ed eseguire build incrementali.
Simulink Check fornisce metriche relative a dimensioni, architettura e complessità per gli artefatti MATLAB, Simulink e Stateflow, contribuendo a migliorare la leggibilità, la manutenibilità e la riutilizzabilità, monitorando al contempo i progressi verso la conformità agli standard.
Sì, puoi eseguire i controlli su più core o cluster in modalità parallela per ridurre i tempi di elaborazione e accelerare la verifica della conformità quando utilizzi Parallel Computing Toolbox.
Prova Simulink Check gratis
Scopri i nostri prodotti.
Pronto per acquistare?
Richiedi una quotazione e scopri i prodotti correlati.
Sei uno studente?
È possibile che la tua scuola già fornisca accesso a MATLAB, Simulink e ad altri prodotti complementari mediante una Campus-Wide License.
