Verifica Matematica dei Vincoli e Fallback Deterministici Basati su Regole
Verifica delle traiettorie e dei comandi rispetto a inviluppi matematici invarianti in cicli sub-millisecondo con fallback immediato a controllori basati su regole.
Soddisfacimento dei Vincoli sulla Dinamica del Veicolo
Un risolutore SMT opera parallelamente ai motori di inferenza, verificando che velocità , angolo di sterzata e frenata rispettino le ellissi di aderenza degli pneumatici.
Fallback Trasparente verso Controllori Basati su Regole
Se un agente produce output ambigui o in ritardo, il motore scarta la richiesta in meno di 500 microsecondi e torna ai controllori AUTOSAR deterministici.
- Latenza del ciclo di verifica formale SMT inferiore a 800 microsecondi.
- Zero degradazione dei cicli di controllo di trazione, sterzo o frenata.
- Attivazione deterministica del fallback validata tramite fault injection hardware.
- Documentazione completa di sicurezza e tracciabilità ISO 26262 ASIL D.
Esplora il portafoglio di domini