Polyspace-Produktfamilie

 

Polyspace

Sicherheit des kritischen Codes gewährleisten

 

Die Produkte zur statischen Codeanalyse in Polyspace® basieren auf formalen Methoden, die die Abwesenheit kritischer Laufzeitfehler bei allen möglichen Steuerungs- und Datenflüssen beweisen. Geprüft werden Codierungsregeln, Sicherheitsrisiken, Code-Metriken und hunderte weiterer Fehlerklassen.

Was sind Polyspace-Produkte zur statischen Codeanalyse?.
Die Länge des Videos beträgt 1:50.
Was sind Polyspace-Produkte zur statischen Codeanalyse?

Polyspace Access

Erkennen Sie Codierfehler, überprüfen Sie die Ergebnisse statischer Analysen und überwachen Sie Softwarequalitätsmetriken

Polyspace Bug Finder

Prüfen Sie Programmierregeln, Sicherheitsstandards und Codemetriken und finden Sie Bugs

Polyspace Bug Finder Server

Erkennung von Softwarefehlern mithilfe statischer Analysen auf Servercomputern

Polyspace Code Prover

Weisen Sie die Abwesenheit kritischer Laufzeitfehler formell nach, ohne Code auszuführen

Polyspace Code Prover Server

Nachweis der Abwesenheit von Laufzeitfehlern in Software

Polyspace Client for Ada

Nachweis der Abwesenheit von Laufzeitfehlern im Quellcode

Polyspace Server for Ada

Code auf Computer-Clustern verifizieren und Metriken veröffentlichen

Testversion anfordern
MATLAB Desktop

Automatisierte statische Codeanalyse mittels formaler Methoden für C/C++ und Ada

Qualität

Finden Sie Bugs und beweisen Sie formal die Abwesenheit von kritischen Laufzeitfehlern – ohne Testfälle und Code-Ausführung.

Sicherheit

Stellen Sie die Konformität mit Sicherheitsstandards wie MISRA, ISO 26262, IEC 61508, DO-178 und FDA-Vorschriften sicher und dokumentieren Sie sie.

Sicherheit

Überprüfen Sie die Konformität mit Security-Standards wie CWE, CERT-C, ISO/IEC 17961 und weiteren.

Panel Navigation

Volvo Cars

Mit Polyspace können wir die Softwaresicherheit und -qualität gewährleisten, indem wir kritische Laufzeitfehler noch vor jeder Codezusammenführung (Merge) identifizieren und beheben.

Panel Navigation

Alenia Aermacchi

Bei der statischen Codeanalyse in Polyspace-Tools wird der Code in Hinblick auf Laufzeitfehler überprüft, die Einhaltung von MISRA-Coding-Standards wird sichergestellt und es werden Artefakte für die DO-178-Zertifizierung erstellt.

Panel Navigation

Miracor

Polyspace unterstützt Miracor dabei, die Qualität und Fehlerfreiheit gegenüber Aufsichtsbehörden, einschließlich der US Food and Drug Administration (FDA), zu beweisen, um zu belegen, dass unser Gerät sicher ist.