RE4A車載向けエンジニアリング & セキュリティツール
言語: 日本語
デモを依頼
メニュー

Reverse Engineering量産提供中

レガシー ECU コードを入力。ASPICE 審査に備えた設計文書を出力。

耐障害性の C/C++ パーサー。ビルドシステムもコンパイラも不要です。

Reverse Engineering の Scan タブ

同梱デモプロジェクトでの 1 回の実行

  • 154

    スキャンした C ファイル数

  • 1,302

    文書化した関数数

  • 1,867

    型

  • 1,041

    コンポーネントインターフェース数

  • 389

    設計↔コードの正確なトレースリンク数

  • 1,757

    生成した図の数

  • 3.7

    秒 — スキャンと静的解析のみ

3.7 秒はスキャンと静的解析のみの時間です — 文書生成、図の描画、エンジニアのレビューは含みません。

課題

コードは出荷された。 設計文書は出荷されなかった。

  • ASPICE は証跡を要求する

    SWE.2 と SWE.3 はアーキテクチャと詳細設計を求めます。

  • 手作業の文書化はスケールしない

    次のマージで古くなります。

  • レガシーコードはビルドすらできない

    コンパイラ前提のツールはそこで止まります。

仕組み

ソースから文書まで、4 ステップ。

  1. グループ化

    フォルダからコンポーネントのツリーを提案します。

  2. スキャン

    C/C++ をコンパイルせずに読み取ります。

  3. 解析

    コールグラフ、インターフェース、メトリクス、決定的な ID。

  4. 生成

    SAD、SDD、図、トレースマトリクス。

製品ツアー

スキャンから文書まで — ツールの内部。

Scan タブ：関数とログ
文書 ID 付きの関数スキャンログ：154 ファイル、警告 151 件
SDD Preview：Markdown と描画済みの文書を並べて表示
Markdown と描画プレビューを並べてWord へ直接エクスポート
SAD Preview：論理アーキテクチャとコンポーネント表
実際のインクルードとコール構造から得たアーキテクチャ判断が必要な箇所は To be determined と明示
RE4A Reverse Engineering — 生成
Generate タブ：文書、ReqIF、Enterprise Architect のエクスポート
すべての出力をひとつのハブから

パーサー

コンパイラが受け付けないコードを読みます。

この実行で出た指摘の一覧

0件のエラー

151件の警告

各指摘にファイル・行・該当コード・修正のヒントが付きます。黙って推測することはありません。

RE4A Reverse Engineering — 指摘一覧
スキャンの Issues タブ
ビルドシステムもコンパイラも不要AUTOSAR Classic のマクロパターン耐障害性であって、沈黙ではありません

成果物

1 回の実行で 7 つの出力。

Word 出力はネイティブの Open XML で、Office の自動化は使いません。

RE4A Reverse Engineering — 出力フォルダー
  • SAD.md / .docx
  • SDD.md / .docx
  • traceability.csv / .md / .docx
  • diagrams/**.puml + .png
  • metrics.csv
  • issues.csv
  • model.xml

トレーサビリティ

設計をコードまで追跡 — ファイルと行まで、双方向に。

合成サンプル
設計要素種類ソースファイル行対応先方向状態
HwCore_IF_001SAD インターフェース · 提供HwCore.c139HwCore_SDD_API_001設計からコードへ正確
HwCore_SDD_API_001SDD APIHwCore.c139HwCore_IF_001コードから設計へ正確
HwCore_IF_002SAD インターフェース · 提供HwCore.c164HwCore_SDD_API_002設計からコードへ正確
HwCore_SDD_API_002SDD APIHwCore.c164HwCore_IF_002コードから設計へ正確
StartupMain_IF_001SAD インターフェース · 要求StartupMain.c963StartupMain_SDD_API_008設計からコードへ正確
StartupMain_SDD_API_008SDD APIStartupMain.c963StartupMain_IF_001コードから設計へ正確

連携

Word、Enterprise Architect、ReqIF へエクスポート。

  • 安定した ID

    変わらない要素は、実行をまたいで同じ ID を保ちます。

  • コマンドラインインターフェース

    同じ実行を、コマンドラインから。

  • エクスポート

    図は編集できる PlantUML ソースとしても出力されます。

  • Polarion / codeBeamer への送信

    一方向かつ冪等です。再実行で削除することはありません。

Polarion · codeBeamer — 一方向の送信

Enterprise Architect へのエクスポートEnterprise Architect エクスポートのダイアログ
ALM（ReqIF）へのエクスポートALM エクスポートのダイアログ

AI アシスト

文章の下書きは AI に。 オプトインで、既定は無効。

既定の構成では、ソースコードが 1 バイトもマシンから出ることはありません。

AI 下書きのデータポリシー既定の構成では、下書きはローカルの Ollama モデルで動作します。オプトインのプロバイダーが受け取るのはスキャン済みのメタデータだけで、ソースコードは送りません。ソースコード既定：ローカルのOllamaメタデータのみオプトインのプロバイダー

このページが主張しないこと

  • トレーサビリティは、ファイルと行までの設計↔コードです。要件↔テストのトレーサビリティではありません。
  • 3.7 秒はスキャンと静的解析のみで、エンドツーエンドの時間ではありません。
  • 数値は、ノート PC での 154 ファイルのデモプロジェクト 1 件によるものです。
  • 判断が必要な箇所は「To be determined」と明示します。

評価する

レガシーのソースツリーをお持ちください — ビルドできないものでも。

一緒にスキャンし、出力をご案内します。

デモを依頼