Visure: Gestion de Requisitos
Astrée: Detección de errores runtime
Stack Analyzer: Dimensionar el stack
AbsInt -- Estimación del WCET
Multi: Entorno de desarrollo cruzado
Integrity: Real Time Operating System
CodeSonar - Análisis de Vulnerabilidades
CodeSentry - Análisis de Vulnerabilidades
Astrée: Detección de errores runtime
Stack Analyzer: Dimensionar el stack
AbsInt -- Estimación del WCET
Multi: Entorno de desarrollo cruzado
Integrity: Real Time Operating System
CodeSonar - Análisis de Vulnerabilidades
CodeSentry - Análisis de Vulnerabilidades
Formación en Certificación Aeronáutica
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Ingeniería de Sistemas
Formación en SonarQube
Python for testers
HDL Verification for Safety Critical
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Ingeniería de Sistemas
Formación en SonarQube
Python for testers
HDL Verification for Safety Critical
Mejore su productivad
Detección de errores en tiempo de ejecución y errores de concurrencia
Reduzca el tiempo de desarrollo
Herramientas de Análisis Estático de Código Fuente
Astrée es una herramienta de gama alta, basada en métodos formales, que garantiza que cuando no detecta errores de ejecución, la aplicación realmente no tiene errores de ejecución.
A día de hoy, únicamente existen dos herramientas en el mercado, basadas en métodos formales, que puedan dar esta garantía.
A día de hoy, únicamente existen dos herramientas en el mercado, basadas en métodos formales, que puedan dar esta garantía.
¿Por qué elegir Astrée?
•
Funciona para aplicaciones escritas en lenguaje C
•
Detecta errores de concurrencia en el sistema operativo OSEK y perfil ARINC 653
•
Detecta errores de división por cero
•
Detecta errores de acceso a arrays fuera de rango
•
Detecta manipulaciones de punteros erróneas
•
Detecta desbordamientos de variables de tipo entero y punto flotante
•
Detecta errores de redondeo en cálculos de punto flotante
•
Detecta accesos a variables no inicializadas
•
Detecta accesos concurrentes problemáticos a variables compartidas por varios procesos
•
Detecta errores de inconsistencia de bloqueo de variables
•
Permite el diagnóstico de aserciones definidas por el usuario para probar propiedades adicionales en tiempo de ejecución
•
Permite probar qué porciones de código no son ejecutables bajo ninguna circunstancia (detección de código muerto)
•
Chequea el código fuente conforme a las siguientes normas de codificación software:
•
Tiene interfaz IDE y por línea de comandos, permitiendo la ejecución en batch para facilitar las pruebas de regresión
•
Tiene integraciones con Jenkins, SCADE, TargetLink (dSPACE), SymtaVision y RT-Druid
•
Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA
•
MISRA C (2004 y 2012, incluyendo Amendment 1)
•
Lenguaje C99 (Anexo J de ISO/IEC 9899:1999)
•
CWE (CCR accuracies Exact, CWE-more-abstract y CWE-more-specific)
•
SEI CERT C
•
ISO/IEC TS 17961:2012
Productos
Formación
Contactar
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
and Professional Services
Análisis Estático de Código Fuente y Binario
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Servicios
Gap Analysis
Plantillas para ARP 4754A / ED-79A
Plantillas para DO-178C / ED-12C
Plantillas para DO-254 / ED-80
Plantillas para DO-278A / ED-109A
Soporte a la Certificación DO-178C
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Plantillas para ARP 4754A / ED-79A
Plantillas para DO-178C / ED-12C
Plantillas para DO-254 / ED-80
Plantillas para DO-278A / ED-109A
Soporte a la Certificación DO-178C
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Análisis de Vulnerabilidades Software
