Prossimi webinar

Analisi statica del codice per sistemi embedded

Data:
21 Giugno 2017
Ora:
15:00

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/sui relatori

Paolo Bizzarri si occupa da diverse 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 auto esperienze in ambito automotive e aerospaziale e di recente di occupa di Model Based Design in ambito “safety critical”.

Prodotti interessati

  • Polyspace Bug Finder
  • Polyspace Code Prover
  • Embedded Coder®