Modelifyは大規模なC言語のコードをSimulinkモデルに変換します。Modelifyは文字通りに変換するのではなく、C言語の低レベルのロジックをSimulinkにおける高度なモデルに転換します。これによって、モデルが維持可能でMAABモデリングガイドラインに厳密に準拠することになり、Simulinkでの使用に適した状態になります。
ModelifyはＣコードをXCSGに変換するAtlasをベースに開発されています。XCSGとは制御フロー図、データフロー図、および、呼び出しの構造を含む、詳細で、尚且つ意味を正確に表示するグラフ形式です。
下の画像はModelifyの構造を説明するものです。
本ユーザーマニュアルでは 「Modelifyの利用を開始」 セクションでModelifyを使って実演用のプロジェクトを変換する方法を説明し、「参照」セクションではツールを詳しく説明しています。