安全性プロパティ
安全性プロパティ(Safety Property)とは、リアクティブシステムの持つ性質の1つで、都合の悪い状態に決して到達しないという性質のことを言います。化学プラントのプロセス制御を例に挙げると、“停止ボタン(Stop)が押されたなら、全ての制御バルブは閉じなくてはならない” という性質は、安全性プロパティになります。Ansys SCADEでは、この安全性プロパティをグラフィカルに表現することができます。一般的には、プロパティは、検証エンジンが解釈できる言語または記号列で表現する必要があります。