Registro  
Login

Análisis Estático de Código

Desarrollo de Embedded Software


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 Desarrollo Software

Formación en Pruebas de Software y Hardware

 
Cursos de Formación
Herramientas de Desarrollo Software
Sistemas Hardware

Clientes que confían en nosotros
Back
Next

Sistemas Hardware de Alta
            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
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
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
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
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
Implantación


Próximos Cursos de Formación
Verificación de FPGAs y SoCs
Madrid, 10 Febrero 2020
Madrid, 15-17 Enero 2020
Avionics ARP4754A/4761, DO-178C, DO-254 Training
Pruebas
Interfaz GU
I
Normas de Seguridad
Desarrollo Software
Python para Testers
Madrid, 11-13 Febrero 2020
Próximos Cursos
Productos
 
©  2014 - 2019 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
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
Diseño y Verificación
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies