Verifica precoce e convalida con progettazione Model-Based

Tracciabilità tra requisiti e progettazione

Ti mostriamo come assicurare la tracciabilità dei tuoi requisiti dalla progettazione fino all’applicazione finale. MathWorks Consulting dimostra come meglio usare Requirements Toolbox per creare collegamenti bidirezionali tra modelli, test, codici e documenti dei requisiti, come generare e usare casi di test e come produrre i report necessari. Integriamo il sistema di gestione dei requisiti e impostiamo un’architettura che assicuri la manutenzione e minimizzi gli interventi manuali.

Conformità agli standard di modellazione e codifica

I consulenti MathWorks insegnano come verificare la conformità agli standard di modellazione e codifica specifici per il tuo settore, alle applicazioni e agli standard di sicurezza della tua azienda. Implementiamo controlli di modellazione personalizzati in Simulink Check per analizzare e convalidare i tuoi modelli. Ti aiutiamo a personalizzare Polyspace Bug Finder per verificare la conformità del codice generato e scritto a mano rispetto agli standard di codifica.

Testing e reporting basati sulla simulazione

Ti dimostriamo come eseguire test di equivalenza Model-In-the-Loop (MIL), Software-In-the-Loop (SIL), Processor-In-the-Loop (PIL) per verificare che il comportamento del software corrisponda al comportamento del modello. Spieghiamo come applicare analisi della copertura con Simulink Coverage a livello di modello e codice per valutare la qualità dei casi di test esistenti e come generare un test harness con Simulink Design Verifier per aumentare nuovamente la fiducia nel tuo progetto. Ti mostriamo come meglio usare Simulink Test per eseguirci in modo flessibile test e report, o per implementare test automatizzati su larga scala e collegarli con strumenti di terze parti.

Verifica tramite metodi formali

MathWorks Consulting può aiutarti a fornire prove del fatto che la progettazione e l’applicazione finale coincidono. Ti mostriamo come Simulink Code Inspector esamina il codice generato e come Simulink Design Verifier rileva errori come la logica morta, integer overflow, divisioni per zero, ecc. Ti illustriamo come Polyspace Code Prover dimostra correttezza del codice dimostrando l’assenza di overflow, divisioni per zero e alcuni altri errori di runtime.

MathWorks Consulting Services ha la comprovata capacità di:

• Stabilire un workflow precoce e continuo di verifica e convalida usando la progettazione Model-Based
• Assicurare tracciabilità e qualità durante tutto il processo di sviluppo
• Stabilire processi per rilevare e correggere errori di progettazione in anticipo
• Verificare che l’applicazione finale rispetti i requisiti