Registro  
Login

Visure: Gestion de Requisitos

Astrée: Detección de errores runtime


Stack Analyzer: Dimensionar el stack

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

Squish: Pruebas de Interfaz Gráfica
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

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

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.

¿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
 
©  2014 - 2021 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Formación
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Tweets por el @DoymusSI.
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
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
Diseño y Verificación
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
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies