SCL 阀门控制：状态机、超时监视与错误码

PASS  单电控阀开到位再关到位 (4 step(s), 4 scan(s))
PASS  开阀 1 秒无反馈：报超时 (1 step(s), 11 scan(s))
PASS  开/关反馈同时为 1：报错 5 (1 step(s), 1 scan(s))
RESULT: ALL PASS (16 scan(s))

{
  "sources": [
    {
      "name": "blocks/FB_ValveControl.scl",
      "source": "FUNCTION_BLOCK \"FB_ValveControl\"\n{ S7_Optimized_Access := 'TRUE' }\nVERSION : 0.1\n   VAR_INPUT\n      OpenCmd : Bool;        // 开阀命令\n      CloseCmd : Bool;       // 关阀命令（单电控阀由程序自动取反）\n      FbOpened : Bool;       // 开到位反馈\n      FbClosed : Bool;       // 关到位反馈\n      TypeOfValve : Int;     // 0=单电控 1=双电控\n      OpenTime : Time := T#3S;    // 开阀超时，T#0MS 关闭监视\n      CloseTime : Time := T#3S;   // 关阀超时\n      UnknownTime : Time := T#3S; // 未知状态超时\n   END_VAR\n\n   VAR_OUTPUT\n      YOpen : Bool;          // 开阀输出\n      YClose : Bool;         // 关阀输出\n      State : Int := 0;      // 0=关闭 1=正在开 2=已开 3=正在关\n      ErrorState : UInt := 0; // 0=无错误，1..7 见错误文本\n      ErrorText : String[60] := ''; // 当前错误说明\n   END_VAR\n\n   VAR\n      TimerOpen : TON_TIME;    // 开阀超时监视\n      TimerClose : TON_TIME;   // 关阀超时监视\n      TimerUnknown : TON_TIME; // 未知状态监视\n      StateInt : Int := 0;     // 内部状态（避免输出未初始化的编译告警）\n      ErrorStateInt : UInt := 0; // 内部错误码\n   END_VAR\n\n   VAR_TEMP\n      CloseEffective : Bool;   // 实际参与逻辑的关阀命令\n   END_VAR\n\n   VAR CONSTANT\n      STATE_CLOSED : Int := 0;\n      STATE_OPENING : Int := 1;\n      STATE_OPENED : Int := 2;\n      STATE_CLOSING : Int := 3;\n   END_VAR\n\nBEGIN\n   REGION 阀门类型处理\n      #CloseEffective := #CloseCmd;\n      IF #TypeOfValve = 0 THEN\n         // 单电控阀：失电即关，所以“开命令取反”就是关命令。\n         #CloseEffective := NOT #OpenCmd;\n      END_IF;\n   END_REGION\n\n   REGION 状态机\n      CASE #StateInt OF\n         0:\n            IF #OpenCmd AND NOT #CloseEffective THEN\n               #StateInt := #STATE_OPENING;\n            END_IF;\n         1:\n            IF #FbOpened THEN\n               #StateInt := #STATE_OPENED;\n            ELSIF #CloseEffective THEN\n               #StateInt := #STATE_CLOSING;\n            END_IF;\n         2:\n            IF #CloseEffective AND NOT #OpenCmd THEN\n               #StateInt := #STATE_CLOSING;\n            END_IF;\n         3:\n            IF #FbClosed THEN\n               #StateInt := #STATE_CLOSED;\n            ELSIF #OpenCmd THEN\n               #StateInt := #STATE_OPENING;\n            END_IF;\n         ELSE\n            #StateInt := #STATE_CLOSED;\n      END_CASE;\n   END_REGION\n\n   REGION 超时监视\n      // 三个定时器每周期都调用，条件不满足时自动复位。\n      #TimerOpen(IN := (#StateInt = #STATE_OPENING) AND NOT #FbOpened,\n                 PT := #OpenTime);\n      #TimerClose(IN := (#StateInt = #STATE_CLOSING) AND NOT #FbClosed,\n                  PT := #CloseTime);\n      #TimerUnknown(IN := ((#StateInt = #STATE_CLOSED) OR (#StateInt = #STATE_OPENED))\n                        AND NOT #FbOpened AND NOT #FbClosed,\n                    PT := #UnknownTime);\n   END_REGION\n\n   REGION 输出\n      #State := #StateInt;\n      IF #StateInt = #STATE_CLOSED OR #StateInt = #STATE_CLOSING THEN\n         #YOpen := FALSE;\n         #YClose := TRUE;\n      ELSE\n         #YOpen := TRUE;\n         #YClose := FALSE;\n      END_IF;\n   END_REGION\n\n   REGION 错误处理\n      IF #TimerOpen.Q AND #OpenTime <> T#0MS THEN\n         #ErrorStateInt := 1; // 开阀超时\n      ELSIF #TimerClose.Q AND #CloseTime <> T#0MS THEN\n         #ErrorStateInt := 2; // 关阀超时\n      ELSIF #CloseEffective AND #OpenCmd THEN\n         #ErrorStateInt := 3; // 开关命令同时为 1\n      ELSIF #TimerUnknown.Q AND #UnknownTime <> T#0MS THEN\n         #ErrorStateInt := 4; // 无反馈，状态未知\n      ELSIF #FbClosed AND #FbOpened THEN\n         #ErrorStateInt := 5; // 开/关反馈同时为 1\n      ELSIF #StateInt = #STATE_CLOSED AND #FbOpened THEN\n         #ErrorStateInt := 6; // 已关但开反馈为 1\n      ELSIF #StateInt = #STATE_OPENED AND #FbClosed THEN\n         #ErrorStateInt := 7; // 已开但关反馈为 1\n      ELSE\n         #ErrorStateInt := 0;\n      END_IF;\n   END_REGION\n\n   REGION 错误文本\n      CASE #ErrorStateInt OF\n         0:\n            #ErrorText := 'No error';\n         1:\n            #ErrorText := 'Valve not opening';\n         2:\n            #ErrorText := 'Valve not closing';\n         3:\n            #ErrorText := 'Open and close input at the same time';\n         4:\n            #ErrorText := 'Valve status unknown';\n         5:\n            #ErrorText := 'Open and Close Feedback at the same time';\n         6:\n            #ErrorText := 'Valve is closed, but open feedback is active';\n         7:\n            #ErrorText := 'Valve is opened, but closed feedback is active';\n         ELSE\n            #ErrorText := 'Unknown error';\n      END_CASE;\n      #ErrorState := #ErrorStateInt;\n   END_REGION\nEND_FUNCTION_BLOCK\n"
    }
  ],
  "scenario": {
    "docs": [
      "blocks/FB_ValveControl.scl"
    ],
    "block": "FB_ValveControl",
    "tickMs": 100,
    "always": [
      "!(YOpen && YClose)"
    ],
    "scenarios": [
      {
        "name": "单电控阀开到位再关到位",
        "steps": [
          {
            "set": {
              "OpenCmd": true
            },
            "expect": {
              "State": 1,
              "YOpen": true,
              "YClose": false,
              "ErrorState": 0
            }
          },
          {
            "set": {
              "FbOpened": true
            },
            "expect": {
              "State": 2
            }
          },
          {
            "set": {
              "OpenCmd": false,
              "FbOpened": false
            },
            "expect": {
              "State": 3,
              "YOpen": false,
              "YClose": true
            }
          },
          {
            "set": {
              "FbClosed": true
            },
            "expect": {
              "State": 0,
              "YClose": true
            }
          }
        ]
      },
      {
        "name": "开阀 1 秒无反馈：报超时",
        "steps": [
          {
            "set": {
              "OpenCmd": true,
              "OpenTime": "T#1S"
            },
            "ticks": 11,
            "expect": {
              "State": 1,
              "ErrorState": 1,
              "ErrorText": "'Valve not opening'"
            }
          }
        ]
      },
      {
        "name": "开/关反馈同时为 1：报错 5",
        "steps": [
          {
            "set": {
              "FbOpened": true,
              "FbClosed": true
            },
            "expect": {
              "ErrorState": 5
            }
          }
        ]
      }
    ]
  }
}