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
Reduzca el tiempo de desarrollo
Herramientas de Análisis Estático de Código Binario
Cálculo de Worst Case Execution Time (WCET)
TimingProfiler
Esta herramienta permite obtener un WCET aproximado durante las fases iniciales de desarrollo software exclusivamente mediante análisis estático del código binario.
Se basa en la exploración de todos los posibles caminos de ejecución de una tarea o programa y en un cálculo aproximado de los tiempo de ejecución de las instrucciones para esa arquitectura de procesadores.
El margen de error del cálculo del WCET es demasiado grande para ser considerado como evidencia de certificación de este objetivo, pero permite determinar al inicio los puntos críticos de ejecución y los cuellos de botella en cuanto a prestaciones a nivel de tarea.
Esto permite monitorizar los tiempos de ejecución conforme se desarrolla el código fuente, evitando problemas de última hora cuando se hace el cálculo formal del WCET.
También permite visualizar gráficos de llamadas a functiones y control de flujo. Con el plug-in ValueAnalyzer, además se permite monitorizar el uso de variables (lecturas y escrituras).
Toda esta funcionalidad se proporciona sin necesidad de disponer de la tarjeta de desarrollo, ni realizar ninguna instrumentalización del código.
Tampoco es necesario realizar una configuración compleja. Es muy fácil de usar desde el inicio del desarrollo y se puede integrar en entornos de integración continua, pudiendose obtener medidas de rendimiento en cada construcción de cualquier parte del código fuente.
Se basa en la exploración de todos los posibles caminos de ejecución de una tarea o programa y en un cálculo aproximado de los tiempo de ejecución de las instrucciones para esa arquitectura de procesadores.
El margen de error del cálculo del WCET es demasiado grande para ser considerado como evidencia de certificación de este objetivo, pero permite determinar al inicio los puntos críticos de ejecución y los cuellos de botella en cuanto a prestaciones a nivel de tarea.
Esto permite monitorizar los tiempos de ejecución conforme se desarrolla el código fuente, evitando problemas de última hora cuando se hace el cálculo formal del WCET.
También permite visualizar gráficos de llamadas a functiones y control de flujo. Con el plug-in ValueAnalyzer, además se permite monitorizar el uso de variables (lecturas y escrituras).
Toda esta funcionalidad se proporciona sin necesidad de disponer de la tarjeta de desarrollo, ni realizar ninguna instrumentalización del código.
Tampoco es necesario realizar una configuración compleja. Es muy fácil de usar desde el inicio del desarrollo y se puede integrar en entornos de integración continua, pudiendose obtener medidas de rendimiento en cada construcción de cualquier parte del código fuente.
Familias de Procesadores Soportados
Code Warrior Compiler
GCC Compiler
GNAT Pro C++ or Ada
Diab C or Ada
Green Hills C/C++ or Ada
HighTec GCC
Keil ARM
CompCert (INRIA, AbsInt)
ARM Compiler
GCC Compiler
Diab C or Ada
Green Hills C/C++ or Ada
IAR
Keil ARM
HighTec LLVM/Clang
Tasking
Texas Instruments
CompCert (INRIA, AbsInt)
GCC Compiler
Diab C
Green Hills C/C++ or Ada
HighTec GCC
Tasking
Diab C
Green Hills C/C
Otros
Procesadores
ERC32
Leon2, 3/4
x86
MIPS32
Nios II
Renesas RX, SuperH
C16x, ST10
C28x
C33
dsPIC33E
FR81S
HCS 12
M68K
x86
MCS 51
MCS 251
MSP430
S12Z
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
