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

Registro  
Login

Modelado de Software y Sistemas

Desarrollo de Embedded Software


Pruebas de Software y Sistemas
Consultoría de Certificación Aeronáutica

Formación de Certificación Aeronáutica

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Noticias
 
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
Próximamente ...
Cursos Impartidos por los mejores consultores internacionales en la materia (Subject Matter Experts),
con experiencia de aplicación de las normas de seguridad en proyectos desarrollados en los cinco continentes y autores de múltiples publicaciones relacionadas con la materia objeto de formación:


•  Vance Hilderman
      •  Jean-Louis Boulanger
 
Requisitos
Validación de Requisitos:

    •  Especificación de requisitos mediante plantillas 
    •  Simulación temprana de requisitos
    •  Generación de escenarios y datos de pruebas
Modelado
Modelado de Sistemas y de Software:

    •  Modelado con SysMl, UML y Variantes
    •  Simulación temprana del modelo
    •  Verificación del modelo mediante análisis estático
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
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
Pruebas
Interfaz GUI
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
Astrée
AiT
WCET Analysis
Stack Analyzer
Timing
Profiler
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
Data Flow Analyzer
Implantación
Madrid, 20-21 de Febrero de 2017
Avionics Certification Based on DO-178C & DO-254
Próximo Curso
Doymus distribuye productos de las siguientes compañías:
Modelado
Software y de Sistemas
Entornos de Desarrollo Software Embarcado
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas dinámicas de Software Embarcado
Análisis Estático de Código Fuente y Binario
Productos
 
©  2016 Doymus Software e Ingeniería  •  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

Doymus
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Formación DO 178/254
Consultoría de Certificación