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
Herramientas de Pruebas estáticas de Requisitos no Funcionales:

    •  Timing (WCET Analysis)
    •  Stack Overflow
    •  Run-Time Errors
    •  Control Flow Analysis
    •  Data Flow Analysis


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 ...
Herramientas de Pruebas dinámicas de Requisitos Funcionales:

    •  Generación automática
        del ejecutable de pruebas 
    •  Ejecución de casos de
        pruebas sin recompilar
    •  Ejecución en host o target
    •  Cobertura de Pruebas
Entornos de Desarrollo Cruzados y Sistemas Operativos de Tiempo Real:

    •  Compiladores C/C++ y Ada
    •  SSOO Tiempo Real Multicore
    •  Depurador Multi-Core hacia
        delante y hacia atrás
    •  Sondas HW de depuración
    •  Analisis de timing, stack, etc.
Modelado de Sistemas y de Software:

    •  Modelado con SysML
    •  Modelado con UML std.
    •  Modelado de Variantes
    •  Revisión auto del modelo
    •  Simulación del modelo
    •  Generación código fuente
        y documentación
Especificación de requisitos,
pruebas y gestión de defectos:


    •  Especificación de requisitos
    •  Especificación de pruebas
        de requisitos
    •  Gestión de defectos
    •  Trazabilidad de requisitos
 

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
 
Doymus distribuye productos de las siguientes compañías:
Requisitos y 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