モデルから生成されたコードの実行

コードジェネレーターによってモデルで定義したとおりにアルゴリズムコードが生成されます。外部コード統合ワークフローの選択で説明されている手法を使用してモデルに外部コード (カスタムコードやレガシコードなど) を含めることができます。

コードジェネレーターは、生成されたモデルコードを実行するインターフェイスも提供します。このインターフェイスとモデルコードは一緒にコンパイルされ、実行可能プログラムが作成されます。次の図は、実行ファイルの高水準オブジェクト指向図を示します。

リアルタイムプログラムのオブジェクト指向図

一般に、生成コードの組み込みスタイルとラピッドプロトタイプとでは、モデル実行ドライバーの概念設計に相違はありません。以下の節では、シミュレーション (非リアルタイム) とリアルタイムの両方のシングルタスク環境とマルチタスク環境のモデルの実行について説明します。ほとんどのモデルコードについて、マルチタスク環境ではモデルの実行が最も効率的になります (最速のサンプルレート)。

以下の概念は、モデルコードの実行の仕組みを説明する際に役立ちます。

Initialization: model_initialize は、インターフェイスコードとモデルコードを初期化します。
ModelOutputs:現時点でサンプルヒットをもつモデル内のすべてのブロックを呼び出し、それらに出力を生成させます。model_output は、メジャータイムステップまたはマイナータイムステップで実行できます。メジャータイムステップでは、出力は指定されているシミュレーションのタイムステップです。マイナータイムステップでは、連続状態を更新するため、インターフェイスによって微係数が積分されます。
ModelUpdate: model_update により、現時点でサンプルヒットをもつブロックが呼び出され、それらに離散状態や同様のタイプのオブジェクトを更新させます。
ModelDerivatives:連続状態をもつモデル内のブロックを呼び出し、微係数を更新させます。model_derivatives は、マイナータイムステップにおいてのみ呼び出されます。
ModelTerminate: model_terminate は、有限時間で実行するよう設計されている場合にプログラムを終了します。それにより、リアルタイムのモデルデータ構造体は破棄され、メモリの割り当ては解除され、データのファイルへの書き込みが可能となります。

プログラムの実行

リアルタイムのプログラムでは、CPU 時間が 100% 必要というわけではありません。この要件により、自由時間にバックグラウンドタスクを実行する機会が与えられます。

バックグラウンドタスクには、データをバッファーまたはファイルに書き込んだりする操作も含まれ、これによってサードパーティ製のデータ監視ツールによるプログラムデータへのアクセスや、プログラムパラメーターの更新が可能となります。

しかし、モデルコードのリアルタイム実行を行うには、プログラムがバックグラウンドタスクをプリエンプトできることが重要となります。

プログラムがタスクを管理する方法は、操作環境の機能によって異なります。

プログラムのタイミング

リアルタイムのプログラムでは、他のタスク呼び出しが (割り込みまたはリアルタイムオペレーティングシステムの作業プリミティブのどちらかによって) 実行される前にモデルのコードの実行を完了させるようにするには、タスクを呼び出すタイミングに注意が必要です。このタイミングには、外部ハードウェアとのデータの読み取りや書き込みのための時間も含まれています。

次の図は、割り込みのタイミングを示しています。

タスクのタイミング

サンプルの間隔は、タスクの呼び出し間でモデルコードを実行するのに十分な長さでなければなりません。

上の図では、2 つの隣接した縦矢印の間の時間がサンプルの間隔です。上の図の空のボックスは、1 つのステップを間隔内で完了できるうえ、バックグラウンドタスクのための時間もさらに確保できるプログラムの例を示しています。図の下方にあるグレーのボックスは、サンプルの間隔が短すぎた場合にどうなるかを示しています。タスクが完了する前に他のタスク呼び出しが実行されます。そのようなタイミングは、実行エラーとなります。

リアルタイムプログラムが恒久的に実行されるよう設計されている場合 (つまり、while ループが終了しないよう最終時間が 0 または無限の場合)、シャットダウンコードは実行されません。

タイミングエンジンの仕組みの詳細については、絶対時間と経過時間の計算を参照してください。

エクスターナルモード通信

エクスターナルモードにより、Simulink^® ブロック線図と生成コードから作成されるスタンドアロンプログラムとの間の通信が可能となります。このモードでは、リアルタイムのプログラムは、プロセス間通信サーバーとして機能し、Simulink エンジンからの要求に対して応答します。

シングルタスクおよびマルチタスクモデル実行でのデータログ記録

デバッグ用のモデルの構成では、モデル実行の完了時にシステムの状態、出力、時間を MAT ファイルに保存する方法について説明しています。データログ記録を行う関数 LogTXY は、シングルタスク環境とマルチタスク環境とで異なった動作をします。

シングルタスク環境やマルチタスク環境で LogTXY がどのように呼び出されるかについて見ると、シングルタスクでは、LogTXY が ModelOutputs の後で呼び出されることに注意してください。この ModelOutputs の呼び出しの間、時間 t でヒットするブロックが実行されます。一方で、マルチタスクでは、LogTXY は、時間 t でヒットするブロックとタスク識別子が 0 のブロックのみを実行する ModelOutputs(tid=0) の後で呼び出されます。これにより、シングルタスクとマルチタスクのログ記録では、ログが記録された値における違いが存在します。特に、周期が 1.0 秒の高速サンプル時間と 10.0 秒の低速サンプル時間の 2 種類のサンプル時間をもつモデルを検討します。時間 t = k*10, k=0,1,2... では、高速 (tid=0) ブロックと低速 (tid=1) ブロックの両方が実行されます。マルチタスクモードで実行する場合、LogTXY が呼び出されると、低速ブロックは実行しますが、前回の値のログが記録されます。一方、シングルタスクでは、現在の値のログが記録されます。

もう一つの違いは、Enabled Subsystem にデータをログ記録する際に生じます。Enabled Subsystem 内でイネーブル端子と高速ブロックを駆動する低速信号をもつような Enabled Subsystem を検討します。この場合、有効な信号の評価は低速タスクで生じ、高速ブロックは 1 つのサンプル期間の遅延を確認します。このように、ログが記録された値は、これらの相違を示します。

シングルタスクとマルチタスクでログが記録されたデータの相違について要約すると、相違がみられるのは以下のような場合です。

ルート Outport ブロックのサンプル時間が、最高速サンプル時間より遅い
状態をもつブロックのサンプル時間が、最高速サンプル時間より遅い
ブロックが Enabled Subsystem にあり、イネーブル端子を駆動する信号が、この Enabled Subsystem 内のブロックのレートより遅い

最初の 2 つのケースでは、シングルタスクとマルチタスクとでログが記録された値が異なる場合でも、モデルの結果は相違ありません。実際の相違は、ログ記録がどこで (どの時点で) 行われたかという点のみとなります。3 番目 (Enabled Subsystem) のケースでは、リアルタイム環境で見られる遅延となります。

非リアルタイムのシングルタスクシステム

この疑似コードは、非リアルタイムのシングルタスクシステムのモデルの実行を示しています。

main()
{
  Initialization
  While (time < final time)
    ModelOutputs     -- Major time step.
    LogTXY           -- Log time, states and root outports.
    ModelUpdate      -- Major time step.
    Integrate        -- Integration in minor time step for 
                     -- models with continuous states.
      ModelDerivatives
      Do 0 or more
        ModelOutputs
        ModelDerivatives
      EndDo -- Number of iterations depends upon the solver
      Integrate derivatives to update continuous states.
    EndIntegrate
  EndWhile
  Termination
}

最初に初期化フェーズが開始します。これは、モデル状態の初期化と実行エンジンの設定で構成されています。その後でモデルはステップごとに実行されます。最初に ModelOutputs が時間 t に実行され、次にワークスペース I/O データがログに記録され、ModelUpdate によって離散状態が更新されます。次に、モデルに連続状態がある場合、ModelDerivatives は、時間 $t_{n e w} = t + h$ (ここで、"h" はステップのサイズ) の状態を生成するため、連続状態の微係数を積分します。そして、時間は $t_{n e w}$ に向かって進み、処理が繰り返されます。

モデル実行の ModelOutputs フェーズと ModelUpdate フェーズの間は、時間内に現在の位置に到達したブロックのみが実行されます。

非リアルタイムのマルチタスクシステム

この疑似コードは、非リアルタイムのマルチタスクシステムのモデルの実行を示しています。

main()
{
  Initialization
  While (time < final time)
    ModelOutputs(tid=0)   -- Major time step.
    LogTXY                -- Log time, states, and root 
                          -- outports.
    ModelUpdate(tid=0)    -- Major time step.
    Integrate       -- Integration in minor time step for 
                    -- models with continuous states.
      ModelDerivatives
      Do 0 or more
        ModelOutputs(tid=0)
        ModelDerivatives
      EndDo (Number of iterations depends upon the solver.)
      Integrate derivatives to update continuous states.
    EndIntegrate
    For i=1:NumTids
      ModelOutputs(tid=i) -- Major time step.
      ModelUpdate(tid=i)  -- Major time step.
    EndFor
  EndWhile
  Termination
  }

マルチタスク操作は、出力関数と更新関数がこれらの関数に渡される "タスク識別子" (tid) によって分割されるため、シングルタスク実行より複雑です。これにより、重複割り込みを使用し、異なるタスク識別子をもつこれらの関数を複数回呼び出すことが可能となります。また、リアルタイムオペレーティングシステムを使用すれば、複数のタスクが可能となります。シミュレーションでは、リアルタイムシステムにプリエンプションが存在しない場合に発生順にコードを実行することで、複数のタスクがエミュレートされます。

マルチタスク実行では、タスクのレートは基本レートの倍数だと仮定されます。Simulink 製品では、固定ステップマルチタスクモデルを作成した場合、これが強制されます。マルチタスクの実行ループは、ModelOutputs および ModelUpdate に対してタスク識別子 (tid) の引数を使用する点を除き、シングルタスクの実行ループと非常に似ています。

Simulink Coder™ ではなく、ターゲットファイルで生成されたコードからの tid 値は使用できません。特定のサブシステムまたは関数タイプのコードを生成する際、Simulink Coder は tid の使用を追跡します。ターゲットファイル内でコードを生成する際は、スコープがサブシステムまたは関数のタイプをもたないため、この引数を追跡できません。そのため、tid が未定義の変数となってターゲットファイルのコンパイルが失敗します。

リアルタイムシングルタスクシステム

この疑似コードは、モデルが割り込みレベルで実行されるリアルタイムシングルタスクシステムにおけるモデルの実行を示しています。

rtOneStep()
{
  Check for interrupt overflow
  Enable "rtOneStep" interrupt
  ModelOutputs    -- Major time step.
  LogTXY          -- Log time, states and root outports.
  ModelUpdate     -- Major time step.
  Integrate       -- Integration in minor time step for models 
                  -- with continuous states.
     ModelDerivatives
     Do 0 or more 
       ModelOutputs
       ModelDerivatives
     EndDo (Number of iterations depends upon the solver.)
     Integrate derivatives to update continuous states.
  EndIntegrate
}

main()
{
  Initialization (including installation of rtOneStep as an 
  interrupt service routine, ISR, for a real-time clock).
  While(time < final time)
    Background task.
  EndWhile
  Mask interrupts (Disable rtOneStep from executing.)
  Complete any background tasks.
  Shutdown
}

リアルタイムのシングルタスク実行は、コードが自由に実行されるのではなく周期的なタイマーの割り込みによって関数 rt_OneStep が駆動されるという点を除き、非リアルタイムなシングルタスク実行と非常に似ています。

プログラムの基本サンプルレートで指定した区間では、モデルコードを実行するために割り込みサービスのルーチン (ISR) がバックグラウンドタスクをプリエンプトします。基本サンプルレートは、モデルで最高速となります。モデルが連続ブロックをもつ場合、積分ステップサイズにより基本サンプルレートが決定されます。

たとえば、モデルコードが 100 Hz で動作するコントローラーの場合、0.01 秒ごとにバックグラウンドタスクが割り込まれます。この割り込みの間、コントローラーはアナログデジタルコンバーター (ADC) からの入力を読み取り、出力を計算し、これらの出力をデジタルアナログコンバーター (DAC) へ書き込み、その状態を更新します。そして、プログラムコントロールはバックグラウンドタスクに戻ります。これらのステップは、次の割り込みの前に実行しなければなりません。

リアルタイムマルチタスクシステム

この疑似コードは、モデルが割り込みレベルで実行されるリアルタイムマルチタスクシステムでモデルがどのように実行されるかを示しています。

rtOneStep()
{
  Check for interrupt overflow
  Enable "rtOneStep" interrupt
  ModelOutputs(tid=0)     -- Major time step.
  LogTXY                  -- Log time, states and root outports.
  ModelUpdate(tid=0)      -- Major time step.
  Integrate               -- Integration in minor time step for 
                          -- models with continuous states.
     ModelDerivatives
     Do 0 or more
       ModelOutputs(tid=0)
       ModelDerivatives
     EndDo (Number of iterations depends upon the solver.)
     Integrate derivatives and update continuous states.
  EndIntegrate
  For i=1:NumTasks
    If (hit in task i)
      ModelOutputs(tid=i)
      ModelUpdate(tid=i)
    EndIf
  EndFor
}

main()
{
  Initialization (including installation of rtOneStep as an 
    interrupt service routine, ISR, for a real-time clock).
  While(time < final time)
    Background task.
  EndWhile
  Mask interrupts (Disable rtOneStep from executing.) 
  Complete any background tasks.
  Shutdown
}

リアルタイムなマルチタスク環境においてモデルを割り込みレベルで実行するのは、重複割り込みがタスクの同時実行に使用される点を除き、前記のシングルタスク環境に非常に似ています。

リアルタイムオペレーティングシステムの作業プリミティブ使用時のシングルタスク環境またはマルチタスク環境でのモデルの実行は、上記で説明した割り込みレベルの例に非常に似ています。以下の疑似コードは、リアルタイム作業プリミティブを使用したシングルタスクモデル用です。

tSingleRate()
{
  MainLoop:
    If clockSem already "given", then error out due to overflow.
    Wait on clockSem
    ModelOutputs            -- Major time step.
    LogTXY                  -- Log time, states and root 
                            -- outports
    ModelUpdate             -- Major time step
    Integrate               -- Integration in minor time step 
                            -- for models with continuous 
                            -- states.
      ModelDeriviatives
      Do 0 or more
        ModelOutputs
        ModelDerivatives
      EndDo (Number of iterations depends upon the solver.)
      Integrate derivatives to update continuous states.
    EndIntegrate
  EndMainLoop
}

main()
{
  Initialization
  Start/spawn task "tSingleRate".
  Start clock that does a "semGive" on a clockSem semaphore.
  Wait on "model-running" semaphore.
  Shutdown
}

このシングルタスク環境では、モデルはリアルタイムオペレーティングシステムの作業プリミティブとして実行されます。この環境では、シングルタスク (tSingleRate) を作成し、モデルコードを実行します。このタスクは、クロックティックが実行されると呼び出されます。クロックティックにより、clockSem (クロックのセマフォ) がモデルタスク (tSingleRate) に与えられます。モデルのタスクは、実行前にセマフォを待機します。クロックティックは、モデルの基本的なステップサイズ (基本レート) で実行されます。

リアルタイム作業プリミティブを使用したマルチタスクシステム

この疑似コードは、リアルタイム作業プリミティブを使用したマルチタスクモデル用です。

tSubRate(subTaskSem,i)
{
  Loop:
    Wait on semaphore subTaskSem.
    ModelOutputs(tid=i)
    ModelUpdate(tid=i)
  EndLoop
}
tBaseRate()
{
  MainLoop:
    If clockSem already "given", then error out due to overflow.
    Wait on clockSem
    For i=1:NumTasks
      If (hit in task i)
        If task i is currently executing, then error out due to 
          overflow.
        Do a "semGive" on subTaskSem for task i.
      EndIf
    EndFor
    ModelOutputs(tid=0)    -- major time step.
    LogTXY                 -- Log time, states and root outports.
    ModelUpdate(tid=0)     -- major time step.
    Loop:                  -- Integration in minor time step for 
                           -- models with continuous states.
      ModelDeriviatives
      Do 0 or more
        ModelOutputs(tid=0)
        ModelDerivatives
      EndDo (number of iterations depends upon the solver).
      Integrate derivatives to update continuous states.
    EndLoop
  EndMainLoop
}
main()
{
  Initialization
  Start/spawn task "tSubRate".
  Start/spawn task "tBaseRate".

  Start clock that does a "semGive" on a clockSem semaphore.
  Wait on "model-running" semaphore.
  Shutdown
}

このマルチタスク環境では、モデルはリアルタイムオペレーティングシステムの作業プリミティブを使用して実行されます。そのような環境においてモデルのコードを実行するには、いくつかのモデルタスク (tBaseRate およびいくつかの tSubRate タスク) が必要となります。基本レートタスク (tBaseRate) は、サブレートタスクより優先されます。 tid=1 のサブレートタスクは、tid=2 のサブレートタスクより優先されるという具合です。この基本レートタスクは、クロックティックが実行されると呼び出されます。クロックティックにより、clockSem が tBaseRate に与えられます。tBaseRate が最初にすることは、時間内に現在の位置でヒットをもつサブタスクにセマフォを与えることです。基本レートタスクのほうが優先順位が高いため、実行が継続されます。次に、サンプル時間が最も高速なモデルのブロックで構成される最も高速なタスク (tid=0) を実行します。この実行の後で、クロックのセマフォの待機を再開します。クロックティックは、モデルの基本的なステップサイズで実行するために構成されます。

ラピッドプロトタイピングと組み込みモデルの実行の相違

ラピッドプロトタイピングプログラムのフレームワークでは、モデル定義間で変更のない一般的なアプリケーションプログラミングインターフェイス (API) が装備されています。

Embedded Coder^® 製品は、組み込みプログラムフレームワークと呼ばれる別のフレームワークを提供しています。組み込みプログラムフレームワークでは、モデル向けに調整した API を最適化して提供しています。生成コードの組み込みスタイルを使用する場合、組み込みシステムでどのようにコードを実行するかをモデル作成します。したがって、モデル内の定義は、組み込みターゲットに対して特定のものである必要があります。モデル名、パラメーター、信号ストレージクラスなどの項目は、コードの組み込みスタイルの API の一部に含まれます。

生成コードの組み込みスタイルとラピッドプロトタイピングの主な相違点は、後者には含まれているエントリポイント関数が少ないという点です。組み込みスタイルのコードは、1 つの関数 model_step のみをもつように構成できます。

このためモデルの実行コードは、Loop...EndLoop ステートメントを排除し、ModelOutputs、LogTXY および ModelUpdate を 1 つのステートメント model_step にまとめます。

生成された組み込みコードの実行方法の詳細については、生成された C 関数インターフェイスをモデルのエントリポイント関数用に構成を参照してください。