量産提供中
誰かに破られる前に、車両ネットワークを破る。
各 ECU を自身が宣言した PDX/ODX に照らして試験し、テスト計画は AI が TARA から提案します(デモ提供中)。
詳しく
バスを観る CAN、CAN-FD、Ethernet をライブでデコード自動で攻撃する 組み込みテスト種別 28、既定で武装 27所見ごとに証跡を残す UN R155 Annex 5 の各行まで追跡可能
ソフトウェア定義車両のための、AI 支援セキュリティエンジニアリング。
AI がテストを計画し、ベンチが証明する。
RE4A の AI は TARA とレガシーコードを読み、テスト計画と設計文書をエンジニアの承認用に提案します。判定は ECU 自身が宣言した仕様に照らしてルールで算出され、モデルが下すことはありません。
モデルは自前、または AI なし: OpenAI Anthropic Ollama vLLM
CAN CAN-FD 車載 Ethernet SOME/IP UDS DoIP
試験対象の ECUシミュレート
- 組み込みテスト種別 28、既定で武装 27
組み込みテスト種別 · 既定で武装 27
- 3.7 秒 — 154 ファイルの ECU プロジェクトのスキャンと静的解析
スキャンと静的解析 · 154 ファイルの ECU プロジェクト
- Testing Studio の AI が使えるモデル基盤は 4 種(自前の OpenAI、Anthropic、Ollama、vLLM)— AI なしでも動作
Testing Studio の AI が使えるモデル基盤 — AI なしでも動作
- 100% オンプレミス。既定の構成では、何もネットワークの外に出ません
オンプレミス — 既定の構成では、何もネットワークの外に出ません
RE4A の AI
AI が計画し、エンジニアが決める。 ベンチが証明する。
AI が提案し、エンジニアが決める
TARA またはレガシーコードを入力します。AI が下書きし、エンジニアが人による関門で確認し、編集し、承認します。その後で初めてルールベースの実行が証跡を生み、レポートには下書きしたモデルが記録されます。
- TARA・コード
- 下書き
- 確認
- 実行
- レポート
- 提供中
設計文書の文章を下書き。オプトインで、既定ではオフ。
- デモ提供中
TARA からテスト計画を提案し、武装はエンジニアが行います。
- 意図的に AI なし
ECU 自身の仕様に照らしたルールベース。シード固定で再現可能。
モデルは自前、または AI なし — OpenAI、Anthropic、またはローカルの Ollama や vLLM。AI は既定でオフで、ローカルモデルなら要件テキストは社内ネットワークに留まります。
扱う規格とプロトコル
- UN R155 Annex 5
- ISO/SAE 21434
- GB 44495-2024
- ASPICE SWE.2 / SWE.3
- ISO 14229 UDS
- ISO 13400 DoIP
- AUTOSAR
製品
コードを入力、文書と証跡を出力。 4 つの製品を個別に販売。
PDX/ODX 対応
- UN R155
- GB 44495
量産提供中
レガシー ECU コードを入力。ASPICE 審査に備えた文書を出力。
耐障害性のパーサーでレガシー C/C++ を読み取り、アーキテクチャと詳細設計を ASPICE 審査に備えた文書として出力します。
詳しく
Scan · SDD · SAD · Generate アプリ自身の 4 ステップ3.7 秒の静的解析 154 ファイル · 1,302 関数
ビルドシステムもコンパイラも不要
- SAD · SDD · traceability.csv
- オンプレミスの AI アシスト、既定は無効
量産提供中
車両全体がなくても、ECU を実車と同じ状態に保つ。
Testing Studio の Simulation エディション。レストバス、再生、フレームインジェクションを、Pentest か Fuzz に追加、または単体で。
詳しくレストバスシミュレーション
- キャプチャと再生
- フレームインジェクション
早期アクセス
ISO/SAE 21434 の TARA から、実行できるテスト計画へ。
ライフサイクルのリスクアセスメント側を担う、早期アクセス段階の稼働ビルドです。
詳しくISO/SAE 21434
- TARA から実行可能なテスト計画へ
RE4A を選ぶ理由
車載の現実に合わせて設計。
オンプレミス / エアギャップ
既定の構成では、ソースコードが 1 バイトもマシンから出ることはありません。
証跡こそ成果物
各判定は ECU 自身の PDX/ODX に照らして算出されます。クラッシュの有無ではありません。
- ISO/SAE 21434
- ASPICE SWE.2 / SWE.3
規格とプロトコル
動作を見る
スキャン1回、テスト実行1回。
合成デモデータに対する編集なしのウォークスルー: ネットワークスキャン、テストケース実行、そして生成されるエビデンス。
最初の約24秒はAI生成のコンセプト映像です。残りは実際の、編集していない画面キャプチャです。
- ECU1DUT · 実機
- GatewayECUシミュレート · 再生中
- BodyECUシミュレート · 再生中