Recorded Webinar: I prodotti PolySpace per gli Utenti Simulink: Generazione e Verifica del Codice
Get immediate access to this webinar, and other recorded webinars, by completing this form.
Questo webinar offre una panoramica sulla verifica di codice nell’ambito del Model-Based Design. I partecipanti vedranno come la verifica del codice si inglobi nelle fasi di Verifica e Validazione tradizionalmente incluse nella simulazione di modelli e dimostrerà queste capacità sia con il software sviluppato manualmente che con il codice generato automaticamente. Lo scopo finale è ottenere una metrica oggettiva dell’affidabilità del codice.
Il Webinar illustrerà:
• Quali problemi si manifestano come errori di run-time nel codice
• Come rilevare errori di run-time e violazioni MISRA nel codice generato automaticamente/manualmente
• Come rintracciare errori nel modello
• Paralleli tra regole di codifica e proprietà a livello di modello
Il webinar si indirizza principalmente agli utenti Simulink che generano automaticamente codice di produzione utilizzando prodotti quali Real-Time Workshop® Embedded Coder, e a sviluppatori in C/C++ che intendono adottare la generazione di codice per sviluppi futuri.
This webinar was recorded on 11 Mar 2009
Duration: 60:00