Statische Analysen für TriCore-Anwendungen

Unsere Tools bieten Ihnen eine große Auswahl an statischen Analysen für die Entwicklung, Optimierung und Zertifizierung von sicherheits­kritischen Anwendungen für TriCore-Prozessoren.

Unsere Qualifizierungskits helfen Ihnen, die Qualifizierung nach ISO 26262 und anderen Sicherheits­standards 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.

CC++
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.