Doymus distribuye productos de desarrollo software. Además, proporciona servicios de formación y consultoría de soporte a la certificación de sistemas críticos. Doymus trabaja con las principales compañías de seguridad funcional a nivel mundial.

Doymus
Caminamos a tu lado
Software & Hardware
development tools and consulting services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and professional services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and professional services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and professional services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and consulting services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and consulting services
Doymus
Caminamos a tu lado.
Software & Hardware
development tools
and consulting services

Próximos cursos

Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A

Curso de formación presencial, impartido en inglés
Madrid, 18 - 20 de noviembre, 2024
Horario:
de 9:00 a 18:00 horas (CET - Madrid)
presencial

Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A

Curso de formación online, impartido en inglés
10 - 13 de febrero, 2025
Horario:
15:30 a 20:00 horas (CET – Madrid)
6:30 a 11:00 horas (PDT – Los Ángeles)
online

Herramientas de desarrollo software​

Especificación de requisitos​​

  • Análisis de Riesgos PHA integrado → Requisitos de Seguridad
  • Importación de requisitos → Doors, Word, Excel, etc.
  • Trazabilidad de requisitos → Casos de Prueba
  • Verificación semántica de requisitos

Código fuente

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 de Stack y WCET

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

Detección de Vulnerabilidades

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)

Optimización de tiempo de ejecución

Aplicaciones de tiempo crítico: análisis de código C/C++/Fortran, donde el rendimiento es clave para una ventaja competitiva.

  • Selección de reglas de optimización a utilizar
  • Detección automática de código fuente a mejorar
  • Creación de nueva versión de código fuente optimizada

Cursos de formación

Cursos Impartidos por los mejores consultores internacionales en la materia (Subject Matter Experts),
con experiencia en proyectos desarrollados en los cinco continentes

Normas de seguridad

Curso de certificación aeronáutica

DO-178C, DO-254
SABER MÁS

Curso de certificación ferroviaria

CENELEC-EN-50128/6/9​
SABER MÁS

Curso de certificación automoción

ISO 26262​
SABER MÁS

Desarrollo software

Curso de ingeniería de requisitos

Técnicas de mejora de la especificación de requisitos

Curso de Python para testers​

Verificación de software. Automatización de pruebas mediante scripts de Python

Curso de ingeniería de sistemas

Modelado de sistemas complejos de tiempo real

Plantillas de entregables de Certificación Aeroespacial

DO-178C, DO-278A, DO-254

ED-12C, ED-109A, ED-80

ARP 4754A

Plantillas de:

  • Planes de sistema, hardware y software
  • Estándares de requisitos software, diseño, código fuente
  • Estándares de requisitos hardware, diseño, código HDL, verificación
  • Estándares de checklists de verificación

Consultoría de soporte a la certificación

Nuestros clientes

you could be next 👀

Suscríbete a nuestra newsletter