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
Reduzca el tiempo de desarrollo

Herramientas de Análisis Estático de Código

Detección de errores debidos a “Stack Overflow”

¿Por qué elegir StackAnalyzer?

Stack Analyzer, basada en métodos formales, permite probar la ausencia de errores en tiempo de ejecución de tipo “stack overflow”

A día de hoy, es posiblemente la única herramienta que puede dar esta garantía.
Realiza el análisis estático sobre el código binario (ejecutable)
Soporta múltiples compiladores cruzados de distintos fabricantes y lenguajes de programación (C, C++, Ada)
Proporciona una información detallada de uso de stack de usuario y de sistema a nivel de tarea
Permite seleccionar el punto de entrada del análisis
Realiza una reconstrucción del flujo de control directamente desde el código binario
Proporciona información a nivel de código ensamblador y código fuente
Mediante el módulo opcional, Value Analyzer, permite realizar el análisis de control de flujo y de control de datos (análisis de registros y zonas de memoria, control de acceso a variables y funciones)
Tiene integraciones con Jenkins, Eclipse y TargetLink (dSpace)
Tiene un Paquete de Certificación para DO-178, ISO 26262, EN-50128 y FDA
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