Doymus: Real Time Software Development Tools & Professional Services

Registro

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

Formación en Ingeniería de Requisitos

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

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
• José Luis Fernández

Validación
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 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

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

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

Medida de Calidad SW

Medida de Calidad de Proceso, Proyecto y software:

    • Medida de Calidad del Proceso:
        requisitos, modelado, código, pruebas, gestión cambios
    • Medida de Calidad del Proyecto:
        Puntos de Control, Aceptación, Análisis de tendencia
    • Medida de Calidad del Código Fuente:
        Mantenibilidad, Reusabilidad, Estabilidad, Seguridad
    • Integración con: Doors, Scade, Klocwork,VectorCAST, ...
    • Lenguajes: C/C++, Ada, C#, Java, Python, PHP, ...