Astrée vs Green Hills Software
Última actualización octubre de 2026
¿Buscas una alternativa europea a Green Hills Software? Así se compara Astrée en alojamiento de datos en la UE, RGPD y funciones.
Nuestra elección para compradores europeos: Astrée. Para nosotros, el alojamiento de los datos, el RGPD y la jurisdicción europea pesan más que todo lo demás: precisamente para eso existe este directorio.
Qué es
Analizador estático correcto (sound) para código C/C++ embebido crítico para la seguridad
Sistemas operativos en tiempo real, compiladores y herramientas de desarrollo para sistemas embebidos.
Sede
🇩🇪 DE
🇺🇸 US · 1982
Alojamiento de datos en la UE
Sí, para todos los clientes
no establecido
RGPD
Sí
Sí
Certificaciones
TISAX
ISO 26262 ASIL D
Precio desde
No
No
Plan gratuito
No
No
Open Source
No
No
Valoraciones
No
No
Integraciones
Visual Studio Code, Eclipse (LSP4E), KEIL μVision / KEIL Studio, dSPACE TargetLink, New Eagle Raptor +3
No
Dónde destaca cada herramienta
Astrée
Puntos fuertes
- +Análisis estático matemáticamente correcto, sin falsos negativos en errores de ejecución
- +Comprobaciones automáticas de cumplimiento de MISRA C/C++, CWE, ISO 26262 y DO-178C
- +Análisis por lotes rápido e integración en pipelines de CI/CD
- +Buena documentación técnica y kits de apoyo a la cualificación
- +Interfaz intuitiva 100 % web que permite moverse por la planta de producción
- +Seguimiento del OEE/TRS en tiempo real y órdenes de trabajo sin papel
- +Implantación modular para digitalizar la fábrica de forma gradual
- +Alta tasa de recomendación del soporte del proveedor
Limitaciones
- −Curva de aprendizaje pronunciada para configurar la verificación formal
- −Mucho tiempo inicial para las anotaciones y la revisión de falsas alarmas
- −Hace falta integración a medida con maquinaria antigua y para una sincronización profunda con el ERP
Green Hills Software
Puntos fuertes
- +Rendimiento de referencia en el sector para sistemas críticos para la seguridad
- +Buen soporte para arquitecturas multinúcleo y heterogéneas
- +Fiabilidad probada en aplicaciones de automoción y aeroespaciales
Limitaciones
- −Costes de licencia elevados en despliegues empresariales
- −Curva de aprendizaje pronunciada para nuevos usuarios
- −Poca documentación pública para casos de uso de nicho
Alojamiento de datos y cumplimiento
Astrée
Green Hills Software
Alojamiento de datos en la UE
Sí, para todos los clientes
no establecido
Mecanismo de transferencia
No hace falta: los datos se quedan en la UE
no establecido
Contrato de encargado del tratamiento
no establecido
no establecido
Certificaciones
TISAX
ISO 26262 ASIL D
Funciones
Astrée
- Análisis estático y verificación formal
- Demuestra la ausencia de errores de ejecución (RTE) y de comportamientos concurrentes no válidos en código C, C++ y mixto, Detecta condiciones de carrera, vulnerabilidades Spectre y código muerto, Realiza análisis avanzados de contaminación (taint), flujo de señales, flujo de datos y flujo de control, Analiza el acoplamiento de control y la interferencia entre componentes
- Comprobación de reglas y métricas de código
- Verifica el cumplimiento de MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR e ISO/IEC TS 17961, Admite conjuntos de reglas personalizables, Calcula y controla umbrales de métricas de código (p. ej., densidad de comentarios, complejidad ciclomática)
- Seguridad funcional, ciberseguridad y apoyo a la certificación
- Identifica riesgos funcionales y no funcionales según ISO 26262, DO-178C/DO-330, IEC 61508 y EN 50128, Admite análisis de ciberseguridad definidos por el usuario para DO-356A e ISO 21434, Ofrece Qualification Support Kits (QSK) para la cualificación automatizada de la herramienta
- Revisión, colaboración e informes
- Interfaz gráfica con vistas gráficas y textuales interconectadas de resultados, código fuente y flujo de control, Revisiones colaborativas y anotaciones de usuario, Análisis delta entre revisiones del código, Generación automática de informes (p. ej., XML)
- Automatización y operación empresarial
- Modo de línea de comandos o por lotes para automatizar la compilación, Comunicación cifrada con TLS, Autenticación mediante OpenID y OAuth2
Green Hills Software
- Capacidades RTOS principales
- Rendimiento determinista en tiempo real, Protección y particionado de memoria, Planificación por prioridades, Soporte para arquitecturas multinúcleo
- Herramientas de desarrollo
- Entorno de desarrollo integrado (IDE), Compiladores optimizadores para C/C++, Herramientas de depuración y profiling, Marcos de simulación y pruebas
- Seguridad funcional y ciberseguridad
- Certificación ISO 26262 ASIL D para automoción, Arranque seguro y protección en tiempo de ejecución, Criptografía acelerada por hardware, Cumplimiento de normas de seguridad funcional