Analisi Statica del Codice per Sistemi Embedded

Presentazione

In questo Webinar vedremo come lavorano gli strumenti Polyspace.
Effettueremo diversi tipi di analisi su codice C in formato sorgente; ricercheremo diverse categorie di errori -  ad esempio errori run-time e quelli di accesso

concorrente – e infine controlleremo la conformità di un codice a regole MISRA e misureremo la complessità ciclomatica.

Al termine, ci occuperemo di problematiche quali la sicurezza e la misura incrementale della qualità del codice.

Punti principali

• Analisi veloce dei difetti (run-time, concorrenza, vulnerabilità)
• Analisi conformità MISRA-C:2004, MISRA-C++:2008, MISRA C:2012, JSF++,
• Metriche del codice, ciclomaticita'
• Come garantire l'assenza di errori run-time
• Analisi degli intervalli delle variabili e delle funzioni
• Ambiente grafico integrato per analisi errori e misura della qualità del codice

Informazioni sul relatore

Paolo Bizzarri si occupa da diversi anni di modellazione e simulazione in ambito industriale. In MathWorks Italia cura i prodotti di verifica e validazione dei modelli e del codice autogenerato. Ha avuto esperienze in ambito automotive e aerospaziale e di recente si occupa di Model Based Design in ambito “safety critical”.

Per gli utenti Flash: per visualizzare la tavola dei contenuti, passare il puntatore del mouse sul video.