Unsere Tools bieten Ihnen eine große Auswahl an statischen Analysen für die Entwicklung, Optimierung und Zertifizierung von sicherheitskritischen Anwendungen für V850-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 (sonstige 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 | ||
| Statische WCET-Analyse | aiT | aiT | |
| Hybride WCET-Analyse | TimeWeaver | TimeWeaver | |
| Timing-Profiling | TimingProfiler | TimingProfiler | |
| Stackanalyse | StackAnalyzer | StackAnalyzer | |
| Valueanalyse | ValueAnalyzer | ValueAnalyzer | |
| Interaktive Kontrollflußvisualisierung | alle o. g. | alle o. g. | |
| Erkennung von totem Code | alle o. g. | alle o. g. | |