Registro  
Login

Análisis Estático de Código

Desarrollo de Embedded Software


Pruebas de Software y Sistemas

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 de Certificación DO-178/254

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

En un entorno industrial de complejidad creciente, donde las tecnologías evolucionan de una forma muy rápida, es fundamental apoyarse en partners tecnológicos especializados que nos aporten experiencia y conocimiento.

Gracias a ellos, podemos ofrecer un mix de productos y servicios que cubren prácticamente la totalidad de la Ingeniería de Sistemas e Ingeniería de Software.

Nuestro objetivo, al igual que con nuestros clientes, es establecer relaciones a largo plazo en las que podamos aportar nuestro valor local y recibir su visión y experiencia global.
Vector Software proporciona las herramientas de pruebas de embedded software más potentes del mercado. Se incluyen generadores autómaticos de programas de pruebas unitarias y de integración, herramientas de cobertura de pruebas de sistemas y de pruebas de regresión. Funcionan en host y target y están certificadas para las normas DO-178, EN-50128 e ISO26262.


Green Hills Software proporciona entornos de desarrollo cruzado para PowerPC, ARM, Intel, y muchos otros procesadores, incluyendo compiladores avanzados de C/C++ y Ada. Ofrece también sistemas operativos de tiempo real y middleware certificado para las normas DO-178, IEC-61508 e ISO26262. Se incluyen sondas de depuración hardware totalmente integradas con sus depuradores multicore.


Absint
proporciona herramientas de análisis estático de código. Basadas en metódos matemáticos de verificación formal, permiten demostrar la ausencia de run-time errors, de errores de stack overflow y el análisis de timing del tipo Worst Case Execution Time. Asi mismo, permiten realizar análisis de Data/Control Flow. Son herramientas imprescindibles para la verificación de requisitos no funcionales del sistema.


MEN Mikro Elektronik
proporciona una oferta robusta de tarjetas COTS de alta fiabilidad y sistemas hardware completos capaces de operar bajo las condiciones más extremas requeridas por las aplicaciones industriales y de misión crítica. Estos sistemas, configurados en alta disponibilidad, se complementan con sistemas operativos de tiempo real ofreciendo un equipo pre-certificado a nivel SIL-4 o DO-178 DAL A.
Partners
Productos
 
©  2018 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
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Pruebas dinámicas de Software Embarcado
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