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