Modelify は、制御フロー、データフロー、およびにコールの構造など、意味論的に精密なグラフ表示を実現した Atlas をベースとして構築されています。この情報は、Modelify におけるロジックの変換だけでなく、モデルからサブシステムやライブラリへの構造化にも活用されます。

エンジニア担当者が、C言語のコードを把握して変換作業を計画する段階で Atlas を活用することも可能です。

Modelify における2種の評価方法

Modelify を使用すると、C 言語の大規模プロジェクトを素早く Simulink モデルに変換できるため、モデルのスクリーンショットを作成できる評価バージョンを提供致します。さらに、既存モデルでの評価をご希望の場合には、コードサンプル ( 最大 2000行まで ) をお送り頂ければ、Modelify で作成したモデルを提供致します。

Reductions

Modelify では、低レベルの複数のブロックを高レベルのモデルに変換し、重複したブロックのマージや、その他の変換処理を通じて (一般的にはブロックの総数が低減し、よりSimulink モデルに適した状態になる) Reductions という機能が適用されます。Modelify には、MAAB モデリングガイドラインを意図した、複数のReductions機能が搭載されています。なお、お客様独自のモデリングガイドラインに応じて、Reductions 機能を無効に切り替えることも可能です。

例: Demux ブロックと Mux ブロックにおけるベクトル セレクタの接合と割り当て