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
Polyspace Bug Finder
Verifica le regole di codifica, gli standard di sicurezza, le metriche del codice e trova i bug
Polyspace per Ada
Dimostra l’assenza di errori di run-time nel codice sorgente
Analisi statica automatica dei codici utilizzando metodi formali per C/C++ e Ada
Qualità
Trovare bug e dimostrare formalmente l’assenza di errori critici di run-time, senza test case 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.
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.
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.
Miracor
Polyspace aiuta Miracor a dimostrare qualità e correttezza alla comunità di regolamentazione, compresa la FDA, per provare la sicurezza del dispositivo.