Nuestros
partners
Nuestros partners
Orgullosos de distribuir vuestros
productos y servicios
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 gran cantidad de productos y servicios que cubren prácticamente la totalidad de la Ingeniería de Sistemas y la 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.
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.
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.
