Registro  
Login

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
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

 
Cursos de Formación
Herramientas de Desarrollo Software

Cursos Impartidos por los mejores consultores internacionales en la materia (Subject Matter Experts),
con experiencia en proyectos desarrollados en los cinco continentes
Especificación Requisitos
Especificación de Requisitos:

    •  Análisis de Riesgos PHA integrado -> Requisitos de Seguridad
    •  Importación de requisitos -> Doors, Word, Excel, ...
    •  Trazabilidad de requisitos -> Casos de Prueba
    •  Verificación semántica de requisitos
Entornos de Desarrollo Cruzados y
Sistemas Operativos de Tiempo Real:


    •  Compiladores C/C++ y Ada
    •  Depurador Multi-Core (step forward / step backward)
    •  Sondas HW de depuración
Análisis Estático de Código Fuente/Binario:

    •  Eliminación de run-time errors
    •  Análisis de Control de Flujo / Flujo de Datos
    •  Control de Tiempo de Ejecución y Stack

Análisis de tamaño de Stack requerido
Análisis de
Worst Case Execution Time (WCET)
Analisis de Control Flow / Data Flow


Análisis de
Stack y WCET
Normas de Seguridad
Desarrollo Software
Curso Online:
Avionics DO-178C, DO-254, ARP 4754A
Online
14-17 noviembre, 2022
Presencial en Madrid
26-28 septiembre, 2022
Curso Presencial:
Avionics DO-178C, DO-254, ARP 4754A
Próximos Cursos de Formación

Análisis Estático de Código Fuente/Binario:

 

    •  Detección de Vulnerabilidades (Static App. Security Testing)

    •  Detección de errores de Safety y Security

    •  Análisis de Composición de Software Binario (SCA)

    •  Informe de Vulnerabilidades 0-Day y N-Day

    •  Lista de Materiales Software (SBOM)

 

Código
Fuente
Detección de Vulnerabilidades
Clientes que confían en nosotros
Back
Next

Consultoría de Soporte a la Certificación

Plantillas de Planes, Estándares y Checklists de verificación
Servicio de Gap Analysis para Certificación Aeroespacial y de Automoción
Servicio de Asesoría en la Certificación
Realización de Planes, Estándares y Checklists
Revisión de Entregables de Certificación
Soporte a la Resolución de no Conformidades
Productos
 
©  2022 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
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
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

Diseño y Verificación de SoCs y FPGAs
Análisis de Vulnerabilidades Software
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