01観る
バスを観る。
お客様のネットワークマトリクスに照らして、ライブでデコード。
可視化
CAN、CAN-FD、デュアルスタック車載 Ethernet を、お客様のマトリクスに照らしてライブでデコード。
誰かに破られる前に、車両ネットワークを破る。
各 ECU を、自身が宣言した PDX/ODX に照らして試験。テスト計画は AI が TARA から提案します(デモ提供中)。
- CAN
- CAN-FD
- 車載 Ethernet
- SOME/IP
- UDS
- DoIP
- 組み込みテスト種別 28、既定で武装 27
組み込みテスト種別 · 既定で武装 27
- UN R155 Annex 5 の評価対象 32 行：対応 7、部分 12、ギャップ 2、対象外 11
UN R155 Annex 5 の評価対象行対応 7部分 12ギャップ 2対象外 11
- 選択できる規格プロファイル 2 つ：UN R155 Annex 5 と GB 44495-2024
選択できる規格プロファイル：UN R155 Annex 5 と GB 44495-2024
Testing Studio にできること
02攻める
自動で攻撃する。
組み込みテスト種別 28、既定で武装 27。
03立証
所見ごとに証跡を残す。
ECU 自身の PDX/ODX に照らした判定。
AI Assist
TARA を持ち込む。 レビュー済みのテスト計画を。
デモ提供中 · Pentest と Fuzz のエディションに含まれます
読む
ワークブックに書かれたサイバーセキュリティ要件を抽出し、確認を求めます。
対応付ける
各要件が守る対象を、マトリクス内の ECU・バス・サービスに対応付けます。
提案する
組み込みライブラリからテストケースを選択・複製・生成し、根拠と R155 / GB 44495 の参照付きで並べます。
決める
セキュリティエンジニアが各提案を承認・編集・追加・却下し、実行するものを武装します。
- モデルは自前、または AI なし:OpenAI、Anthropic、ローカルの Ollama や vLLM。既定ではオフ。
- API キーはマシン上で暗号化され、プロジェクトに含まれることはありません。
- すべての判断は、提案したモデルとともにレポートに記録されます。
攻撃面
新しいバスは、新しい侵入口。
1 つの ECU が 3 つのバスに同時に接続することもあります。
- 診断
- ISO 14229 · UDS
- トランスポート
- ISO 13400 DoIP · ISO 15765
- データリンク
- CAN · CAN-FD
- Ethernet / SOA
- AUTOSAR · SOME/IP · SD
- ODX データベース
- ISO 22901 · PDX / ODX
- 脅威モデル
- STRIDE · DREAD
- プロファイル
- UN R155 · GB 44495
機能
ひとつのワークベンチ。 バスを観て、ECU を探査し、所見に証跡を残す。
診断
DoIP と ISO-TP 上の UDS で、ECU 自身が宣言したポリシーの範囲内を探査。
攻撃
PDX/ODX に対する仕様差分判定。破壊的なテストは武装するまでドライランのままです。
作成
SETUP · CONFIG · ATTACK · TEARDOWN、判定ステップ固定のテンプレート調整、NodeScript ノード。
証跡
カバレッジと判定は別々に報告され、各結果に証跡の役割が明示されます。カスタマイズした実行には印が付きます。
- UN R155 Annex 5
- GB 44495-2024
アシュアランス
選択できる 2 つのプロファイル：UN R155 Annex 5 と GB 44495-2024。
実際の動作
攻撃キャンペーンは、 一度作れば繰り返し使えます。
フェーズ構造化ステップステップ単位の選択とスキッププロファイル単位の証跡
車の残りが連携する中で、稼働中の ECU を攻撃。
- ECU1DUT · 実機
- GatewayECUレストバスPLAYING
- BodyECUレストバスPLAYING
リプレイdrive_cycle.blf
インタラクティブジェネレータ単一フレーム · 周期ストリーム
オラクル
ファジングは「ECU が落ちたか」を問います。 RE4A は「ECU が自らの仕様に従ったか」を問います。
PDX/ODX の外の応答はすべて所見となり、根拠付きで届きます。
TC_UDS_005 · WriteDataByIdentifier (0x2E)
- DID
- F190
- 応答時間
- 53 ms / タイムアウト 30,000 ms
- デコードされた理由
- write DID 2EF190 answered — not declared in the PDX
- 対応先
- Table A1 の例 20.1 · 緩和策 M7
実行ステップ
- Open diagnostic sessionPASS
- Resolve DID from PDX/ODXPASS
- Request security accessPASS
- Validate seed/key exchangePASS
- Send WriteDataByIdentifierPASS
- Capture responsePASS
- Decode responsePASS
- Close sessionPASS
カバレッジを正直に
車両バスから到達できる範囲と、 到達できない範囲。
Annex 5 Table A1：インデックス 32 行、脅威 30、攻撃例 69 件。
- 32 行中 7 行：直接的な試験証跡
直接的な試験証跡
- 32 行中 12 行：部分的な証跡
部分的な証跡
- 32 行中 2 行：対象範囲内・未実装
対象範囲内・未実装
- 32 行中 11 行：バスからは到達不可
バスからは到達不可
| Annex 5 の 1 行目：OUT | Annex 5 の 2 行目：OUT | Annex 5 の 3 行目：OUT | Annex 5 の 4 行目：OUT | Annex 5 の 5 行目：OUT | Annex 5 の 6 行目：PARTIAL | Annex 5 の 7 行目：PARTIAL | Annex 5 の 8 行目：MAPPED | Annex 5 の 9 行目：PARTIAL | Annex 5 の 10 行目：OUT | Annex 5 の 11 行目：OUT | Annex 5 の 12 行目：OUT | Annex 5 の 13 行目：PARTIAL | Annex 5 の 14 行目：MAPPED | Annex 5 の 15 行目：PARTIAL | Annex 5 の 16 行目：GAP | Annex 5 の 17 行目：PARTIAL | Annex 5 の 18 行目：MAPPED | Annex 5 の 19 行目：PARTIAL | Annex 5 の 20 行目：MAPPED | Annex 5 の 21 行目：PARTIAL | Annex 5 の 22 行目：PARTIAL | Annex 5 の 23 行目：MAPPED | Annex 5 の 24 行目：PARTIAL | Annex 5 の 25 行目：GAP | Annex 5 の 26 行目：MAPPED | Annex 5 の 27 行目：PARTIAL | Annex 5 の 28 行目：OUT | Annex 5 の 29 行目：PARTIAL | Annex 5 の 30 行目：MAPPED | Annex 5 の 31 行目：OUT | Annex 5 の 32 行目：OUT |
テストカタログ
組み込みテスト種別 28。 既定で 27 を武装。
「既定のキャンペーンに含む」は実行開始時に選ばれる種別です。「武装するまでドライラン」は武装まで何も送信しません。
組み込みテスト種別 28 の STRIDE 分類：S1 T7 R1 I11 D3 E5
28 種別中 28 件を表示
| ID | テスト種別 | STRIDE | 既定のキャンペーンに含む |
|---|---|---|---|
| UDS_001 | Session discovery | I | はい |
| UDS_002 | Service discovery | I | はい |
| UDS_003 | Security-access enforcement | I | はい |
| UDS_004 | Security-access brute force武装するまでドライラン | E | はい |
| UDS_005 | DID write protection武装するまでドライラン | T | はい |
| UDS_006 | DID read enumeration | I | はい |
| UDS_007 | Memory read access | I | はい |
| UDS_008 | Memory write access武装するまでドライラン | T | はい |
| UDS_009 | Malformed request handling武装するまでドライラン | T | はい |
| UDS_010 | Request denial of service武装するまでドライラン | D | はい |
| UDS_011 | Firmware-download refusal武装するまでドライラン | E | はい |
| UDS_012 | NVM write endurance武装するまでドライラン | D | いいえ |
| UDS_013 | Routine control abuse武装するまでドライラン | E | はい |
| UDS_014 | Communication control abuse武装するまでドライラン | T | はい |
| UDS_015 | Tester-present starvation武装するまでドライラン | E | はい |
| UDS_016 | Session transition integrity | T | はい |
| UDS_017 | Negative-response conformance | R | はい |
| ETH_001 | Frame fuzzing武装するまでドライラン | D | はい |
| ETH_002 | SOME/IP service scan | I | はい |
| ETH_003 | SOME/IP method abuse武装するまでドライラン | I | はい |
| ETH_004 | DoIP routing abuse武装するまでドライラン | I | はい |
| ETH_005 | Port scan | I | はい |
| ETH_006 | TLS configuration audit | I | はい |
| ETH_007 | Network segmentation check | I | はい |
| ETH_008 | ARP / neighbour spoofing武装するまでドライラン | S | はい |
| CAN_001 | Signal fuzzing武装するまでドライラン | T | はい |
| CAN_002 | SecOC authenticity | T | はい |
| CST_001 | Custom builder (NodeScript)武装するまでドライラン | E | はい |
テスト種別 28 のうち 27 が既定で武装されています。
証跡モデル
ひとつの数字に決して統合されない 4 つの語彙。
結果
- PASS
- FAIL
- NOT COMPLETE
- NOT RUN
ステップ状態 — 判定とは意図的に別物
来歴
- ARXML
- DBC
- PDX
- テスト計画
- セッションのフィンガープリント
合成デモ実行
- 58選択
- 7実行
- 6合格判定確定分の 86%
- 1不合格
- 0判定不能
- 51判定なし
パイプライン
ネットワークマトリクスからプロファイル単位の証跡へ。
取り込み
解決
計画
AI が提案 · あなたが承認
実行
立証
データシート
一目で。
- バス
- CAN、BRS 付きで最大 64 バイトフレームの CAN-FD、802.1Q VLAN 対応の IPv4/IPv6 車載 Ethernet、SOME/IP
- 診断
- DoIP（ISO 13400）と ISO-TP（ISO 15765）上の UDS（ISO 14229）
- テスト種別
- 組み込み 28、既定で武装 27
- ネットワーク取り込み
- CAN DBC · AUTOSAR ARXML · PDX/ODX
- 規格プロファイル
- UN R155 Annex 5 · GB 44495-2024
- シミュレーション
- レストバスシミュレーション、再生、フレームインジェクション — Simulation エディション
- キャプチャと再生
- BLF（CAN）· PCAP（Ethernet）
- レポート
- サインオフ欄付きの自己完結型 HTML レポート
- デプロイ
- Windows クライアント ↔ Linux テストサーバー、TCP 接続（127.0.0.1:20009 制御、20010 ストリーミング）
- お客様がご用意するもの
- ネットワークマトリクスと PDX/ODX データベース
- AI 支援
- TARA → テスト計画の提案をセキュリティエンジニアがレビュー。自前の OpenAI・Anthropic・Ollama・vLLM モデル、既定でオフ。デモ提供中。
- エディション
- 無償のベースラインに、Pentest・Fuzz・Simulation の各エディション。マシン固定・期限付きのライセンス。