状態遷移の設計と検証についてたとえば、顧客より次のような要求仕様（機能仕様レベルに近いもの）が発せられた場合を考えてみます。 ＜要求仕様＞ A/C,P/S同時ONエアコンカット条件の追加 制御開始条件 下記条件(1)〜(3)が全て、あるいは(1)(2)(4)が全て成立したとき、制御開始とする。 (1)車速VSP＜PSVSP#、またはIDLE SW ON (2)水温TWN≧TWACPS# (3)A/C SW OFF→ON後、ACSTDY#以内にP/S SW OFF→ONとなった。 (4)P/S SW OFF→ON後、PSSTDY#以内にA/C SW OFF→ONとなった。 制御内容 (1)A/C SWをOFFとみなして制御する。 (2)A/CリレーをディレイなしでOFFする。 制御終了条件 以下の制御解除条件(1)が成立した時、制御終了とし、A/C SWの入力を実際の入力と等しくする。 A/C SW ONの場合はA/C
