Astrée vs Green Hills Software
Last updated October 2026
Looking for a European alternative to Green Hills Software? Here's how Astrée compares, on EU hosting, GDPR and what it does.
Our pick for a European buyer: Astrée. We weight data residency, GDPR and EU jurisdiction above everything else — that is the constraint this directory exists to solve.
What it is
Sound static analyzer for safety-critical C/C++ embedded code
Provides real-time operating systems, compilers, and development tools for embedded systems.
Headquarters
🇩🇪 DE
🇺🇸 US · 1982
EU data residency
Yes, for all customers
not established
DSGVO / GDPR
Yes
Yes
Certifications
TISAX
ISO 26262 ASIL D
Price from
No
No
Free plan
No
No
Open Source
No
No
Ratings
No
No
Integrations
Visual Studio Code, Eclipse (LSP4E), KEIL μVision / KEIL Studio, dSPACE TargetLink, New Eagle Raptor +3
No
Where each one wins
Astrée
Strengths
- +Mathematically sound static analysis with no false negatives for runtime errors
- +Automated compliance checks for MISRA C/C++, CWE, ISO 26262, and DO-178C
- +Fast batch analysis execution and CI/CD pipeline integration
- +Strong technical documentation and qualification support kits
- +Intuitive 100% web-based interface for shop-floor mobility
- +Real-time OEE/TRS tracking and paperless work orders
- +Modular rollout model for gradual factory digitization
- +High customer recommendation rate for vendor support
Limitations
- −Steep learning curve for formal verification configuration
- −High initial setup time for annotations and false alarm investigations
- −Custom integration required for legacy machinery and deep ERP synchronization
Green Hills Software
Strengths
- +Industry-leading performance for safety-critical systems
- +Strong support for multi-core and heterogeneous architectures
- +Proven reliability in automotive and aerospace applications
Limitations
- −High licensing costs for enterprise deployments
- −Steep learning curve for new users
- −Limited public documentation for niche use cases
Data residency & compliance
Astrée
Green Hills Software
EU data residency
Yes, for all customers
not established
Transfer mechanism
Not required — data stays in the EU
not established
DPA
not established
not established
Certifications
TISAX
ISO 26262 ASIL D
Features
Astrée
- Static Analysis and Sound Verification
- Proves absence of runtime errors (RTE) and invalid concurrent behaviors in C, C++, and mixed codebases, Detects data races, Spectre vulnerabilities, and dead code, Performs advanced taint analysis, signal-flow, data-flow, and control-flow analysis, Analyzes control-coupling and component-interference
- Rule Checking and Code Metrics
- Verifies compliance with MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR, and ISO/IEC TS 17961, Supports customizable rule sets, Computes and checks thresholds for code metrics (e.g., comment density, cyclomatic complexity)
- Safety, Cybersecurity, and Certification Support
- Identifies functional and non-functional hazards per ISO 26262, DO-178C/DO-330, IEC 61508, EN 50128, Supports user-defined cybersecurity analysis for DO-356A and ISO 21434, Offers Qualification Support Kits (QSK) for automated tool qualification
- Review, Collaboration, and Reporting
- GUI with interconnected graphical and textual views for results, source code, and control flow, Supports collaborative reviews and user annotations, Delta analysis for code revisions, Automated report generation (e.g., XML)
- Automation and Enterprise Operations
- Command-line/batch mode for build automation, TLS-encrypted communication, Authentication via OpenID and OAuth2
Green Hills Software
- Core RTOS Capabilities
- Deterministic real-time performance, Memory protection and partitioning, Priority-based scheduling, Support for multi-core architectures
- Development Tools
- Integrated Development Environment (IDE), Optimizing compilers for C/C++, Debugging and profiling tools, Simulation and testing frameworks
- Safety and Security
- ISO 26262 ASIL D certification for automotive, Secure boot and runtime protection, Hardware-accelerated cryptography, Compliance with functional safety standards