Registro
Login
Análisis Estático de Código
Desarrollo de Embedded Software
Pruebas de Software y Sistemas
Pruebas de Interfaz Gráfica GUI
Desarrollo de Embedded Software
Pruebas de Software y Sistemas
Pruebas de Interfaz Gráfica GUI
Soporte a la Certificación DO-178/254
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
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 Desarrollo
Formación en Ingeniería de Pruebas
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
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 Desarrollo
Formación en Ingeniería de Pruebas
Cursos de Formación
Herramientas de Desarrollo Software
Sistemas Hardware
Clientes que confían en nosotros
Sistemas Hardware de Alta
Disponibilidad:
• Rugged Computer Boards
• Display Computers & HMI
• Network Solutions
• Custom Designed Systems
Disponibilidad:
• Rugged Computer Boards
• Display Computers & HMI
• Network Solutions
• Custom Designed Systems
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
Validación
Requisitos
Requisitos
Validación de Requisitos:
• Especificación de requisitos mediante plantillas
• Simulación temprana de requisitos
• Generación de escenarios y datos de pruebas
• Especificación de requisitos mediante plantillas
• Simulación temprana de requisitos
• Generación de escenarios y datos de pruebas
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
Pruebas SW
Herramientas de Pruebas de Requisitos Funcionales:
• Generación automática del ejecutable.
• Ejecución de casos de pruebas sin recompilar
• Obtención de Cobertura de Pruebas
• Generación automática del ejecutable.
• Ejecución de casos de pruebas sin recompilar
• Obtención de Cobertura de Pruebas
Pruebas
Interfaz GUI
Interfaz GUI
Análisis
Estático
Estático
Herramientas de Pruebas de Interfaz GUI:
• Generación automática de scripts
• Verificación de propiedades de objetos
• Integración con HP Quality Center, Rational QM
• Generación automática de scripts
• Verificación de propiedades de objetos
• Integración con HP Quality Center, Rational QM
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
Implantación
Madrid, 19-21 Marzo 2019
Próximo Curso
Avionics Ecosystem:
DO-178C, DO-254 & ARP4754A
DO-178C, DO-254 & ARP4754A
Normas de Seguridad
Desarrollo Software
Productos
© 2014 - 2019 Doymus Software e Ingeniería • Aviso Legal • Política de Privacidad • Política de Cookies
Servicios
Contactar
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
and Professional Services
Otros
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
de Alta Disponibilidad
Validación y Simulación
de Requisitos
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Pruebas dinámicas de Software Embarcado
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:
