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
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
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
• 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
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
• 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
Stack y WCET
Normas de Seguridad
Desarrollo Software
Online
12-15 junio, 2023
12-15 junio, 2023
Presencial en Madrid
26-28 septiembre, 2023
26-28 septiembre, 2023
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
Fuente
Detección de Vulnerabilidades
Clientes que confían en nosotros
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
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
