SCL 缓冲站管理：进料、出料、停留时间与占用率

PASS  进料两件、停留 3 秒、出料一件、复位 (6 step(s), 8 scan(s))
RESULT: ALL PASS (8 scan(s))

{
  "sources": [
    {
      "name": "blocks/FB_BufferStation.scl",
      "source": "FUNCTION_BLOCK \"FB_BufferStation\"\n{ S7_Optimized_Access := 'TRUE' }\nVERSION : 0.1\n   VAR_INPUT\n      Load : Bool;        // 上升沿：进料一个工件\n      Unload : Bool;      // 上升沿：出料一个工件\n      Reset : Bool;       // 清空缓冲站\n      CycleTime : Time;   // 本次扫描经过的时间\n   END_VAR\n\n   VAR_OUTPUT\n      Count : Int;        // 当前缓存数量\n      Utilization : Int;  // 占用率 0..100\n      FirstAge : Time;    // 最老工件的停留时间\n      Full : Bool;        // 缓冲站已满\n      Empty : Bool;       // 缓冲站为空\n   END_VAR\n\n   VAR\n      Slots : Array[1..8] of Struct\n         Loaded : Bool;   // 该位置有工件\n         Age : Time;      // 已停留时间\n      END_STRUCT;\n      LoadPrev : Bool;    // Load 上一周期状态\n      UnloadPrev : Bool;  // Unload 上一周期状态\n      CountInt : Int := 0; // 内部计数：1 号位最新，CountInt 号位最老\n   END_VAR\n\n   VAR_TEMP\n      i : Int;            // 循环变量\n   END_VAR\n\nBEGIN\n   REGION 复位\n      IF #Reset THEN\n         FOR #i := 1 TO 8 DO\n            #Slots[#i].Loaded := FALSE;\n            #Slots[#i].Age := T#0MS;\n         END_FOR;\n      END_IF;\n   END_REGION\n\n   REGION 进料移位\n      IF #Load AND NOT #LoadPrev THEN\n         FOR #i := 8 TO 2 BY -1 DO\n            #Slots[#i] := #Slots[#i - 1];\n         END_FOR;\n         #Slots[1].Loaded := TRUE;\n         #Slots[1].Age := T#0MS;\n      END_IF;\n      #LoadPrev := #Load;\n   END_REGION\n\n   REGION 出料移位\n      IF #Unload AND NOT #UnloadPrev THEN\n         // 1 号位最新、CountInt 号位最老：清空最后一个已占用槽位，其他槽位不动。\n         IF #CountInt > 0 THEN\n            #Slots[#CountInt].Loaded := FALSE;\n            #Slots[#CountInt].Age := T#0MS;\n         END_IF;\n      END_IF;\n      #UnloadPrev := #Unload;\n   END_REGION\n\n   REGION 统计数量与停留时间\n      #CountInt := 0;\n      #FirstAge := T#0MS;\n      FOR #i := 1 TO 8 DO\n         IF #Slots[#i].Loaded THEN\n            #Slots[#i].Age := T_ADD(IN1 := #Slots[#i].Age, IN2 := #CycleTime);\n            #CountInt := #CountInt + 1;\n            #FirstAge := #Slots[#i].Age; // 后面的位置更老，循环结束时就是最老工件\n         END_IF;\n      END_FOR;\n   END_REGION\n\n   REGION 输出\n      #Count := #CountInt;\n      #Utilization := (#Count * 100) / 8;\n      #Full := #Count >= 8;\n      #Empty := #Count = 0;\n   END_REGION\nEND_FUNCTION_BLOCK\n"
    }
  ],
  "scenario": {
    "docs": [
      "blocks/FB_BufferStation.scl"
    ],
    "block": "FB_BufferStation",
    "tickMs": 100,
    "seed": {
      "CycleTime": "T#1S"
    },
    "always": [
      "Utilization >= 0",
      "Utilization <= 100",
      "!(Full && Empty)"
    ],
    "scenarios": [
      {
        "name": "进料两件、停留 3 秒、出料一件、复位",
        "steps": [
          {
            "set": {
              "Load": true
            },
            "expect": {
              "Count": 1,
              "Utilization": 12,
              "Empty": false
            }
          },
          {
            "set": {
              "Load": false
            },
            "expect": {
              "Count": 1
            }
          },
          {
            "set": {
              "Load": true
            },
            "expect": {
              "Count": 2,
              "Utilization": 25
            }
          },
          {
            "set": {
              "Load": false
            },
            "ticks": 3,
            "expect": {
              "Count": 2,
              "FirstAge": "T#6S"
            }
          },
          {
            "set": {
              "Unload": true
            },
            "expect": {
              "Count": 1,
              "Utilization": 12,
              "FirstAge": "T#5S"
            }
          },
          {
            "set": {
              "Unload": false,
              "Reset": true
            },
            "expect": {
              "Count": 0,
              "Utilization": 0,
              "Empty": true,
              "FirstAge": "T#0S"
            }
          }
        ]
      }
    ]
  }
}