Visure: Gestion de Requisitos

Astrée: Detección de errores runtime

Stack Analyzer: Dimensionar el stack

AbsInt -- Estimación del WCET

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

CodeSonar - Análisis de Vulnerabilidades

CodeSentry - Análisis de Vulnerabilidades

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 Ingeniería de Sistemas

Formación en SonarQube

Python for testers

HDL Verification for Safety Critical

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.

Nuestros

Partners

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.

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.

Brightskies proporciona servicios de formación y soporte a la certificación de sistemas para automoción conforme a la norma ISO 26262. También hemos realizado conjuntamente proyectos de Gap Analysis para determinar los costes adicionales requeridos para certificar productos o sistemas diseñados por el cliente.

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.

Grammatech es uno de los líderes en análisis estático de código fuente y binario. Estan especializados en la detección de vulnerabilidades presentes en el código fuente o en código de terceros incluido en aplicaciones desarrolladas in-house, por terceros o comerciales.

HDL Design House es uno de los líderes en diseño y verificación de lógica programable para ASICs, FPGAs y SoCs. Aportan experiencia en la certificación del desarrollo y verificación de hardware con respecto a las principales normas de seguridad funcional.