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.
Próximos cursos
Verificación de código VHDL para FPGAs
7 - 10 de julio, 2025
Horario:
14:00 a 19:00 horas
(CET - Madrid)
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
17 - 19 de noviembre, 2025
Horario y lugar:
9:00 a 18:00 horas, Madrid
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
29 de septiembre - 2 de octubre, 2025
Horario:
13:30 a 18:00 horas (CET – Madrid, París)
4:30 a 9:00 horas (PDT – Los Ángeles)
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
Desarrollo software
Curso de Python para testers
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
