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.
Polyspace Code Prover
Die Abwesenheit von kritischen Laufzeitfehlern formal nachweisen, ohne Code auszuführen
Polyspace Bug Finder
Codierungsregeln, Security-Standards, Code-Metriken prüfen und Bugs finden
Polyspace for Ada
Bestätigung der Abwesenheit von Laufzeitfehlern im Quellcode
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.
Nissan
Polyspace findet die Operationen, bei denen Laufzeitfehler auftreten können, sowie diejenigen, bei denen niemals ein Laufzeitfehler eintreten kann – ganz gleich wie die Betriebsbedingungen aussehen.
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.
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.
