Mathematische Constraint-Prüfung und deterministische regelbasierte Fallbacks
Überprüfung von Agenten-Trajektorien und Innenraumbefehlen gegen mathematische Hüllkurven in Sub-Millisekunden-Zyklen mit verzögerungsfreiem Fallback.
Constraint-Erfüllung über Fahrzeugdynamik
Ein SMT-Solver läuft parallel zu Inferenz-Engines und prüft, ob Geschwindigkeits-, Lenk- und Bremsanforderungen den Reibungsellipsen der Reifen entsprechen.
Nahtloser Fallback auf regelbasierte Steuerungen
Erzeugt ein Agent mehrdeutige oder verzögerte Ausgaben, verwirft die Engine die Anfrage in unter 500 Mikrosekunden und schaltet auf deterministische AUTOSAR-Controller um.
- Latenz der formalen SMT-Verifikationsschleife unter 800 Mikrosekunden.
- Keinerlei Beeinträchtigung der Regelkreise von Antrieb, Lenkung oder Bremse.
- Deterministische Fallback-Aktivierung unter Hardware-Fehlerinjektion erprobt.
- Vollständige ISO 26262 ASIL D Sicherheitsargumentation und Rückverfolgbarkeit.
Domain-Portfolio entdecken