Registro  
Login

Análisis Estático de Código

Desarrollo de Embedded Software


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 en Certificación Aeronáutica

Formación en Certificación Ferroviaria

Formación en Certificación Automoción

Formación en Ingeniería de Requisitos

Formación en Desarrollo Software

Formación en Pruebas de Software y Hardware

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.
Visure Solutions proporciona la herramienta ALM de evaluación de riesgos (PHA, FMEA), gestión de requisitos, gestión de pruebas y gestión de defectos con mejor calidad/precio del mercado. Incluye plantillas para la gestión de requisitos conforme a DO-178, CENELEC y ISO-26262. Proporciona matrices de trazabilidad de requisitos con respecto a diseño, código, casos de prueba y resultados de pruebas.


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.


AFuzion es el líder en servicios de formación y soporte a la certificación aeronáutica conforme a las normas ARP-4754, ARP-4761, DO-178C, DO-254, DO-326A, etc. Como parte de los servicios de certificación se proporcionan plantillas y checklists de revisión de los Planes, Estándares y Documentos de Especificación requeridos por las normas aeronáuticas.
Partners
Productos
 
©  2014 - 2019 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
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
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