State Machine Model。リアクティブシステムを記述しているモデルの表記方法の一つで、外部からのイベント（センサー入力、ユーザー入力）や内部からのプログラム的なイベントに応じて、振舞いを変えるシステムを表現したモデルのことを言います。状態遷移モデルは、複数の状態と状態間の遷移（イベント）によって構成されます。組込みシステムの多くは、状態遷移システムとしてモデル化することができます。Ansys SCADEでは、図1に示すようなセーフステートマシン（SSM）によって、状態遷移モデルを記述します。図1の状態遷移モデルは、左右2つの階層状態が、トリガー（イベントと条件）によって、切り替わります。左側の階層状態がアクティブの時は、内部が並行処理されます。Ansys SCADEの状態遷移モデルは、階層、並行、順序、プリエンプションの表記が可能です。