Dataflow Model。一般的に、データの流れに着目してデータフローダイアグラム（図）を使い、視覚的に記述するモデリング方法のことを言います。Ansys SCADEでは、入力変数、出力変数、その両者の関係（振舞い）をブロックダイアグラムを用いて記述します。この時、入出力変数の型を厳密に定義し、型チェックや整合性のチェックを行い、設計時のミスを削除します。これは、形式仕様言語を用いているため、型チェックや整合性のチェックが厳密に行われます。図1は、Ansys SCADEデータフローモデルの例で、PI制御をブロックダイアグラムによって記述しています。データは、左から右に処理されて行き、最後に出力変数の値が確定します。Ansys SCADEのデータフローでは、サブシステム（ノード）は完全なモジュール性を持つため、再利用した場合でも振舞いは全く変わらず、安全なソフトウェアウェア開発に貢献します。