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 Code Prover

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

Per saperne di più
Richiedi la versione di prova

Polyspace Bug Finder

Verifica le regole di codifica, gli standard di sicurezza, le metriche del codice e trova i bug

Per saperne di più
Richiedi la versione di prova

Polyspace per Ada

Dimostra l’assenza di errori di run-time nel codice sorgente

Per saperne di più
Richiedi la versione di prova
MATLAB Desktop

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

Distribuzione nei sistemi di produzione

Qualità

Trovare bug e dimostrare formalmente l’assenza di errori critici di run-time, senza test case o esecuzione del codice.

Distribuzione nei sistemi di produzione

Sicurezza

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

Distribuzione nei sistemi di produzione

Sicurezza

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

Panel Navigation

Nissan

Polyspace trova le operazioni che possono subire errori di run-time e identifica anche quelle che non ne subiranno mai uno, indipendentemente dalla condizioni operative.

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.