Perfil EGAF Automotive para software ISO 26262

2026-08-30 · Garantía ·

El perfil Automotive es L3. Extiende Core para el software de ISO 26262, los procesos de apoyo y los análisis orientados a ASIL, además de MISRA C:2012 para los controles del estándar de codificación. Todos los controles SAF ya están activos en cuanto se declara level: L3.

Sistema en prelanzamiento, operado por su fundador; las etiquetas de capacidad actuales describen el límite de la evidencia.

Cómo funciona el Evidence-Gated Assurance Framework

El Evidence-Gated Assurance Framework (EGAF) es un estándar de garantía orientado a la especificación. Está En curso. Un proyecto declara conformidad con EGAF L1, L2 o L3 en un commit dado, con evidencia adjunta. No es una certificación, una acreditación ni una autorización. La evaluación independiente de cualquier organización sigue siendo una cuestión aparte.

Una ejecución consta de tres partes:

  1. Un catálogo de controles. Cada control es un check de máquina (un artefacto producido por una herramienta independiente) o un evidence: attestation (una declaración firmada por un principal identificado). Una comprobación declarada sin un artefacto que la respalde es DRIFT, nunca PROVEN. Un archivo vacío pero analizable no es un veredicto.
  2. Un evaluador determinista. Las mismas entradas producen un informe de conformidad idéntico byte a byte. El evaluador no ejecuta pruebas ni escáneres. Lee artefactos que otras herramientas ya produjeron y registra sus digests. Un agente no puede fabricar un PROVEN sin producir el artefacto que la comprobación nombra.
  3. Un perfil versionado. .egaf/profile.yaml en el repositorio consumidor es lo que evalúa CI. Si ese archivo no está presente, el evaluador usa el perfil core incluido, por lo que los controles obligatorios de L1 siempre aplican. Los perfiles solo pueden endurecer un umbral; una anulación que lo relaje se rechaza en el momento de la validación.

Tres niveles. L1 Core es obligatorio para declarar cualquier conformidad con EGAF: trazabilidad, límites de complejidad y duplicación, cobertura de sentencias y de ramas de toda la base de código, mutación en los archivos modificados, integridad del verificador, evidencia firmada, higiene de la cadena de suministro. Una EXCEPTION nunca satisface un control L1. L2 Regulated añade controles de perfil de industria (paquetes de evidencia, retención, registros de riesgo de modelo). L3 Safety-critical añade independencia, cobertura estructural, entradas para la calificación de herramientas y vinculación con peligros. Si falla un control L1 aplicable, la primera línea del informe es L0.

El estado de un control condensa los siete resultados de comprobación que ya se usan en los paquetes de evidencia de Koinessa:

Resultado de la comprobación Estado del control
PASS PROVEN
FAIL FAILED
SKIPPED-NOT-APPLICABLE con una razón registrada NOT-APPLICABLE
INFRASTRUCTURE-ERROR, TOOL-MISSING, EVIDENCE-INVALID o ABSTAIN DRIFT
Evidencia ausente DRIFT

Un nivel se alcanza únicamente cuando todos los controles aplicables en ese nivel y en los niveles inferiores están PROVEN o NOT-APPLICABLE (L2/L3 también pueden contar con una EXCEPTION vigente con un aprobador independiente). El informe siempre muestra dos listas de honestidad: No probado (FAILED y DRIFT) y Aceptado sin prueba (NOT-APPLICABLE y EXCEPTION). Una insignia limpia sobre un bloque de honestidad vacío es el fallo que el marco existe para evitar.

Los marcos son orientación. Los controles son comportamiento. La evidencia demuestra que el comportamiento ocurrió. Las cargas organizativas — formación, seguridad física, BAA, una evaluación C3PAO, la calificación de herramientas DO-330, un encargo SOC 2 Type II — siguen recayendo en la organización. El catálogo cita identificadores de cláusulas y paráfrasis; no reproduce texto normativo.

El catálogo que describe esta serie es una instantánea con estado Medido: 109 controles, incorporados a Koinessa en el pin 0.0.0-dev+98d08ef el 2026-08-30. El repositorio público de la especificación está Planeado; hasta que el operador cree su grupo de GitLab, trata EGAF como un borrador pre-1.0 etiquetado y pendiente de publicación. El primer informe de conformidad del propio Koinessa en la rama principal está Planeado.

Consulta el libro blanco de Koinessa para la tesis más amplia de Evidence-Gated Agentic Development, y el informe de entrega verificada para lo que este sistema ya publica sobre sí mismo.

El perfil Automotive (id automotive, L3)

En curso. Fuente: vendor/egaf/catalog/profiles/automotive.yaml. Extiende core.

Marcos añadidos:

safety_classes enumera QM, ASIL-A, ASIL-B, ASIL-C y ASIL-D. QM es el término de ISO 26262 para «sin ASIL asignado». Cada adoptante nombra la clase o las clases reales de su propio componente en su propio .egaf/profile.yaml, derivadas de su propio análisis de peligros y evaluación de riesgos — nunca copiadas de esta lista predeterminada.

Aplicabilidad: agentic y firmware. Releases y deploys declarados.

La retención es de duración del programa (months: null). La establece el propio plan de gestión de la seguridad funcional del OEM o del Tier 1 conforme a la parte 2 de ISO 26262, y no EGAF. La investigación del catálogo no encontró una cifra de retención universal única para un programa de automoción, así que el campo se deja sin definir en lugar de inventarlo.

Las excepciones L3 necesitan un aprobador independiente y una declaración firmada. Los controles L1 heredados de Core siguen sin poder exceptuarse.

Lo que la organización todavía debe hacer: el HARA, el plan de seguridad, el seguimiento de medidas confirmadas y la calificación de herramientas según ISO 26262-8. EGAF puede exigir que se haya declarado una clase de seguridad y que las comprobaciones de MISRA hayan producido un artefacto no vacío. No puede asignar un ASIL.

Consulta Aerospace para el vocabulario DAL e Industrial para SIL / EN 50128.

Lo que esta página no afirma

La conformidad con EGAF es una declaración por commit que un proyecto hace sobre sí mismo, con evidencia adjunta. No otorga una certificación, un nivel SLSA ni una autorización para operar. Citar un marco en un perfil es una correspondencia, no un estado que el adoptante haya alcanzado. Los elementos planeados no llevan fechas.

Este artículo es uno de diez en una serie. Cada página mantiene la misma mecánica y cambia el perfil.

El resto del blog de ingeniería cubre el bucle de verificación sobre el que se apoya EGAF. La página principal de Koinessa expone la posición del producto.