Modelify 取扱説明書

  • はじめに
  • Modelifyの利用を開始
    • プロジェクトの設定
    • 変換のオプションを選択
    • Modelifyのチェックリストビューを確認
    • 変換
    • 精査、微調整、再変換

  • 参照

    • プロジェクトの設定
    • Modelifyの設定
      • 変換
      • 一般
      • 変換バンドル
      • リダクション
      • 色付け
      • 変換パターン
      • ライブラリマッピング
      • グローバル変数
    • Modelifyのチェックリストビュー

    • チェックリストのアイテム

      • チェックリストのアイテムのタイプ

        • ソースコード
        • Atlasの問題
        • Atlasの制約
        • Modelifyの問題
        • Modelifyの制約
        • MATLAB/Simulinkの制約
        • 検証
        • 変換のタイプの制約
        • 設定の問題

      • チェックリストのアイテムのコード

        • Atlasのエラーのノードです
        • Atlasのノードが見つかりません
        • C言語のライブラリの関数に対してスタブを作成しました
        • Error during Reduction
        • Libraryブロックの作成に失敗しました
        • MATLABの関数またはキーワードと競合する名前です
        • Mブロックポートが欠けています
        • S-Functionがメモリに直接アクセスしています
        • S-Functionのコンパイルエラー
        • S-Functionは3次元以上の配列に対応していません
        • SimulinkのGotoです
        • Simulinkのモデルが許容された幅/高さの最大値を超えています。
        • Simulinkのループです
        • Stateflowのバスのベクトルです
        • Unionの複数のフィールドです
        • Voidデータ型です
        • Voidポインタデータ型です
        • グラフが大きすぎます
        • グローバルポインタのアドレスを変更しています
        • サポートしていないC言語のライブラリ関数への呼び出しです
        • デッドコードの可能性があります
        • デリファレンスしたエッジを解決しています
        • ブロック線図の更新のエラーです
        • ブロック線図の更新の警告です
        • ヘッダーファイル内にS-Function型の定義が必要です
        • ポインタの三項の条件
        • ライブラリマッピングを解決することができません
        • 不明の複数の次元を持つInportです
        • 予期されたAtlasの要素が欠けています
        • 予期していないMATLABのエラーです
        • 予期していないエラーです
        • 再帰データ型です
        • 再帰関数です
        • 初期化ファイルのポインタのオフセットです
        • 参照モデルが存在しない、もしくは、無効です
        • 大きな関数に対して作成されたスタブです
        • 定義されていない関数の戻り値の型です
        • 宣言を持つSimulinkのSwitchです
        • 対応していないCastの型です
        • 対応していないMATLABのビルトインの型です
        • 対応していないS-Functionのポートの行列信号です
        • 対応していないSwitchの形式です
        • 対応していないint64とuint64のデータ型です
        • 対応していないオフセット変数です
        • 対応していないケースのインクリメント/デクリメントの演算子です
        • 対応していないプリミティブ型です
        • 対応していないポインタ表現です
        • 対応していないリテラルのアドレスです
        • 対応していない三項演算子です
        • 対応していない静的ローカルポインタの初期化です
        • 対応していなポインタのWriteです
        • 欠けている関数の定義に対して作成されたスタブです
        • 正しくないデータ型です
        • 潜在的なアセンブリコード
        • 無視された関数呼び出しです
        • 無限ループが見つかりました
        • 無限ループと思われるコードが見つかりました
        • 複数のEnumを持つSwitchです
        • 部分的なModelifyのエラーです
        • 関数のポインタ型です
        • 関数の呼び出しとショートサーキット
        • 関数の定義が欠けています
        • 関数名が反復して使用されています
        • 静的ポインタのアドレスを変更しています
        • 静的関数に対するS-Function
        • 非定数のグローバルを初期化します
        • 飽和が誤っている可能性があります
    • Modelifyメニュー
    • Modelifyによる確認
    • MATLAB のインストール
    • 変換の制約
    • Modelifyの右クリックメニュー
    • Atlasのメニュー
    • S-Functionに変換するためのMATLABの設定
    • 免責事項
    • Japanese Characters in Model Files