Prodotti Polyspace

 

Polyspace

Codici critici sicuri e protetti

I prodotti di analisi statica dei codici Polyspace® utilizzano metodi formali per dimostrare l’assenza di errori di run-time critici in tutte le possibili strutture di controllo e nel flusso di dati. Includono checker di regole di codifica, vulnerabilità di sicurezza, metriche del codice e centinaia di classi aggiuntive di bug.

Polyspace Access

Identificazione dei difetti di codifica, revisione dei risultati delle analisi statiche e monitoraggio delle metriche di qualità del software

Polyspace Bug Finder

Controlla le regole di codifica, degli standard di sicurezza, delle metriche del codice e individua i bug

Polyspace Bug Finder Server

Identificazione di difetti software tramite analisi statiche in esecuzione su computer server

Polyspace Code Prover

Dimostra formalmente l’assenza di errori critici di run-time senza eseguire codice

Polyspace Code Prover Server

Dimostrazione dell’assenza di errori di run-time nel software

Polyspace Client for Ada

Dimostrazione dell’assenza di errori di run-time nel codice sorgente

Polyspace Server for Ada

Esecuzione della verifica del codice su cluster di computer e pubblicazione delle metriche

MATLAB Desktop

Analisi statica automatica dei codici utilizzando metodi formali per C/C++ e Ada

Qualità

Trova bug e dimostra formalmente l’assenza di errori critici di run-time, senza casi di test o esecuzione del codice.

Sicurezza

Soddisfa gli standard di sicurezza e di conformità di MISRA, ISO 26262, IEC 61508, DO-178 e delle normative FDA.

Sicurezza

Verifica le vulnerabilità di sicurezza del software e gli standard come CWE, CERT-C, ISO/IEC 17961, e altri.

Panel Navigation

Volvo Cars

Con Polyspace, possiamo garantire la sicurezza e la qualità del software individuando e correggendo gli errori critici di run-time prima dell’unione dei codici.

Panel Navigation

Alenia Aermacchi

Gli strumenti di analisi statica di Polyspace verificano il codice per gli errori di run-time, assicurano il rispetto degli standard di codifica MISRA e creano artefatti che permettono di ottenere crediti validi per la certificazione DO-178.

Panel Navigation

Miracor

Polyspace aiuta Miracor a dimostrare qualità e correttezza alla comunità di regolamentazione, compresa la FDA, per provare la sicurezza del dispositivo.