Trazabilidad Bidireccional de Requisitos a Código para ASIL D

Automatización de la trazabilidad formal desde los Objetivos de Seguridad y los Requisitos de Seguridad Funcional hasta el código fuente MISRA C y la cobertura estructural MC/DC.

Descomposición de Objetivos de Seguridad

Descomposición de los objetivos de alto nivel del Análisis de Peligros y Evaluación de Riesgos (HARA) en Requisitos Técnicos de Seguridad asignados a ECU zonales específicas e islas ASIL.

Cobertura Estructural MC/DC Automatizada

Exigencia de una cobertura de Condición/Decisión Modificada (MC/DC) del 100% en los módulos de control C/C++ críticos para la seguridad, mediante bancos de pruebas hardware-in-the-loop y arneses de pruebas unitarias.

Demostración del 100% de cobertura de pruebas MC/DC para todas las unidades de software ASIL D.
Verificación automatizada del cumplimiento del estándar de codificación MISRA C:2023.
Hipervínculos bidireccionales entre Jira, commits de Git y los safety cases.
Sellado criptográfico de líneas base para los paquetes de evidencia de homologación.

Explorar Portafolio de Dominios