eo1.xmpl

来自「一个非常好的人工智能开发工具开源软件」· XMPL 代码 · 共 1,411 行 · 第 1/4 页

    <ci:transition to="disabledToEnabled" from="enabledToDisabled" name="enabledToDisabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_MECHPOWER</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabled" from="disabledToEnabled" name="disabledToEnabled2enabled">
      <ci:clause>
        <ci:term>!command_timeout=I_MECHPOWER</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="disabledToEnabled" name="disabledToEnabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_MECHRESET</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="failedEnabled" probability="0.05" from="*" name="toFailedEnabled"/>
    <ci:transition to="failedDisabled" probability="0.05" from="*" name="toFailedDisabled"/>
    <ci:clause>
      <ci:term>!mode=enabled</ci:term>
      <ci:term>powerOutput=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=disabled</ci:term>
      <ci:term>powerOutput=DISABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedEnabled</ci:term>
      <ci:term>powerOutput=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedDisabled</ci:term>
      <ci:term>powerOutput=DISABLED</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="enabled" from="enabled">
      <ci:clause>
        <ci:term>command=I_MECHRESET</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="disabled">
      <ci:clause>
        <ci:term>command=I_MECHPOWER</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="enabledToDisabled">
      <ci:clause>
        <ci:term>command_timeout=I_MECHRESET</ci:term>
        <ci:term>command=I_MECHPOWER</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabledToEnabled">
      <ci:clause>
        <ci:term>command_timeout=I_MECHPOWER</ci:term>
        <ci:term>command=I_MECHRESET</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="failedEnabled" from="failedEnabled">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedDisabled" from="failedDisabled">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AliMechanismPowerSensor" name="test.ali.mechanismPowerSensor">
    <ci:statevector vars="mode"/>
    <ci:attribute type="DisabledEnabledValues" name="actualValue"/>
    <ci:attribute type="DisabledEnabledValues" name="reportedValue"/>
    <ci:attribute type="AliMechanismPowerSensor.ModeType" name="mode"/>
    <ci:transition to="unknownFault" probability="0.05" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!reportedValue=ENABLED</ci:term>
      <ci:term>!actualValue=DISABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!reportedValue=DISABLED</ci:term>
      <ci:term>!actualValue=ENABLED</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="nominal" from="nominal">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AliApertureCoverClosedSensor" name="test.ali.led08">
    <ci:statevector vars="mode"/>
    <ci:attribute type="AliApertureCoverClosedValues" name="reportedValue"/>
    <ci:attribute type="OpenClosedValues" name="actualValue"/>
    <ci:attribute type="AliApertureCoverClosedSensor.ModeType" name="mode"/>
    <ci:transition to="unknownFault" probability="0.05" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=CLOSED</ci:term>
      <ci:term>reportedValue=TAC_FULLY_CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=OPEN</ci:term>
      <ci:term>reportedValue=TAC_NOT_FULLY_CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=INTERMEDIATE</ci:term>
      <ci:term>reportedValue=TAC_NOT_FULLY_CLOSED</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="nominal" from="nominal">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AliApertureCoverOpenSensor" name="test.ali.led09">
    <ci:statevector vars="mode"/>
    <ci:attribute type="AliApertureCoverOpenValues" name="reportedValue"/>
    <ci:attribute type="OpenClosedValues" name="actualValue"/>
    <ci:attribute type="AliApertureCoverOpenSensor.ModeType" name="mode"/>
    <ci:transition to="unknownFault" probability="0.05" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=CLOSED</ci:term>
      <ci:term>reportedValue=TAC_NOT_FULLY_OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=INTERMEDIATE</ci:term>
      <ci:term>reportedValue=TAC_NOT_FULLY_OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>!actualValue=OPEN</ci:term>
      <ci:term>reportedValue=TAC_FULLY_OPEN</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="nominal" from="nominal">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AliApertureCover" name="test.ali.apertureCover">
    <ci:statevector vars="mode"/>
    <ci:attribute type="OpenClosedValues" name="position"/>
    <ci:attribute type="AliApertureCoverCommand" name="command_timeout"/>
    <ci:attribute type="DisabledEnabledValues" name="mechanismPowerIn"/>
    <ci:attribute type="AliApertureCoverCommand" name="command"/>
    <ci:attribute type="AliApertureCover.ModeType" name="mode"/>
    <ci:transition to="toClosed" from="open" name="open2toClosed">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIntermediate" from="open" name="open2toIntermediate">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toOpen" from="closed" name="closed2toOpen">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIntermediate" from="closed" name="closed2toIntermediate">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="closed" from="toClosed" name="toClosed2closed">
      <ci:clause>
        <ci:term>!command_timeout=I_MECHACTIVE_DIRECTION_1</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toOpen" from="toClosed" name="toClosed2toOpen">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIntermediate" from="toClosed" name="toClosed2toIntermediate">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="open" from="toOpen" name="toOpen2open">
      <ci:clause>
        <ci:term>!command_timeout=I_MECHACTIVE_DIRECTION_0</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toOpen" name="toOpen2toClosed">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIntermediate" from="toOpen" name="toOpen2toIntermediate">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toOpen" from="intermediate" name="intermediate2toOpen">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=ENABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="intermediate" name="intermediate2toClosed">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>!mechanismPowerIn=ENABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="intermediate" from="toIntermediate" name="toIntermediate2intermediate">
      <ci:clause>
        <ci:term>!command_timeout=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toOpen" from="toIntermediate" name="toIntermediate2toOpen">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toIntermediate" name="toIntermediate2toClosed">
      <ci:clause>
        <ci:term>!command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="failedOpen" probability="0.05" from="*" name="toFailedOpen"/>
    <ci:transition to="failedClosed" probability="0.05" from="*" name="toFailedClosed"/>
    <ci:transition to="failedIntermediate" probability="0.05" from="*" name="toFailedIntermediate"/>
    <ci:clause>
      <ci:term>!mode=open</ci:term>
      <ci:term>position=OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=closed</ci:term>
      <ci:term>position=CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedOpen</ci:term>
      <ci:term>position=OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedClosed</ci:term>
      <ci:term>position=CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedIntermediate</ci:term>
      <ci:term>position=INTERMEDIATE</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=intermediate</ci:term>
      <ci:term>position=INTERMEDIATE</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="open" from="open">
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="closed" from="closed">
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toClosed">
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toOpen" from="toOpen">
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_NUMSTEPS_200</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="failedOpen" from="failedOpen">
      <ci:clause/>
    </ci:transition>