レガシーCコードから検証済みSimulinkモデルへ

ある世界的な機器メーカーの機械用コントローラには、数十万行ものレガシーな組み込みCコードが組み込まれていましたが、要件仕様書は残っておらず、モデル化を義務付けるコンプライアンス要件が課されていました。単一のモジュールを変換するだけでも、専門家の判断に数週間を要し、変換作業は一つとして同じものはありませんでした。

AIツールチェーンがコードそのものから設計意図をどのように復元するのか、そしてなぜ最も処理が困難なファイルこそが、その復元が成立するか否かを左右するのかについて、ぜひご覧ください。