State Machine Model。リアクティブシステムを記述しているモデルの1表記方法で、外部からのイベント(センサー入力、ユーザー入力)や内部からのプログラム的なイベントに応じて、振舞いを変えるシステムを表現したモデルのことを言います。 状態遷移モデルは、複数の状態と状態間の遷移（イベント）によって構成されます。組込みシステムの多くは、状態遷移システムとしてモデル化することができます。SCADEでは、図1に示すようなセーフステートマシン（SSM）によって、状態遷移モデルを記述します。 図1の状