数学的制約検査および決定論的ルールベースフォールバック
不変の数学的制約エンベロープに対してエージェントの指示をミリ秒未満で検証し、ハードコードされたルールコントローラーへ即時フォールバック。
車両運動力学に基づく制約充足検証
SMTソルバーが推論エンジンと並行して動作し、要求された速度、ステアリング角、ブレーキ制動力がタイヤの摩擦楕円および安定性限界内に収まっているかを検証。
ルールベースコントローラーへのシームレスなフォールバック
エージェントが曖昧、競合、または遅延した出力を生成した場合、実行エンジンは500マイクロ秒以内にリクエストを破棄し、確定的なAUTOSAR制御へ復帰。
- 形式的SMT検証ループのレイテンシを800マイクロ秒未満に制御。
- パワートレイン、ステアリング、ブレーキのコア制御ループに対する影響ゼロ。
- ハードウェア故障注入試験によって検証された確定的フォールバック作動。
- 完全なISO 26262 ASIL D安全性論証およびトレーサビリティドキュメントを提供。
ドメインポートフォリオを見る