Astrée vs Green Hills Software

Astrée

Stärken

• +Mathematisch fundierte statische Codeanalyse ohne Falsch-Negative für Laufzeitfehler
• +Automatisierte Compliance-Prüfungen für MISRA C/C++, CWE, ISO 26262 und DO-178C
• +Schnelle Batch-Analyse und Integration in CI/CD-Pipelines
• +Umfassende technische Dokumentation und Qualifizierungs-Support-Kits
• +Intuitive, vollständig webbasierte Oberfläche für mobile Nutzung am Shopfloor
• +Echtzeit-OEE/TRS-Tracking und papierlose Arbeitsaufträge
• +Modulares Rollout-Modell für schrittweise Digitalisierung der Produktion
• +Hohe Kundenempfehlungsrate für den Anbieter-Support

Schwächen

• −Hohe Lernkurve für die Konfiguration der formalen Verifikation
• −Langer Initialaufwand für Annotationen und Untersuchung von Fehlalarmen
• −Individuelle Integration für Altmaschinen und tiefe ERP-Synchronisation erforderlich

Green Hills Software

Stärken

• +Führende Leistung für sicherheitskritische Systeme
• +Starke Unterstützung für Multi-Core- und heterogene Architekturen
• +Nachgewiesene Zuverlässigkeit in Automobil- und Luftfahrtanwendungen

Schwächen

• −Hohe Lizenzkosten für Unternehmensbereitstellungen
• −Steile Lernkurve für neue Benutzer
• −Begrenzte öffentliche Dokumentation für Nischenanwendungsfälle

Astrée

Statische Analyse und formale Verifikation

Beweist das Fehlen von Laufzeitfehlern (RTE) und ungültigen nebenläufigen Verhaltensweisen in C-, C++- und gemischten Codebasen, Erkennt Datenrennen, Spectre-Schwachstellen und toten Code, Führt erweiterte Taint-Analyse, Signalfluss-, Datenfluss- und Kontrollflussanalyse durch, Analysiert Steuerungsverknüpfungen und Komponenteninterferenzen

Regelprüfung und Code-Metriken

Überprüft die Einhaltung von MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR und ISO/IEC TS 17961, Unterstützt anpassbare Regelsätze, Berechnet und prüft Schwellenwerte für Code-Metriken (z. B. Kommentardichte, zyklomatische Komplexität)

Sicherheit, Cybersicherheit und Zertifizierungsunterstützung

Identifiziert funktionale und nicht-funktionale Gefahren gemäß ISO 26262, DO-178C/DO-330, IEC 61508, EN 50128, Unterstützt benutzerdefinierte Cybersicherheitsanalysen für DO-356A und ISO 21434, Bietet Qualification Support Kits (QSK) für die automatisierte Werkzeugqualifizierung

Prüfung, Zusammenarbeit und Berichterstattung

GUI mit vernetzten grafischen und textuellen Ansichten für Ergebnisse, Quellcode und Kontrollfluss, Unterstützt kollaborative Prüfungen und Benutzerannotationen, Delta-Analyse für Code-Überarbeitungen, Automatisierte Berichterstellung (z. B. XML)

Automatisierung und Unternehmensbetriebe

Befehlszeilen-/Batch-Modus für Build-Automatisierung, TLS-verschlüsselte Kommunikation, Authentifizierung über OpenID und OAuth2

Green Hills Software

Kernfunktionen des Echtzeit-Betriebssystems

Deterministische Echtzeit-Leistung, Speicherschutz und Partitionierung, Prioritätsbasierte Planung, Unterstützung für Multi-Core-Architekturen

Entwicklungstools

Integrierte Entwicklungsumgebung (IDE), Optimierende Compiler für C/C++, Debugging- und Profiling-Tools, Simulations- und Test-Frameworks

Sicherheit und Zuverlässigkeit

ISO 26262 ASIL D-Zertifizierung für Automobilanwendungen, Sicherer Start und Laufzeitschutz, Hardware-beschleunigte Kryptographie, Einhaltung funktionaler Sicherheitsstandards