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.
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
1 - 4 de junio, 2026
Horario:
15:30 a 20:00 horas (CET – Madrid, París)
6:30 a 11:00 horas (PDT – Los Ángeles)
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
16 - 18 de noviembre, 2026
Horario y lugar:
9:00 a 18:00 horas (CET - Madrid)
Networkia Castellana, 28046 Madrid
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
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
Desarrollo software
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
- 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
Nuestros clientes
