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

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.


PTC
proporciona herramientas ALM (Application Lifecycle Management) que permiten, de una forma integrada, crear, editar e intercambiar requisitos, modelar el sistema (SysML) y el software (UML), generar código fuente automáticamente, crear campañas de pruebas, ejecutarlas en forma manual o automática, informar de los resultados y gestionar los defectos detectados. Durante todo este proceso, es capaz de realizar trazabilidad de requisitos contra modelo, código, pruebas y resultados de pruebas.
Partners
Doymus distribuye productos y servicios de las siguientes compañías:
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
 
©  2017 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
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
Medida de Calidad de Proceso, Proyecto y Código Fuente
Especificación y Análisis de Requisitos y Riesgos
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