Rastreabilidade Bidirecional de Requisitos ao Código para ASIL D
Automação da rastreabilidade formal desde Metas de Segurança até o código MISRA C e cobertura estrutural MC/DC.
Decomposição de Metas de Segurança
Decomposição de metas HARA em Requisitos Técnicos de Segurança mapeados para ECUs zonais específicas e ilhas ASIL.
Cobertura Estrutural MC/DC Automatizada
Exigência de 100% de cobertura MC/DC em módulos de controle críticos via testes HIL e testes unitários.
- 100% de cobertura de teste MC/DC para todas as unidades ASIL D.
- Verificação automatizada de conformidade com MISRA C:2023.
- Hiperlinks bidirecionais entre Jira, commits Git e safety cases.
- Assinatura criptográfica de pacotes de evidências de homologação.
Explorar Portfólio de Domínios