Unsere Tools bieten Ihnen eine große Auswahl an statischen Analysen für die Entwicklung, Optimierung und Zertifizierung von sicherheitskritischen Anwendungen für TriCore-Prozessoren.
Unsere Qualifizierungskits helfen Ihnen, die Qualifizierung nach ISO 26262 und anderen Sicherheitsstandards zu vereinfachen.
Bei Bedarf können Sie uns auch mit der Analyse Ihres Codes beauftragen. Alle der folgenden Analysen bieten wir auch als Dienstleistung an.
C | C++ | ||
---|---|---|---|
Laufzeitfehleranalyse | Astrée | Astrée | |
Datenwettlaufanalyse | Astrée | Astrée | |
Interferenzanalyse | Astrée | Astrée | |
Taint-Analyse | Astrée | Astrée | |
Signalflußanalyse | Astrée | Astrée | |
Datenflußanalyse | Astrée | Astrée | |
Kontrollflußanalyse | Astrée | Astrée | |
Control-Coupling-Analyse | Astrée | Astrée | |
Analyse von Interferenzen zwischen benutzerdefinierten Softwarekomponenten | Astrée | Astrée | |
Benutzerdefinierte Cybersecurity-Analysen | Astrée | Astrée | |
Regelsatzüberprüfung (MISRA) | Astrée, RuleChecker | Astrée, RuleChecker | |
Regelsatzüberprüfung (andere Standards) | Astrée, RuleChecker | Astrée, RuleChecker | |
Regelsatzüberprüfung (benutzerdefiniert) | Astrée, RuleChecker | Astrée, RuleChecker | |
Berechnung der HIS-Metriken | Astrée | Astrée | |
Interaktive Kontrollflußvisualisierung | Astrée | Astrée | |
Erkennung von totem Code | Astrée | Astrée | |
kompilierter C-Code | kompilierter C++-Code | kompilierter Ada-Code | |
Statische WCET-Analyse | aiT | aiT | aiT |
Hybride WCET-Analyse | TimeWeaver | TimeWeaver | TimeWeaver |
Timing-Profiling | TimingProfiler | TimingProfiler | TimingProfiler |
Stackanalyse | StackAnalyzer | StackAnalyzer | StackAnalyzer |
Valueanalyse | ValueAnalyzer | ValueAnalyzer | ValueAnalyzer |
Interaktive Kontrollflußvisualisierung | alle o. g. | alle o. g. | alle o. g. |
Erkennung von totem Code | alle o. g. | alle o. g. | alle o. g. |